What Gödel Discovered


Resource | v1 | created by janarez |
Type Web
Created 2020-11
Available at stopa.io/post/269
Identifier unavailable

Description

In 1931, a 25-year-old Kurt Gödel wrote a proof that turned mathematics upside down. The implication was so astounding, and his proof so elegant that it was...kind of funny. I wanted to share his discovery with you. Fair warning though, I’m not a mathematician; I’m a programmer. This means my understanding is intuitive and not exact. Hopefully, that will come to our advantage since I have no choice but to avoid formality.

Relations

relates to Gödel's incompleteness theorems

Gödel's incompleteness theorems are two theorems of mathematical logic that demonstrate the inherent...

relates to Hilbert's program

In mathematics, Hilbert's program, formulated by German mathematician David Hilbert in the early part...


Edit details Edit relations Attach new author Attach new topic Attach new resource
10.0 /10
useless alright awesome
from 1 review
Write comment Rate resource Tip: Rating is anonymous unless you also write a comment.
Resource level 3.0 /10
beginner intermediate advanced
Resource clarity 8.0 /10
hardly clear sometimes unclear perfectly clear
Reviewer's background 4.0 /10
none basics intermediate advanced expert
Comments 1
janarez
0 0

10 rating 3 level 8 clarity 4 user's background

Very approachable for beginners. Nice explanations. Fun to read.
Nothing. It's really good.
Read this, if you want to know more about how Gödel came about his theorems, but don't have the background to understand advanced stuff.