Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 105



1
TITLE: 90 years of Gödel's incompleteness theorems: Logic and computation
AUTHORS: Baaz, M; Ertel, M; Reinhard Kahle ; Piecha, T; von Plato, J;
PUBLISHED: 2024, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 34, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
2
TITLE: In Praise of the Habilitation  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2024, SOURCE: NTM, VOLUME: 32, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef Unpaywall
IN MY: ORCID
3
TITLE: Limits of AI - theoretical, practical, ethical
AUTHORS: Klaus Mainzer; Reinhard Kahle ;
PUBLISHED: 2024, SOURCE: Technik im Fokus
INDEXED IN: CrossRef Unpaywall
4
TITLE: Paradoxes, Intuitionism, and Proof-Theoretic Semantics
AUTHORS: Reinhard Kahle ; Paulo Guilherme Santos;
PUBLISHED: 2024, SOURCE: Outstanding Contributions to Logic, VOLUME: 29
INDEXED IN: Scopus CrossRef Unpaywall
IN MY: ORCID
5
TITLE: A new perspective on completeness and finitist consistency
AUTHORS: Santos, Paulo Guilherme ; Sieg, Wilfried; Reinhard Kahle ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 34, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
6
TITLE: Die philosophische Bedeutung des Gödel-Universums
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2023, SOURCE: On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
INDEXED IN: CrossRef Unpaywall
7
TITLE: Numeral completeness of weak theories of arithmetic
AUTHORS: Reinhard Kahle ; Oitavem, Isabel ; Santos, Paulo Guilherme ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 35, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
8
TITLE: The Philosophical Meaning of the Gödel Universe
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2023, SOURCE: On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
INDEXED IN: CrossRef Unpaywall
9
TITLE: Zukunft der KI: Verantwortung und Vertrauen
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2023, SOURCE: 2023 Designing Futures: Zukunfte gestalten, INFORMATIK 2023 - 2023 Designing Futures: Shaping the Future, INFORMATIK 2023 in 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future - Zukünfte gestalten, Berlin, Germany September 26-29, 2023, VOLUME: P-337
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
10
TITLE: Axiomatic Thinking I
AUTHORS: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLISHED: 2022, SOURCE: Axiomatic Thinking I
INDEXED IN: Scopus CrossRef Openlibrary
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 11. Total results: 105.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service