Oxford University Press UK (2016)

Leon Horsten
Universität Konstanz
To what extent can we hope to find answers to all mathematical questions? A famous theorem from Gödel entails that if our thinking capacities do not go beyond what an electronic computer is capable of, then there are indeed absolutely unsolvable mathematical problems. Thus it is of capital importance to find out whether human mathematicians can outstrip computers. Within this context, the contributions to this book critically examine positions about the scope and limits of human mathematical knowledge.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Buy this book $64.40 new (46% off)   $99.99 used (17% off)   Amazon page
ISBN(s) 9780198759591   0198759592
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,274
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
Chapters BETA

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Proof Systems for BAT Consequence Relations.Pawel Pawlowski - 2018 - Logic Journal of the IGPL 26 (1):96-108.
Epistemic Modality, Mind, and Mathematics.Hasen Khudairi - 2021 - Dissertation, University of St Andrews
Human-Effective Computability†.Marianna Antonutti Marfori & Leon Horsten - 2018 - Philosophia Mathematica 27 (1):61-87.
On Martin-Löf’s Constructive Optimism.V. Alexis Peluce - 2020 - Studia Semiotyczne 34 (1):233-242.

View all 8 citations / Add more citations

Similar books and articles

The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.
Kurt Godel and Phenomenology.Richard Tieszen - 1992 - Philosophy of Science 59 (2):176-194.
Gödels disjunctie.L. Horsten - 1998 - Tijdschrift Voor Filosofie 60 (1):83 - 105.
Gödel and 'the Objective Existence' of Mathematical Objects.Pierre Cassou-Noguès - 2005 - History and Philosophy of Logic 26 (3):211-228.
To Bridge Gödel’s Gap.Eileen Nutting - 2016 - Philosophical Studies 173 (8):2133-2150.
The Experiential Foundations of Mathematical Knowledge.Nicolas D. Goodman - 1981 - History and Philosophy of Logic 2 (1-2):55-65.


Added to PP index

Total views
2 ( #1,408,893 of 2,448,625 )

Recent downloads (6 months)
1 ( #449,192 of 2,448,625 )

How can I increase my downloads?


My notes