Nicolas D. Goodman

Available identifiers

zbMath Open goodman.nicolas-dMaRDI QIDQ788708

List of research outcomes

Publication	Date of Publication	Type
Modernizing the philosophy of mathematics	1992-06-28	Paper
Topological models of epistemic set theory	1990-01-01	Paper
Mathematics as natural science	1990-01-01	Paper
Intensions, Church's Thesis, and the formalization of mathematics	1987-01-01	Paper
Replacement and collection: a correction	1986-01-01	Paper
Flagg realizability in arithmetic	1986-01-01	Paper
Replacement and collection in intuitionistic set theory	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4726244	1985-01-01	Paper
The knowing mathematician	1984-01-01	Paper
Epistemic arithmetic is a conservative extension of intuitionistic arithmetic	1984-01-01	Paper
Reflections on Bishop's philosophy of mathematics	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3919666	1981-01-01	Paper
The Logic of Contradiction	1981-01-01	Paper
Mathematics as an Objective Science	1979-01-01	Paper
Choice Implies Excluded Middle	1978-01-01	Paper
Relativized realizability in intuitionistic arithmetic of all finite types	1978-01-01	Paper
The nonconstructive content of sentences of arithmetic	1978-01-01	Paper
The theory of the Gödel functionals	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3214892	1973-01-01	Paper
The faithfulness of the interpretation of arithmetic in the theory of constructions	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5659516	1972-01-01	Paper
A simplification of combinatory logic	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5613908	1970-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: Nicolas D. Goodman