The following pages link to Michael Detlefsen (Q1134173):
Displaying 31 items.
- (Q809062) (redirect page) (← links)
- On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem (Q809063) (← links)
- Hilbert's program. An essay on mathematical instrumentalism (Q1100453) (← links)
- Symmetric sublattices of a Noether lattice (Q1134174) (← links)
- Poincaré against the logicians (Q1187229) (← links)
- Computation with Roman numerals (Q1229847) (← links)
- On interpreting Gödel's second theorem (Q1257005) (← links)
- (Q1966153) (redirect page) (← links)
- Generalized symmetric elements generated by a prime sequence (Q1966154) (← links)
- Formalism and Hilbert's understanding of consistency problems (Q2042732) (← links)
- Philosophy of mathematics in the twentieth century (Q2711910) (← links)
- (Q3007284) (← links)
- (Q3172041) (← links)
- (Q3172042) (← links)
- Duality, Epistemic Efficiency & Consistency (Q3452171) (← links)
- (Q3464646) (← links)
- Prime sequences and distributivity in local Noether lattices (Q4063511) (← links)
- (Q4227557) (← links)
- (Q4428891) (← links)
- (Q4485694) (← links)
- (Q4562088) (← links)
- Ian Hacking. Why Is There Philosophy of Mathematics At All? (Q4626038) (← links)
- Regularity in Terms of Reductions in Local Noether Lattices (Q4777349) (← links)
- (Q4792806) (← links)
- Wright on the Non-mechanizability of Intuitionist Reasoning (Q4859239) (← links)
- (Q4872674) (← links)
- On the Motives for Proof Theory (Q5213608) (← links)
- Abstraction, Axiomatization and Rigor: Pasch and Hilbert (Q5214682) (← links)
- Gentzen’s Anti-Formalist Views (Q5361243) (← links)
- Freedom & Consistency (Q5737986) (← links)
- What does Gödel's second theorem say? (Q5890415) (← links)
