Publications
Highlights
| Kahle, Reinhard | Ein Lob der Habilitation. NTM Zeitschrift für Geschichte, Wissenschaften, Technik und Medizin.Springer, 2024. | Read more |
| Kahle, Reinhard; Mainzer, Klaus | Limits of AI - theoretical, practical, ethical. Technik im Fokus, Springer, 2024. | |
| Piecha, Thomas; Wehmeier, Kai F. | Peter Schroeder-Heister on Proof-Theoretic Semantics. Outstanding Contributions to Logic 29. Springer, 2024. | Read more |
| Centrone, Stefania; Mainzer, Klaus | Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing. World Scientific, June 2023. | Read more |
2024
| Kahle, Reinhard | Ein Lob der Habilitation. NTM Zeitschrift für Geschichte, Wissenschaften, Technik und Medizin.Springer, 2024. | Read more |
| Piecha, Thomas; Wehmeier, Kai F. | Peter Schroeder-Heister on Proof-Theoretic Semantics. Outstanding Contributions to Logic 29. Springer, 2024. | |
| Kahle, Reinhard; Mainzer, Klaus | Limits of AI - theoretical, practical, ethical. Technik im Fokus, Springer, 2024. | |
2023
| Centrone, Stefania; Mainzer, Klaus | Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing. World Scientific, June 2023. | Read more |
Kahle, Reinhard; Sommaruga, Giovanni | Paul Bernays: Eine Schlüsselfigur der Logik und Grundlagen der Mathematik. Hentrich & Hentrich, 2023. | Read more |
2022
| Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni | Axiomatic Thinking II. Springer Cham, 2022. | Read more |
| Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni | Axiomatic Thinking I. Springer Cham, 2022. | Read more |
| Binder, David; Piecha, Thomas, Schroeder-Heister, Peter | The Logical Writings of Karl Popper. Trends in Logic. Springer Charm, 2022. | Read more |
| Kahle, Reinhard | Scheitern in der Mathematik. Scheitern in den Wissenschaften. Brill Mentis, 2022. | Read more |
| Kahle, Reinhard; Mainzer, Klaus | Grenzen der KI - theoretisch, praktisch, ethisch. Springer Berlin, 2022. | Read more |
Sikimić, Vlasta; Stuart, Mike, and Jamie Shaw | Science funding policy and the COVID-19 pandemic. International Journal of Risk & Safety in Medicine, 2022. | Read more |
| Herud-Sikimić, Ole; Sikimić, Vlasta | Modelling efficient team structures in biology. Journal of Logic and Computation, 2022. | Read more |
| Bartscherer, Sheena F. | Emotion in British politics - a mixed methods analysis of Conservative and Labour Party speeches from 1900-2019. European Politics and Society, 2022. | Read more |
Dal Lago, Ugo, Reinhard Kahle and Isabel Oitavem | Implicit recursion-theoretic characterizations of counting classes. Archive for Mathematical Logic, 2022. | Read more |
| Sikimić, Vlasta | How to Improve Research Funding in Academia? Lessons from the COVID-19 Crisis. Front. Res. Me.tr. Anal., 2022. | Read more |
| Cubellis, Lauren | Competing Responsibilities and the Distribution of Outcome through Dialogic Practice. Medical Anthropology: Cross-Cultural Studies in Health and Illness, 41 (1): 81-93, 2022. | Read more |
2021
| Kahle, Reinhard; Santos, Paulo Guilhermo | Variants of Kreisel's Conjecture on a New Notion of Provability. The Bulletin of Symbolic Logic, 27(4): 337-350, 2021 | .Read more |
| Kahle, Reinhard; Weidtmann, Niels | Verantwortung: Ein Begriff in seiner Aktualität. Brill Mentis, 2021. | Read more |
| Kahle, Reinhard | Default Negation as Explicit Negation plus Update. Логические исследования (Logical Investigations), 27(1):64-81, 2021. | Read more |
Kahle, Reinhard; Oitavem, Isabel | Lorenzen between Gentzen and Schütte. In Gerhard Heinzmann and Gereon Wolters (editors): Paul Lorenzen—Mathematician and Logician. pages 61-73. Springer 2021. | |
| Mainzer, Klaus; Schwichtenberg, Helmut (ed.) | Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification, World Scientific Singapore 2021. | Read more |
| Kahle, Reinhard; Dal Lago, Ugo; Oitavem, Isabel | A Recursion-Theoretic Characterization of the Probailistic Class PP. In Filippo Bonchi and Simon J. Puglisi (editors): 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). | Read more |
| Kahle, Reinhard | Gödel, mathematischer Realismus und Antireduktionismus. Wider den Reduktionismus, 145-150. Springer 2021. | Read more |
| Kahle, Reinhard; Santos, Paulo Guilherme | k-Provability in PA. Logica Universalis, 15: 477-516, 2021. (DOI 10.1007/s11787-021-00278-1). | Read more |
| Kneer, Markus; Stuart, Michael T | Playing the Blame Game with Robots. Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction. DOI: 10.1145/3434074.3447202, 2021. | Read more |
Kahle, Reinhard | Wozu (ver)führt uns die neue KI? In Anna Strasser, Wolfgang Sohst, Ralf Stapelfeldt, and Katja Stepec (Herausgeber): Künstliche Intelligenz: Die große Verheisung. Philosophische Kontexte, vol. 8, Xenomoi, 2021. | Read more |
| Kahle, Reinhard | Primzahlen als Herausforderung. In R. Reussner, A. Koziolek, and R. Heinrich (editors): INFORMATIK 2020. Lecture Notes in Informatics, Gesellschaft für Informatik, S. 719-727, 2021. | Read more |
| Mainzer, Klaus | Wie sicher ist KI? In R. Reussner, A. Koziolek, and R. Heinrich (editors): INFORMATIK 2020. Lecture Notes in Informatics, Gesellschaft für Informatik, S. 695-718, 2021. | Read more |
| Kahle, Reinhard; Mainzer, Klaus | Konzeptionelle Herausforderungen für die KI. In R. Reussner, A. Koziolek, and R. Heinrich (editors): INFORMATIK 2020. Lecture Notes in Informatics, Gesellschaft für Informatik, S. 693-694, 2021. | Read more |
| Kahle, Reinhard | The Intensional Structure of Epistemic Convictions. In Loek Cleophas and Mieke Massink (editors): Software Engineering and Formal Methods. SEFM 2020, Collocated Workshops. Lecture Notes in Computer Science, vol. 12524, Springer, 2021. | Read more |
| Angerer, Klaus | Vermittlungsarbeit: Zur Untersuchung und Verwertung biologischer Materialien in der kommerziellen Naturstoffchemie. Nomos, 2021. | Read more |
2020
| Kahle, Reinhard | Grundlagen des logischen Schließens. In: Philosophisches Handbuch Künstliche Intelligenz. Springer VS, Wiesbaden, 2020. | Read more |
| Mainzer, Klaus | Quantencomputer. Springer, 2020. | Read more |
| Kahle, Reinhard | Review of Gerhard Jäger and Wilfried Sieg, editors. Feferman on Foundations: Logic, Mathematics, Philosophy. Contributions to Logic, vol. 13, Springer, 2017. Philosophica Mathematica 28 (3): 421-425. | Read more |
| Sikimić, Vlasta.; Nikitović, Tijana.; Vasić; Miljan; Subotić, Vanja | Do Political Attitudes Matter for Epistemic Decisions of Scientists? Review of Philosophy and Psychology. 2020. | Read more |
| Kahle, Reinhard; Rathjen, Michael | The Legacy of Kurt Schütte. Springer, 2020. | Read more |
| Kahle, Reinhard | "Sehr geehrter Herr Professor!" Proof Theory in 1949 in a Letter from Schütte to Bernays. In R. Kahle and M. Rathjen (editors): The Legacy of Kurt Schütte, pages 3-19. Springer, 2020. | Read more |
| Mainzer, Klaus | Künstliche Intelligenz: "Post Corona". 2020. | Read more |
| Mainzer, Klaus | Grundlagen, Forschung und Philosophie: "Post Corona". 2020. | Read more |