Research Output per year
Personal profile
Education/Academic qualification
Doctorate, University of Bern
External positions
Privatdozent, University of Tübingen
2007 → …Fingerprint Dive into the research topics where Reinhard Kahle is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output at NOVA
Discussing Hilbert’s 24th problem
Hipolito, I. & Kahle, R., 11 Mar 2019, In : Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 377, 2140(SI), Y.Research output: Contribution to journal › Article
HILBERT-BERNAYS SUMMER SCHOOL on LOGIC and COMPUTATION 2018: CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC
Kahle, R., 1 Sep 2019, In : Bulletin of Symbolic Logic. 25, 3, p. 414 1 p.Research output: Contribution to journal › Editorial
Is There a “Hilbert Thesis”?
Kahle, R., 15 Feb 2019, In : Studia Logica. 107, 1, p. 145-165 21 p.Research output: Contribution to journal › Article
Die Gödelschen Unvollständigkeitssätze
Kahle, R., 2018, Facetten der Mathematik. Springer Verlag, p. 235-246Research output: Chapter in Book/Report/Conference proceeding › Chapter
Structure and Structures
Kahle, R., 25 Oct 2018, Truth, Existence and Explanation. Piazza, M. & Pulcini, G. (eds.). Cham: Springer International Publishing AG, p. 109-120 (Boston Studies in the Philosophy and History of Science).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Prizes
Activities
Birkhaeuser Verlag (Publisher)
Reinhard Kahle (Editorial board member)Activity: Publication peer-review and editorial work › Editorial activity
History and Philosophy of Logic (Journal)
Reinhard Kahle (Editorial board member)Activity: Publication peer-review and editorial work › Editorial activity
Invited Guest Professor
Reinhard Kahle (Member)Activity: Other › Types of External academic engagement - Research and Teaching at External Organisation
Intuitionism, Computation, and Proof
Reinhard Kahle (Invited speaker)Activity: Participating in or organising an event › Participation in conference
International Joint Conference on Automated Reasoning
Reinhard Kahle (Member of programme committee)Activity: Participating in or organising an event › Participation in conference