Are There Absolutely Unsolvable Problems? Godel's Dichotomy

Philosophia Mathematica 14 (2):134-152 (2006)
  Copy   BIBTEX

Abstract

This is a critical analysis of the first part of Go¨del’s 1951 Gibbs lecture on certain philosophical consequences of the incompleteness theorems. Go¨del’s discussion is framed in terms of a distinction between objective mathematics and subjective mathematics, according to which the former consists of the truths of mathematics in an absolute sense, and the latter consists of all humanly demonstrable truths. The question is whether these coincide; if they do, no formal axiomatic system (or Turing machine) can comprehend the mathematizing potentialities of human thought, and, if not, there are absolutely unsolvable mathematical problems of diophantine form

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,656

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
97 (#164,135)

6 months
3 (#447,120)

Historical graph of downloads
How can I increase my downloads?

References found in this work

From Mathematics to Philosophy.Hao Wang - 1974 - London and Boston: London.
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
From Mathematics to Philosophy.Hao Wang - 1974 - London and Boston: Routledge.
Philosophy of Mathematics.Stewart Shapiro - 2003 - In Peter Clark & Katherine Hawley (eds.), Philosophy of Science Today. Oxford University Press UK.

View all 16 references / Add more references