Geoffrey Hellman

Publication Activity (10 Years)

Years Active: 1993-2013
Publications (10 Years): 0

Top Topics

Classical Methods

Categorical Data

Top Venues

Rev. Symb. Log.

Publications

Geoffrey Hellman, Stewart Shapiro
The Classical Continuum without Points - CORRIGENDUM. Rev. Symb. Log. 6 (3) (2013)
Geoffrey Hellman
Neither Categorical NOR Set-Theoretic Foundations. Rev. Symb. Log. 6 (1) (2013)
Geoffrey Hellman, Stewart Shapiro
The Classical continuum without Points. Rev. Symb. Log. 6 (3) (2013)
Geoffrey Hellman
Mathematical Pluralism: The Case of Smooth Infinitesimal Analysis. J. Philos. Log. 35 (6) (2006)
Geoffrey Hellman
Quantum Mechanical Unbounded Operators and Constructive Mathematics - a Rejoinder to Bridges. J. Philos. Log. 26 (2) (1997)
Solomon Feferman, Geoffrey Hellman
Predicative foundations of arithmetic. J. Philos. Log. 24 (1) (1995)
Geoffrey Hellman
Gleason's theorem is not constructively provable. J. Philos. Log. 22 (2) (1993)
Geoffrey Hellman
Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem. J. Philos. Log. 22 (3) (1993)