Geoffrey Hellman

According to our database, Geoffrey Hellman authored at least 10 papers between 1993 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

A Classical-Modal Interpretation of smooth Infinitesimal Analysis.

Geoffrey Hellman, Stewart Shapiro

Rev. Symb. Log., 2025

2013

The Classical Continuum without Points - CORRIGENDUM.

Geoffrey Hellman, Stewart Shapiro

Rev. Symb. Log., 2013

The Classical continuum without Points.

Geoffrey Hellman, Stewart Shapiro

Rev. Symb. Log., 2013

Neither Categorical NOR Set-Theoretic Foundations.

Geoffrey Hellman

Rev. Symb. Log., 2013

2007

Structuralism.

Geoffrey Hellman

Proceedings of the Oxford Handbook of Philosophy of Mathematics and Logic., 2007

2006

Mathematical Pluralism: The Case of Smooth Infinitesimal Analysis.

Geoffrey Hellman

J. Philos. Log., 2006

1997

Quantum Mechanical Unbounded Operators and Constructive Mathematics - a Rejoinder to Bridges.

Geoffrey Hellman

J. Philos. Log., 1997

1995

Predicative foundations of arithmetic.

Solomon Feferman, Geoffrey Hellman

J. Philos. Log., 1995

1993

Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem.

Geoffrey Hellman

J. Philos. Log., 1993

Gleason's theorem is not constructively provable.

Geoffrey Hellman

J. Philos. Log., 1993