{
 "corpus": "goedel",
 "seat": "EA-CORPORA-30/02",
 "title": "Kurt Gödel: the Königsberg abstract of 1930, Über die Vollständigkeit des Logikkalküls",
 "edition": "K. Gödel, „Über die Vollständigkeit des Logikkalküls“, abstract of the lecture of 6 September 1930 at the Tagung für exakte Erkenntnislehre, Königsberg, in the report of the 91st Versammlung Deutscher Naturforscher und Ärzte, Die Naturwissenschaften 18, Heft 47–49 (28 November 1930), p. 1068 — the Archive's microfilm issue sim_naturwissenschaften_1930-11-28_18_47-49, OCR layer. The same issue carries David Hilbert's Königsberg address „Naturerkennen und Logik“ (pp. 959–963), which closes „Wir müssen wissen, Wir werden wissen.“, and the abstracts of Carnap, Heyting and the other speakers of the Tagung",
 "language": "deu",
 "license": {
  "payload": "Recorded in origin.items. The abstract was published in Die Naturwissenschaften 18 (1930) and is in the public domain in the United States (published before 1931, the term of 95 years run on 2026-01-01). Gödel died in 1978: in the European Union and in other countries of life plus seventy years the term runs to the end of 2048, so the seat holds the text under United States public domain, the archive's jurisdiction. The scan is the Internet Archive's microfilm series (collection sim_microfilm); the item carries no rights or licence field.",
  "record": "CC-BY-4.0 applies to this seat record only."
 },
 "fetched": "2026-10-30",
 "origin": {
  "items": [
   {
    "source": "Internet Archive",
    "identifier": "sim_naturwissenschaften_1930-11-28_18_47-49",
    "url": "https://archive.org/details/sim_naturwissenschaften_1930-11-28_18_47-49",
    "files": [
     "sim_naturwissenschaften_1930-11-28_18_47-49_djvu.txt"
    ],
    "scan_by_reference": {
     "file": "sim_naturwissenschaften_1930-11-28_18_47-49.pdf",
     "url": "https://archive.org/download/sim_naturwissenschaften_1930-11-28_18_47-49/sim_naturwissenschaften_1930-11-28_18_47-49.pdf",
     "size": 42127862,
     "md5": "5fe8b486e44c6df3b75f44a3c9975cf5",
     "why": "too large to carry in a bundle; the Archive's md5 identifies the scan the OCR layer was made from"
    }
   }
  ],
  "fetched": "2026-10-30",
  "transport": "in-session fetch (Transport D); No-Double-Draw"
 },
 "works": {
  "count": 1,
  "units": "one text file per witness; the issue is seated whole, and the work description names the page of Gödel's abstract",
  "list": [
   {
    "slug": "vollstaendigkeit-logikkalkuel-1930",
    "work": "K. Gödel, „Über die Vollständigkeit des Logikkalküls“, abstract of the lecture of 6 September 1930 at the Tagung für exakte Erkenntnislehre, Königsberg, in the report of the 91st Versammlung Deutscher Naturforscher und Ärzte, Die Naturwissenschaften 18, Heft 47–49 (28 November 1930), p. 1068 — the Archive's microfilm issue sim_naturwissenschaften_1930-11-28_18_47-49, OCR layer. The same issue carries David Hilbert's Königsberg address „Naturerkennen und Logik“ (pp. 959–963), which closes „Wir müssen wissen, Wir werden wissen.“, and the abstracts of Carnap, Heyting, von Neumann and the other speakers of the Tagung",
    "text": "text/vollstaendigkeit-logikkalkuel-1930.ocr.txt",
    "originals": [
     "original/sim_naturwissenschaften_1930-11-28_18_47-49/sim_naturwissenschaften_1930-11-28_18_47-49_djvu.txt"
    ],
    "lines": 22971
   }
  ]
 },
 "normalization": "The original is the Internet Archive's OCR layer (_djvu.txt) as fetched, its md5 matching the one the Archive publishes; text/<slug>.ocr.txt is that layer with line endings normalized. The issue scan is held by reference (identifier, file, size and md5). No text was corrected by hand.",
 "scope": "Held: Gödel's own abstract of the completeness theorem, as printed in the Naturwissenschaften report of the Königsberg meeting, in the issue that first carried it. The OCR reads the title's last word as „Logikkalkiils“; the loci avoid it. Not held: the completeness paper itself, „Die Vollständigkeit der Axiome des logischen Funktionenkalküls“, Monatshefte für Mathematik und Physik 37 (1930), 349–360. It is in the public domain in the United States, but no copy could be reached: the Internet Archive holds the Monatshefte for vol. 36 (1929, bwb_C0-AYK-298) and none for vol. 37; HathiTrust holds Cornell's vol. 36–37 in full view (coo.31924000966790) and refused the seating's requests on 2026-10-30 with a Cloudflare challenge and a block page. The announcement of the incompleteness results, „Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit“, Anzeiger der Akademie der Wissenschaften in Wien 67 (1930), 214–215, is also public domain in the United States and was not found on the Archive. The incompleteness paper of 1931 is not seated: it opens in the United States on 2027-01-01. The Königsberg discussion (Erkenntnis 2, 1931) opens on the same date.",
 "verified_loci": [
  "Gödel 1930, the heading of the abstract — 'K. GÖDEL, Wien: Über die Vollständigkeit des'",
  "Gödel 1930, the question of completeness — 'ob die an die Spitze gestellten Axiome'",
  "Gödel 1930, every true sentence derived formally — 'ausreichen, jeden richtigen Satz der Logik auf formalem'",
  "Gödel 1930, the extension to the functional calculus — 'Funktionenkalküls (Formeln'",
  "the running head of the Königsberg report — 'Tagung für exakte Erkenntnislehre'",
  "Hilbert, Naturerkennen und Logik, the close (same issue) — 'Wir müssen wissen, Wir werden wissen.'"
 ],
 "loci_not_found": [],
 "lines_total": 22971,
 "why_seated": "The completeness theorem was first told to the public in a paragraph of a congress report, beside the address in which Hilbert answered the ignorabimus with „Wir müssen wissen, Wir werden wissen.“ The seat holds that page in the issue that carried both. The paper of 1931 that unsettled Hilbert's answer waits for its term to end.",
 "spine": "EA-CORPORA-30 (#1720)",
 "ruling": "Lee Sharks, 2026-10-30: \"and then an ea-corpora seating... Einstein, Gödel, Tesla, Copernicus, Galileo, classical Arabic mathematicians... what is in the public domain, and what else? and just to be perverse lets seat the promised Klee notebooks with them\"; to the proposed set: \"yes, thats a good set\".",
 "queued": [
  "„Die Vollständigkeit der Axiome des logischen Funktionenkalküls“, Monatshefte für Mathematik und Physik 37 (1930), 349–360: public domain in the United States; HathiTrust coo.31924000966790 (Cornell, v. 36–37, full view) refused the seating's requests on 2026-10-30; not on the Internet Archive",
  "„Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit“, Anzeiger der Akademie der Wissenschaften in Wien, math.-naturw. Klasse, 67 (1930), 214–215: public domain in the United States; not found on the Internet Archive",
  "„Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I“, Monatshefte für Mathematik und Physik 38 (1931), 173–198: opens in the United States on 2027-01-01. The Archive's uploads of it (uber-formal-unentscheidbare-satze-der-principia-mathematica-und-verwandter-systeme-i_20250205 and the kurt-godel_2023… items) are user uploads under CC BY-NC-ND and are not taken"
 ],
 "axn": "AXN:0B1E.ORIGINAL.🔼🧪🔀📝🖐️🔵",
 "axn_basis": {
  "sha256_of": "MANIFEST.sha256",
  "sha256": "d439df42bbc54fe59a63e0e8aead1d144c857a4f9794451a89293884791dd470",
  "hex_of": "#1720 (AXN:0B1E.DATASET.🌻🏷️🚩⊗🕒🔥)",
  "family": "ORIGINAL",
  "glyph_table": "v2.1",
  "assigned": "2026-10-30"
 }
}