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
Recursion
Mathematics
Hilbert
Mathematics
Proof Theory
Mathematics
Proof by induction
Mathematics
Schema
Mathematics
Function Algebra
Mathematics
Fixed Point Theory
Mathematics
Software Maintenance
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output at NOVA 2005 2019
1
Citation
(Scopus)
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
3
Citations
(Scopus)
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
First-order Logic
Hilbert
Recursive Functions
Computability
Logic
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
Open Access
File
Natural number
Internal
Evaluate
Towards an Operational View of Purity
Kahle, R. & Pulcini, G., 2018, The Logica Yearbook 2017. College Publications, 13 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
Theorem
Euclid
Prime number
Line
Prizes
Activities 2009 2018
Birkhaeuser Verlag (Publisher)
Reinhard Kahle (Editorial board member)2018 → …
Activity: Publication peer-review and editorial work › Editorial activity
History and Philosophy of Logic (Journal)
Reinhard Kahle (Editorial board member)2018 → …
Activity: Publication peer-review and editorial work › Editorial activity
International Joint Conference on Automated Reasoning
Reinhard Kahle (Member of programme committee)27 Jun 2016 → 2 Jul 2016
Activity: Participating in or organising an event › Participation in conference
Hilbert-Bernays Summer School on Logic and Computation 2016
Reinhard Kahle (Organiser)24 Jul 2016 → 30 Jul 2016
Activity: Participating in or organising an event › Participation in workshop, seminar, course
Invited Guest Professor
Reinhard Kahle (Member)Mar 2016 → Jul 2016
Activity: Other › Types of External academic engagement - Research and Teaching at External Organisation