Amílcar Sernadas Logic Prize
Paulo Guilherme Santos, PhD student at the Carl Friedrich von Weizsäcker Center and at the Universidade Nova de Lisboa, received together with Reinhard Kahle the Amílcar Sernadas Logic Prize for the paper k-Provability in PA (ex aequo with Sérgio Marcelino).
Prof. Klaus Mainzer elected as President of the European Academy of Sciences and Arts
European Academy of Sciences and Arts
Prof. Dr. Klaus Mainzer, Senior Professor at the Carl Friedrich von Weizsäcker Center, was elected as President of the European Academy of Sciences and Arts.
Foundation board of the Udo Keller Foundation
Prof. Dr. Klaus Mainzer, Senior Professor at the Carl Friedrich von Weizsäcker Canter, was elected head of the foundation board of the Udo Keller Foundation (starting 2021).
The Udo Keller Foundation Forum Humanum supports for a long time the University of Tübingen in the context of the Forum Scientiarium, in particular by supporting the Carl Friedrich von Weizsäcker endowed professorship for Philosophy and History of Science and the Carl Freidrich von Weizsäcker Center.
New Publications
- Reinhard Kahle: Default Negation as Explicit Negation plus Update. Логические исследования (Logical Investigations), 27(1):64-81, 2021
- Kahle, R., Oitavem, I.: Lorenzen Between Gentzen and Schütte, Springer 2021
- Mainzer, K., Schuster, P. and Schwichtenberg, H. (Eds.): Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification, World Scientific Singapore 2021
- Kahle, R., Lago, U. and Oitavem, I.: A Recursion-Theoretic Characterization of the Probabilistic Class PP. In Filippo Bonchi and Simon J. Puglisi (editors): 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)
- Kahle, R.: Gödel, mathematischer Realismus und Antireduktionismus, Springer, 2021. (DOI 10.1007/978-3-662-63187-4_10)
- Santos, P. and Kahle, R.: k-Provability in PA. Logica Universalis, 2021. (DOI 10.1007/s11787-021-00278-1)
- Kneer, M. and Stuart, M. 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
- Kahle, R.: 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 Verheißung. Philosophische Kontexte, vol. 8, Xenomoi, 2021.
- Kahle, R.: 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.
- Mainzer, K.: 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.
- Kahle, R. und Mainzer, K.: 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.
- Kahle, R. and Oitavem, I.: Lorenzen between Gentzen and Schütte. In Gerhard Heinzmann and Gereon Wolters (editors): Paul Lorenzen—Mathematician and Logician. pages 61-73. Springer, 2021.
- Kahle, R.: 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.
- Angerer, K.: Vermittlungsarbeit. Zur Untersuchung und Verwertung biologischer Materialien in der kommerziellen Naturstoffchemie. Nomos, 2021.
- Mainzer, K.: Quantencomputer, Springer, 2020.
- Kahle, R.: Review of Gerhard Jäger and Wilfried Sieg, editors. Feferman on Foundations: Logic, Mathematics, Philosophy. Contributions to Logic, vol. 13. Springer, 2017. Philosophia Mathematica, Volume 28, Issue 3, October 2020, pages 421–425
- Sikimić, V., Nikitović, T., Vasić, M. & V. Subotić. Do Political Attitudes Matter for Epistemic Decisions of Scientists? Review of Philosophy and Psychology. 2020.
- Kahle, R. & Rathjen, M. (eds.): The Legacy of Kurt Schütte. Springer, 2020.
- Kahle, R.: "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.
- Sikimić, V.: Science Policy. Column in the June issue of The Reasoner. 2020.
- Mainzer, K.: Künstliche Intelligenz: „Post Corona“. 2020.
- Mainzer, K.: Grundlagen, Forschung und Philosophie: „Post Corona“. 2020.
More news
Personell
Vlasta Sikimić was elected as a Member of the Steering Committee of the East European Network for Philosophy of Science — EENPS.