Detlefsen, Michael
163  results:
Search for persons X
?
1

Formalism and Hilbert's understanding of consistency proble..:

Detlefsen, Michael
Archive for Mathematical Logic.  60 (2021)  5 - p. 529-546 , 2021
 
?
2

Ian Hacking. Why Is There Philosophy of Mathematics At All?:

Detlefsen, Michael
Philosophia Mathematica.  25 (2017)  3 - p. 407-412 , 2017
 
?
4

Formalism:

, In: The Oxford handbook of philosophy of mathematics and logic / edited by Stewart Shapiro
Detlefsen, Michael. (2009) 
Link: https://doi.org/10.1093/..

Copies:  Zentrale:E03 a phi 612/100
 
?
5

What Does Gödel's Second Theorem Say†:

Detlefsen, Michael
Philosophia Mathematica.  9 (2001)  1 - p. 37-71 , 2001
 
?
7

Mind in the shadows:

Detlefsen, Michael
Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics.  29 (1998)  1 - p. 123-136 , 1998
 
?
8

Proof and Knowledge in Mathematics:

Folina, Janet ; Detlefsen, Michael
The Philosophical Quarterly.  46 (1996)  182 - p. 125 , 1996
 
?
9

Book Reviews:

DETLEFSEN, MICHAEL
Philosophia Mathematica.  3 (1995)  2 - p. 208-218 , 1995
 
?
10

Wright on the Non-mechanizability of Intuitionist Reasoning:

DETLEFSEN, MICHAEL
Philosophia Mathematica.  3 (1995)  1 - p. 103-119 , 1995
 
?
11

HILBERT'S FORMALISM:

DETLEFSEN, MICHAEL
Revue Internationale de Philosophie.  47 (1993)  186 (4) - p. 285-304 , 1993
 
?
 
?
 
?
14

Poincar� against the logicians:

Detlefsen, Michael
Synthese.  90 (1992)  3 - p. 349-378 , 1992
 
?
15

Poincaré against the Logicians:

Detlefsen, Michael
Synthese.  90 (1992)  3 - p. 349-378 , 1992
 
1-15