Redhead, Michael (2019) A Simplified Version of Gödel’s Theorem. [Preprint]

Preview

Text edit version (1).pdf Download (146kB) | Preview

Abstract

The Lucas - Penrose argument is considered. As a special case we consider sorites arithmetic and explain how the argument actually works. A comparison with Gödel’s own treatment is made.

Truth is valuable. But certifiable truth is hard to come by!

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Redhead, Michael mlr1000@hermes.cam.ac.uk
Keywords:	Godel's Theorem, Lucas-Penrose Argument
Subjects:	Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics > Proof
Depositing User:	Mr. Michael E. Miller
Date Deposited:	25 Mar 2019 16:30
Last Modified:	25 Mar 2019 16:30
Item ID:	15844
Subjects:	Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics > Proof
Date:	22 March 2019
URI:	https://philsci-archive.pitt.edu/id/eprint/15844

Available Versions of this Item

• A Simplified Version of Gödel’s Theorem. (deposited 25 Mar 2019 16:30) [Currently Displayed]
  • A Simplified Version of Gödel’s Theorem. (deposited 01 Apr 2019 16:32)

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item