Bibliographic record
Abstract
Extract The editors are grateful to the Institute for Advanced Study, Princeton, literary executors for the estate of Kurt Gödel, for permission to reproduce and translate items of correspondence written by him. In addition, we thank the following individuals and institutions for providing us with copies of letters written by Gödel, and for allowing their publication herein: Dr. Beat Glaus and the ETH-Bibliothek, Zürich, for letters to Paul Bernays;Dr. Tilo Brandis, then curator of manuscripts, and the Staatsbibliothek zu Berlin, Preussischer Kulturbesitz, for letters to Heinrich Behmann and to Gotthard Günther;the Carnap Collection Committee, University of Pittsburgh Library, for letters to Rudolf Carnap;the Wiener Stadt- und Landesbibliothek, for Gödel’s letters to his mother. For permission to reproduce and translate the texts of letters to Gödel included in this volume we thank the following individuals and institutions: New York University Press, for the letters of Allan Angoff and Wilson Follett;Mrs. Emmy Behmann and Prof. Dr. Christian Thiel, for the letters of Heinrich Behmann;Dr. Beat Glaus, on behalf of the ETH-Bibliothek Zürich, and Dr. med. Ludwig Bernays, nephew of Paul Bernays, for the letters of Professor Bernays;Dr. Kenneth Blackwell, of the Bertrand Russell Archives, McMaster University, Hamilton, Ontario, the late Professor Herbert G. Bohnert of Michigan State University, and Academician Georg Brutian, of the Armenian Academy of Sciences, for their letters;Mrs. Sylvia Büchi, widow of Professor J. Richard Büchi, for his letters;Professor J. Richard Creath, on behalf of Mrs. Hanneliese Carnap Thost, for the letters of Rudolf Carnap;Alonzo Church, Jr., trust administrator for the estate of Alonzo Church, for the letters of his father, Alonzo Church;the late Professor Burton Dreben, of Harvard University, for his letters;Frau Regula Lips-Finsler, for the letters of her uncle, Professor Paul Finsler;Professor Leonard Goddard, Ferry Creek, Victoria, Australia, Professor Burke D. Grandjean of the University of Wyoming, and Professor Emeritus Marvin Jay Greenberg, of the University of California, Santa Cruz, for their letters;Prof. Dr. Claus Baldus, literary executor for the estate of Gotthard Günther, for Professor Günther’s letters.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
How this classification was reachedexpand
Full frame machine prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. The Gemma side is a direct model label for every work in the frame, read from the title-only record. The Codex side is a classifier learned from the 10,348 direct Codex labels and calibrated to design-weighted sample rates; fields without enough sample support carry no Codex call. Candidate is the union of the two sides; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels.
Distilled classifier scores by category (both heads)
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.002 | 0.014 |
| Meta-epidemiology (narrow) | 0.001 | 0.001 |
| Meta-epidemiology (broad) | 0.001 | 0.001 |
| Bibliometrics | 0.003 | 0.004 |
| Science and technology studies | 0.002 | 0.002 |
| Scholarly communication | 0.012 | 0.007 |
| Open science | 0.002 | 0.004 |
| Research integrity | 0.003 | 0.003 |
| Insufficient payload (model declined to judge) | 0.882 | 0.870 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from itClassification
machine, unvalidatedMachine predicted; a candidate call from one source (direct Gemma or distilled Codex), not a consensus.
How this classification was reached, model by model and score by score, is at the end of the page under "How this classification was reached".