Mathematical truth revisited

mathematics as a toolbox

2017

Reinhard Kahle

in: Varieties of scientific realism, Berlin,

Sets, truth, and recursion

2015

Reinhard Kahle

in: Unifying the philosophy of truth, Berlin,

What is a proof?

2015

Reinhard Kahle

Axiomathes 25 (1)

Computing with mathematical arguments

2013

Jesse Alama, Reinhard Kahle

in: New challenges to philosophy of science, Berlin,

A proof-theoretic view of necessity

2006

Reinhard Kahle

Synthese 148 (3)

Introduction

Proof-theoretic semantics

2006

Reinhard Kahle, Peter Schroeder-Heister

Synthese 148 (3)

Reflections on Frege and Hilbert

2005

Bernd Buldt, Volker Halbach, Reinhard Kahle

Synthese 147 (1)

Mathematical proof theory in the light of ordinal analysis

2002

Reinhard Kahle

Synthese 133