English

A Step by Step Guide to Gödel’s Incompleteness Proof

This is a step by step walk-through guide for anyone attempting to follow Gödel’s original proof of Incompletenes (the paper entitled “On Formally Undecidable Propositions Of Principia Mathematica And Related Systems”). Despite the vast amount of material written about Gödel’s proof, this author has not seen any good guide which actually takes the reader step by step through Gödel’s proof. There are a huge number of purported ‘explanations’ of Gödel’s proof, which claim to explain the proof, but do not actually follow Gödel’s actual proof, but instead use their own method. This guide leads the reader thorough the intricacies of Gödel’s proof, with the aim of being the best possible such guide to Gödel’s proof. It deals with the paper in a logical manner while at the same time explaining the line of argument of the proof.

Inicia sesión con tu cuenta gratuita para leer, descargar EPUB o escuchar.