Collegium logicum : annals of the Kurt-Gödel-Society. Vol. 1

Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. Rodríguez-Consuegra: Some Issues on Gödel’s Unpublished Philosophical Manuscripts. - D.D. Spalt: Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie. - E. Engeler: Existenz und Negation in Mathematik und Logik. - W.J. Gutjahr: Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse. - R. Hähnle: Automated Deduction and Integer Programming. - M. Baaz, A. Leitsch: Methods of Functional Extension. Front Matter....Pages i-vii The Last Months of Gerhard Gentzen in Prague....Pages 1-7 Some issues on Gödel’s unpublished philosophical manuscripts....Pages 8-25 Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie....Pages 26-36 Existenz und Negation in Mathematik und Logik....Pages 37-53 Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse....Pages 54-66 Automated Deduction and Integer Programming....Pages 67-86 Methods of Functional Extension....Pages 87-122 Covers a wide range of topics ranging from mathematical to philosophical logic, including logic in computer science, physics and philosophy of science. All articles are referenced to guarantee a high level of scientific content and presentation.