Publications
Highlights
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. Metr. Anal., 2022. | Read more |
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 |
2022
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
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 |