Carl Friedrich von Weizsäcker-Zentrum

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.

Read more

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.

Read more

Kahle, Reinhard; Mainzer, Klaus

Limits of AI - theoretical, practical, ethical. Technik im Fokus, Springer, 2024.

Read more

     

 

 

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.

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

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