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.

Read more

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