Vijay’s Kindle Notes & Highlights

Godel's Proof, by Ernest Nagel

‘The sequence of formulas with Gödel number x is a proof (i.e., a demonstration) inside PM of the formula with Gödel number

See Vijay’s 6 notes & 18 highlights

Godel's Proof

by Ernest Nagel

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars