Michael E. Detlefsen

From MaRDI portal
Person:1134173

Available identifiers

zbMath Open detlefsen.michael-eWikidataQ6829827 ScholiaQ6829827MaRDI QIDQ1134173

List of research outcomes

PublicationDate of PublicationType
Formalism and Hilbert's understanding of consistency problems2021-07-21Paper
Abstraction, Axiomatization and Rigor: Pasch and Hilbert2020-02-05Paper
On the Motives for Proof Theory2020-02-04Paper
Ian Hacking. Why Is There Philosophy of Mathematics At All?2019-02-26Paper
https://portal.mardi4nfdi.de/entity/Q45620882018-12-17Paper
Gentzen’s Anti-Formalist Views2017-09-27Paper
Freedom & Consistency2017-05-31Paper
https://portal.mardi4nfdi.de/entity/Q34646462016-01-27Paper
Duality, Epistemic Efficiency & Consistency2015-11-18Paper
https://portal.mardi4nfdi.de/entity/Q31720412011-10-05Paper
https://portal.mardi4nfdi.de/entity/Q31720422011-10-05Paper
https://portal.mardi4nfdi.de/entity/Q30072842011-06-21Paper
https://portal.mardi4nfdi.de/entity/Q44288912003-09-22Paper
https://portal.mardi4nfdi.de/entity/Q47928062003-02-17Paper
What Does Gödel's Second Theorem Say†2002-10-07Paper
https://portal.mardi4nfdi.de/entity/Q27119102002-01-22Paper
https://portal.mardi4nfdi.de/entity/Q44856942000-06-18Paper
Generalized symmetric elements generated by a prime sequence2000-02-27Paper
https://portal.mardi4nfdi.de/entity/Q42275571999-05-26Paper
Wright on the Non-mechanizability of Intuitionist Reasoning1996-07-22Paper
https://portal.mardi4nfdi.de/entity/Q48726741996-04-22Paper
Poincaré against the logicians1992-06-28Paper
On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem1990-01-01Paper
Hilbert's program. An essay on mathematical instrumentalism1986-01-01Paper
On interpreting Gödel's second theorem1979-01-01Paper
Symmetric sublattices of a Noether lattice1978-01-01Paper
Computation with Roman numerals1976-01-01Paper
Prime sequences and distributivity in local Noether lattices1974-01-01Paper
Regularity in Terms of Reductions in Local Noether Lattices1974-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Michael E. Detlefsen