PhilSci Archive

A Simplified Version of Gödel’s Theorem

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

WarningThere is a more recent version of this item available.
[img]
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:
CreatorsEmailORCID
Redhead, Michaelmlr1000@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: http://philsci-archive.pitt.edu/id/eprint/15844

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item