What Gödel Discovered
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...
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
- 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
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.