Add resource "What Gödel Discovered" Accepted
The requested resource couldn't be found.
Changes: 6
-
Add What Gödel Discovered
- Title
-
- Unchanged
- What Gödel Discovered
- Type
-
- Unchanged
- Web
- Created
-
- Unchanged
- 2020-11
- Description
-
- Unchanged
- 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.
- Link
-
- Unchanged
- https://stopa.io/post/269
- Identifier
-
- Unchanged
- no value
Resource | v1 | current (v1) -
Add Gödel's incompleteness theorems
- Title
-
- Unchanged
- Gödel's incompleteness theorems
- Description
-
- Unchanged
- Gödel's incompleteness theorems are two theorems of mathematical logic that demonstrate the inherent limitations of every formal axiomatic system capable of modelling basic arithmetic. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The theorems are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible. The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of natural numbers. For any such consistent formal system, there will always be statements about natural numbers that are true, but that are unprovable within the system.
- Link
-
- Unchanged
- https://en.wikipedia.org/?curid=58863
Topic | v1 | current (v1) -
Add Hilbert's program
- Title
-
- Unchanged
- Hilbert's program
- Description
-
- Unchanged
- In mathematics, Hilbert's program, formulated by German mathematician David Hilbert in the early part of the 20th century, was a proposed solution to the foundational crisis of mathematics, when early attempts to clarify the foundations of mathematics were found to suffer from paradoxes and inconsistencies. As a solution, Hilbert proposed to ground all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent. Hilbert proposed that the consistency of more complicated systems, such as real analysis, could be proven in terms of simpler systems. Ultimately, the consistency of all of mathematics could be reduced to basic arithmetic. Gödel's incompleteness theorems, published in 1931, showed that Hilbert's program was unattainable for key areas of mathematics.
- Link
-
- Unchanged
- https://en.wikipedia.org/?curid=607286
Topic | v1 | current (v1) -
Add Gödel's incompleteness theorems relates to What Gödel Discovered
- Current
- relates to
Topic to resource relation | v1 -
Add Hilbert's program relates to What Gödel Discovered
- Current
- relates to
Topic to resource relation | v1 -
Add Gödel's incompleteness theorems relates to Hilbert's program
- Current
- relates to
Topic to topic relation | v1