Normal mathematics will need new axioms

Bulletin of Symbolic Logic 6 (4):434-446 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Does normal mathematics need new axioms?Harvey Friedman - manuscript
Unprovable theorems in discrete mathematics.Harvey Friedman - manuscript
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.
A theory of strong indiscernibles.Harvey Friedman - manuscript
Adventures in the verification of mathematics.Harvey Friedman - manuscript
Axioms for intuitionistic mathematics incompatible with classical logic.A. S. Troelstra - 1975 - Amsterdam: Mathematisch Instituut.
Finite trees and the necessary use of large cardinals.Harvey Friedman - manuscript
Beyond the axioms: The question of objectivity in mathematics.W. TaitW - 2001 - Philosophia Mathematica 9 (1):21-36.
Strict reverse mathematics.Harvey M. Friedman - unknown
Concept calculus: Much better than.Harvey M. Friedman - unknown
Why Axiomatize Arithmetic?Charles Sayward - 2005 - Sorites 16:54-61.
Defending the Axioms: On the Philosophical Foundations of Set Theory.Penelope Maddy - 2011 - Oxford, England: Oxford University Press.
The inevitability of logical strength: Strict reverse mathematics.Harvey Friedman - manuscript

Analytics

Added to PP
2014-03-26

Downloads
2 (#1,784,141)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mathematical existence.Penelope Maddy - 2005 - Bulletin of Symbolic Logic 11 (3):351-376.
A Second Glance at Non-restrictiveness.B. Lowe - 2003 - Philosophia Mathematica 11 (3):323-331.
Aggregate theory versus set theory.Hartley Slater - 2003 - Erkenntnis 59 (2):189 - 202.
The Notion of Explanation in Gödel’s Philosophy of Mathematics.Krzysztof Wójtowicz - 2019 - Studia Semiotyczne—English Supplement 30:85-106.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references