PhilSci Archive

A Simplified Version of Gödel’s Theorem

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

This is the latest version of this item.

[img]
Preview
Text
edit version 4.pdf

Download (55kB) | 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: 01 Apr 2019 16:32
Last Modified: 01 Apr 2019 16:32
Item ID: 15865
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics > Proof
Date: 22 March 2019
URI: https://philsci-archive-dev.library.pitt.edu/id/eprint/15865

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