Reinhard Kahle

CMA Research Group - Algebra and Logic, Integrated member (PhD)

  • 113 Citations
  • 5 h-Index
20052019
If you made any changes in Pure these will be visible here soon.

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 journalArticle

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 journalArticle

First-order Logic
Hilbert
Recursive Functions
Computability
Logic

Die Gödelschen Unvollständigkeitssätze

Kahle, R., 2018, Facetten der Mathematik. Springer Verlag, p. 235-246

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Downloads (Pure)

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 proceedingChapter

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 proceedingChapter

Theorem
Euclid
Prime number
Line

Prizes

Full Member

Reinhard Kahle (Recipient), 2015

Prize: Election to learned society

Activities 2009 2018

Birkhaeuser Verlag (Publisher)

Reinhard Kahle (Editorial board member)
2018 → …

Activity: Publication peer-review and editorial workEditorial activity

History and Philosophy of Logic (Journal)

Reinhard Kahle (Editorial board member)
2018 → …

Activity: Publication peer-review and editorial workEditorial activity

International Joint Conference on Automated Reasoning

Reinhard Kahle (Member of programme committee)
27 Jun 20162 Jul 2016

Activity: Participating in or organising an eventParticipation in conference

Hilbert-Bernays Summer School on Logic and Computation 2016

Reinhard Kahle (Organiser)
24 Jul 201630 Jul 2016

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Invited Guest Professor

Reinhard Kahle (Member)
Mar 2016Jul 2016

Activity: OtherTypes of External academic engagement - Research and Teaching at External Organisation