Michael E. Detlefsen

Available identifiers

zbMath Open detlefsen.michael-eWikidataQ6829827 ScholiaQ6829827MaRDI QIDQ1134173

List of research outcomes

Publication	Date of Publication	Type
Formalism and Hilbert's understanding of consistency problems	2021-07-21	Paper
Abstraction, Axiomatization and Rigor: Pasch and Hilbert	2020-02-05	Paper
On the Motives for Proof Theory	2020-02-04	Paper
Ian Hacking. Why Is There Philosophy of Mathematics At All?	2019-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4562088	2018-12-17	Paper
Gentzen’s Anti-Formalist Views	2017-09-27	Paper
Freedom & Consistency	2017-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q3464646	2016-01-27	Paper
Duality, Epistemic Efficiency & Consistency	2015-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q3172041	2011-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q3172042	2011-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q3007284	2011-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4428891	2003-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4792806	2003-02-17	Paper
What Does Gödel's Second Theorem Say†	2002-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q2711910	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4485694	2000-06-18	Paper
Generalized symmetric elements generated by a prime sequence	2000-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4227557	1999-05-26	Paper
Wright on the Non-mechanizability of Intuitionist Reasoning	1996-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4872674	1996-04-22	Paper
Poincaré against the logicians	1992-06-28	Paper
On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem	1990-01-01	Paper
Hilbert's program. An essay on mathematical instrumentalism	1986-01-01	Paper
On interpreting Gödel's second theorem	1979-01-01	Paper
Symmetric sublattices of a Noether lattice	1978-01-01	Paper
Computation with Roman numerals	1976-01-01	Paper
Prime sequences and distributivity in local Noether lattices	1974-01-01	Paper
Regularity in Terms of Reductions in Local Noether Lattices	1974-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael E. Detlefsen