Axiom Schema
Category=PDA
Category=QD
church's
Church's Thesis
Completeness Theorem
Con
consistency
Consistency Proof
Continuum Hypothesis
Elementary Number Theory
eq_bestseller
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
eq_science
Finite Subsystems
General Recursive Functions
Godel Numbers
Godel's Proof
Godel's Results
Godel's Theorems
hilbert's
Hilbert's Programme
Impossibility Proof
incompleteness
Incompleteness Theorems
Mathematical Proposition
numbers
Primitive Recursive Function
programme
proof
propositions
Provable Formula
Recursive Function
Reflexivity Argument
Relative Consistency Proof
thesis
undecidable
Undecidable Propositions
Van Heijenoort
Wittgenstein's Argument
Wittgenstein’s Argument
Product details
- ISBN 9780415045759
- Weight: 500g
- Dimensions: 138 x 216mm
- Publication Date: 26 Nov 1987
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
A layman's guide to the mechanics of Gödel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significance of Gödel's work in the light of Wittgenstein's criticisms.
