Miskatonic University Press personal blog

Gödel's Incompleteness Theorem explained

by William Denton miskatonic.org 6 min read

This theorem is one of the most important proven in the twentieth century. Here are a few brief selections that will help you start to understand it. Gödel’s original paper “On Formally Undecidable Propositions” is available in a modernized translation . It’s also in print from Dover in a nice, inexpensive edition …

Points

111

HN comments

58

Submissions

1

Cited by

0 commenters

Math & AlgorithmsScience & Space2012

Related posts from the same era

Ultimate Tic Tac Toe

Math with Bad Drawings2013786 points123 commentscited by 4 details

How Not To Sort By Average Rating

Evan Miller2012750 points562 commentscited by 57 details

Conway's Game of Life, using floating point values instead of integers

Jjwz2012688 points96 comments details

Mihai Pătraşcu 1982–2012

Gödel's Lost Letter and P=NP2012599 points29 comments details

42

John Baez2013528 points58 comments details

I analyzed the chords to 1300 popular songs for patterns. This is what I found.

Hooktheory Blog2012497 points183 comments details