{
 "corpus": "exact-wanted",
 "seat": "EA-CORPORA-30/12",
 "title": "The Exact Sciences, wanted — a declared absence: Gödel's incompleteness paper, the Königsberg discussion, Turing, EPR and the Tetrabiblos as they open, with the public-domain witnesses no copy could be found for",
 "edition": "No edition held. The seat holds the declaration of what it would hold: declared/absence.json and declared/absence.md.",
 "language": "mul",
 "license": {
  "payload": "The declaration is the archive's own, CC-BY-4.0. The works it names are not held.",
  "record": "CC-BY-4.0 applies to this seat record only."
 },
 "fetched": "2026-10-30",
 "origin": {
  "items": [
   {
    "source": "Alexanarch deposit",
    "file": "declared/absence.json"
   },
   {
    "source": "Alexanarch deposit",
    "file": "declared/absence.md"
   }
  ],
  "fetched": "2026-10-30",
  "transport": "written in session (Transport D); No-Double-Draw"
 },
 "works": {
  "count": 0,
  "units": "no works held; 14 declared",
  "list": []
 },
 "normalization": "None: the declaration is held as written.",
 "scope": "Declared without text: Kurt Gödel, Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Monatshefte für Mathematik und Physik 37, 349–360 (Akademische Verlagsgesellschaft, Leipzig, 1930), opens: open now (public domain in the United States); wanted: no fetchable copy found this session (HathiTrust's Cornell volume, coo.31924000966790, full view, refused the seating's requests on 2026-10-30; the Internet Archive holds volume 36 only); in copyright in Europe until 2049-01-01; Kurt Gödel, Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit, Anzeiger der Akademie der Wissenschaften in Wien, math.-naturw. Klasse 67, 214–215 (Akademie der Wissenschaften, Wien, 1930), opens: open now (public domain in the United States); wanted: no fetchable copy found this session; Albert Einstein, Eine neue Bestimmung der Moleküldimensionen, the Bern dissertation print (Buchdruckerei K. J. Wyss, Bern, 1905), opens: open now (public domain in the United States); wanted: no fetchable copy found this session; the Annalen printing of 1906 is seated in 30/01; Albert Einstein, Über die spezielle und die allgemeine Relativitätstheorie (Gemeinverständlich), the first printing (Vieweg, Braunschweig, 1917), opens: open now (public domain in the United States); wanted: no fetchable copy found this session; the fifth printing of 1920 is seated in 30/01; Nicolaus Copernicus, Commentariolus, Curtze's first printing, Mittheilungen des Coppernicus-Vereins für Wissenschaft und Kunst zu Thorn 1, 1–17 (Thorn, 1878), opens: open now (public domain in the United States); wanted: no fetchable copy found this session (the Archive item mittheilungende00curtgoog carries an OCR layer in which the text does not appear); Archimedes, ed. J. L. Heiberg, Ἔφοδος (the Method), first edited in Hermes 42 (Weidmann, Berlin, 1907), opens: open now (public domain in the United States); wanted: no fetchable copy found this session; Archimedes, ed. J. L. Heiberg, Ἔφοδος (the Method), in Archimedis opera omnia II, editio altera (Teubner, Leipzig, 1913), opens: open now (public domain in the United States); wanted: no fetchable copy found this session; Werner Heisenberg, Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik, Zeitschrift für Physik 43, 172–198 (Springer, Berlin, 1927), opens: open now (public domain in the United States); wanted: no fetchable copy found this session (the Archive item zeitschrift-fur-physik-vol-43 is to be opened); in copyright in Europe until 2047-01-01; Kurt Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik 38, 173–198 (Akademische Verlagsgesellschaft, Leipzig, 1931), opens: 2027-01-01 in the United States (ninety-five years from first publication abroad); in Europe 2049-01-01, seventy years after the author's death; Kurt Gödel, Rudolf Carnap, Arend Heyting, John von Neumann and others, Diskussion zur Grundlegung der Mathematik (the Königsberg discussion of 7 September 1930), Erkenntnis 2, 135–151 (Felix Meiner, Leipzig, 1931), opens: 2027-01-01 in the United States (ninety-five years from first publication abroad); Alan M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society (2) 42, 230–265 (London Mathematical Society, 1936), opens: 2032-01-01 in the United States (ninety-five years from first publication abroad); open in the United Kingdom since 2025-01-01, seventy years after the author's death; Albert Einstein, Boris Podolsky, Nathan Rosen, Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?, Physical Review 47, 777–780 (American Physical Society, New York, 1935), opens: 2031-01-01 if its copyright was renewed (a United States work published before 1964 needed renewal; the renewal is to be checked); Ptolemy, ed. and tr. F. E. Robbins, Tetrabiblos (Ἀποτελεσματικά), Greek text with English translation, Loeb Classical Library 435 (Harvard University Press; Heinemann, 1940), opens: 2036-01-01 if its copyright was renewed (a United States work published before 1964 needed renewal; the renewal is to be checked); Ptolemy, ed. F. Boll and Ae. Boer, Ἀποτελεσματικά, Claudii Ptolemaei opera quae exstant omnia III.1 (the First1KGreek file gives 1954; the date of the first Teubner printing is to be checked) (Teubner, Leipzig, 1954), opens: 2050-01-01 in the United States (ninety-five years from first publication abroad) for the printing named; an earlier printing opens earlier. Wanted: the public-domain entries first, as scans of their first printings; then Gödel 1931 and the Königsberg discussion on 2027-01-01, which would join 30/02 goedel; Turing in 2032; EPR in 2031 or now, as its renewal is found; the Tetrabiblos as its editions open.",
 "classes": [
  "Public domain, no copy found",
  "Opening"
 ],
 "declared_absences": [
  {
   "class": "Public domain, no copy found",
   "author": "Kurt Gödel",
   "title": "Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Monatshefte für Mathematik und Physik 37, 349–360",
   "first_publisher": "Akademische Verlagsgesellschaft, Leipzig",
   "first_published": 1930,
   "opens": "open now (public domain in the United States); wanted: no fetchable copy found this session (HathiTrust's Cornell volume, coo.31924000966790, full view, refused the seating's requests on 2026-10-30; the Internet Archive holds volume 36 only); in copyright in Europe until 2049-01-01"
  },
  {
   "class": "Public domain, no copy found",
   "author": "Kurt Gödel",
   "title": "Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit, Anzeiger der Akademie der Wissenschaften in Wien, math.-naturw. Klasse 67, 214–215",
   "first_publisher": "Akademie der Wissenschaften, Wien",
   "first_published": 1930,
   "opens": "open now (public domain in the United States); wanted: no fetchable copy found this session"
  },
  {
   "class": "Public domain, no copy found",
   "author": "Albert Einstein",
   "title": "Eine neue Bestimmung der Moleküldimensionen, the Bern dissertation print",
   "first_publisher": "Buchdruckerei K. J. Wyss, Bern",
   "first_published": 1905,
   "opens": "open now (public domain in the United States); wanted: no fetchable copy found this session; the Annalen printing of 1906 is seated in 30/01"
  },
  {
   "class": "Public domain, no copy found",
   "author": "Albert Einstein",
   "title": "Über die spezielle und die allgemeine Relativitätstheorie (Gemeinverständlich), the first printing",
   "first_publisher": "Vieweg, Braunschweig",
   "first_published": 1917,
   "opens": "open now (public domain in the United States); wanted: no fetchable copy found this session; the fifth printing of 1920 is seated in 30/01"
  },
  {
   "class": "Public domain, no copy found",
   "author": "Nicolaus Copernicus",
   "title": "Commentariolus, Curtze's first printing, Mittheilungen des Coppernicus-Vereins für Wissenschaft und Kunst zu Thorn 1, 1–17",
   "first_publisher": "Thorn",
   "first_published": 1878,
   "opens": "open now (public domain in the United States); wanted: no fetchable copy found this session (the Archive item mittheilungende00curtgoog carries an OCR layer in which the text does not appear)"
  },
  {
   "class": "Public domain, no copy found",
   "author": "Archimedes, ed. J. L. Heiberg",
   "title": "Ἔφοδος (the Method), first edited in Hermes 42",
   "first_publisher": "Weidmann, Berlin",
   "first_published": 1907,
   "opens": "open now (public domain in the United States); wanted: no fetchable copy found this session"
  },
  {
   "class": "Public domain, no copy found",
   "author": "Archimedes, ed. J. L. Heiberg",
   "title": "Ἔφοδος (the Method), in Archimedis opera omnia II, editio altera",
   "first_publisher": "Teubner, Leipzig",
   "first_published": 1913,
   "opens": "open now (public domain in the United States); wanted: no fetchable copy found this session"
  },
  {
   "class": "Public domain, no copy found",
   "author": "Werner Heisenberg",
   "title": "Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik, Zeitschrift für Physik 43, 172–198",
   "first_publisher": "Springer, Berlin",
   "first_published": 1927,
   "opens": "open now (public domain in the United States); wanted: no fetchable copy found this session (the Archive item zeitschrift-fur-physik-vol-43 is to be opened); in copyright in Europe until 2047-01-01"
  },
  {
   "class": "Opening",
   "author": "Kurt Gödel",
   "title": "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik 38, 173–198",
   "first_publisher": "Akademische Verlagsgesellschaft, Leipzig",
   "first_published": 1931,
   "opens": "2027-01-01 in the United States (ninety-five years from first publication abroad); in Europe 2049-01-01, seventy years after the author's death"
  },
  {
   "class": "Opening",
   "author": "Kurt Gödel, Rudolf Carnap, Arend Heyting, John von Neumann and others",
   "title": "Diskussion zur Grundlegung der Mathematik (the Königsberg discussion of 7 September 1930), Erkenntnis 2, 135–151",
   "first_publisher": "Felix Meiner, Leipzig",
   "first_published": 1931,
   "opens": "2027-01-01 in the United States (ninety-five years from first publication abroad)"
  },
  {
   "class": "Opening",
   "author": "Alan M. Turing",
   "title": "On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society (2) 42, 230–265",
   "first_publisher": "London Mathematical Society",
   "first_published": 1936,
   "opens": "2032-01-01 in the United States (ninety-five years from first publication abroad); open in the United Kingdom since 2025-01-01, seventy years after the author's death"
  },
  {
   "class": "Opening",
   "author": "Albert Einstein, Boris Podolsky, Nathan Rosen",
   "title": "Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?, Physical Review 47, 777–780",
   "first_publisher": "American Physical Society, New York",
   "first_published": 1935,
   "opens": "2031-01-01 if its copyright was renewed (a United States work published before 1964 needed renewal; the renewal is to be checked)"
  },
  {
   "class": "Opening",
   "author": "Ptolemy, ed. and tr. F. E. Robbins",
   "title": "Tetrabiblos (Ἀποτελεσματικά), Greek text with English translation, Loeb Classical Library 435",
   "first_publisher": "Harvard University Press; Heinemann",
   "first_published": 1940,
   "opens": "2036-01-01 if its copyright was renewed (a United States work published before 1964 needed renewal; the renewal is to be checked)"
  },
  {
   "class": "Opening",
   "author": "Ptolemy, ed. F. Boll and Ae. Boer",
   "title": "Ἀποτελεσματικά, Claudii Ptolemaei opera quae exstant omnia III.1 (the First1KGreek file gives 1954; the date of the first Teubner printing is to be checked)",
   "first_publisher": "Teubner, Leipzig",
   "first_published": 1954,
   "opens": "2050-01-01 in the United States (ninety-five years from first publication abroad) for the printing named; an earlier printing opens earlier"
  }
 ],
 "verified_loci": [],
 "loci_not_found": [],
 "lines_total": 0,
 "why_seated": "The works of the exact sciences the thirtieth seating could not hold, declared beside the ones it holds (30/01–30/11), at the author's direction to seat 'what is in the public domain, and what else' (2026-10-30). Six are still in their United States term and open on the dates given, the first of them Gödel's incompleteness paper on 2027-01-01; eight are open now and wanted because no copy could be fetched this session. Each entry names what would be seated, and the shelf grows as the works open or the copies are found.",
 "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\".",
 "axn": "AXN:0B1E.ORIGINAL.🔀🪟🎻⏬💙🕚",
 "axn_basis": {
  "sha256_of": "MANIFEST.sha256",
  "sha256": "df258ad9cb6ca58e59ae23518ef041b1f43e8a538e4d00fdd7664889945e008e",
  "hex_of": "#1720 (AXN:0B1E.DATASET.🌻🏷️🚩⊗🕒🔥)",
  "family": "ORIGINAL",
  "glyph_table": "v2.1",
  "assigned": "2026-10-30"
 }
}