Incompleteness theorems | Wikipedia audio article
Channel: wikipedia tts
Date: 28/01/2019

This is an audio version of the Wikipedia Article:
https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems


00:01:26 1 Formal systems: completeness, consistency, and effective axiomatization
00:02:57 1.1 Effective axiomatization
00:04:00 1.2 Completeness
00:06:36 1.3 Consistency
00:07:49 1.4 Systems which contain arithmetic
00:09:51 1.5 Conflicting goals
00:11:47 2 First incompleteness theorem
00:14:00 2.1 Syntactic form of the Gödel sentence
00:16:23 2.2 Truth of the Gödel sentence
00:18:50 2.3 Relationship with the liar paradox
00:20:18 2.4 Extensions of Gödel's original result
00:22:47 3 Second incompleteness theorem
00:24:44 3.1 Expressing consistency
00:26:00 3.2 The Hilbert&#8211;Bernays conditions
00:27:16 3.3 Implications for consistency proofs
00:30:10 4 Examples of undecidable statements
00:31:01 4.1 Undecidable statements provable in larger systems
00:34:01 5 Relationship with computability
00:35:25 6 Proof sketch for the first theorem
00:36:54 6.1 Arithmetization of syntax
00:39:09 6.2 Construction of a statement about "provability"
00:40:40 6.3 Diagonalization
00:43:23 6.4 Proof via Berry's paradox
00:46:21 6.5 Computer verified proofs
00:50:25 7 Proof sketch for the second theorem
00:51:23 8 Discussion and implications
00:52:25 8.1 Consequences for logicism and Hilbert's second problem
00:53:38 8.2 Minds and machines
00:54:00 8.3 Paraconsistent logic
00:55:16 8.4 Appeals to the incompleteness theorems in other fields
00:59:05 9 History
01:00:00 9.1 Announcement
01:01:05 9.2 Generalization and acceptance
01:03:13 9.3 Criticisms
01:06:06 9.3.1 Finsler
01:07:40 9.3.2 Zermelo
01:07:49 9.3.3 Wittgenstein
01:08:54 10 See also
01:10:02 11 References
01:13:21 11.1 Articles by Gödel



Listening is a more natural way of learning, when compared to reading. Written language only began at around 3200 BC, but spoken language has existed long ago.

Learning by listening is a great way to:
- increases imagination and understanding
- improves your listening skills
- improves your own spoken accent
- learn while on the move
- reduce eye strain

Now learn the vast amount of general knowledge available on Wikipedia through audio (audio article). You could even learn subconsciously by playing the audio while you are sleeping! If you are planning to listen a lot, you could try using a bone conduction headphone, or a standard speaker instead of an earphone.

Listen on Google Assistant through Extra Audio:
https://assistant.google.com/services/invoke/uid/0000001a130b3f91
Other Wikipedia audio articles at:
https://www.youtube.com/results?search_query=wikipedia+tts
Upload your own Wikipedia articles through:
https://github.com/nodef/wikipedia-tts
Speaking Rate: 0.9663386918700418
Voice name: en-US-Wavenet-C


"I cannot teach anybody anything, I can only make them think."
- Socrates


SUMMARY
=======
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 the natural numbers.  For any such consistent formal system, there will always be statements about the natural numbers that are true, but that are unprovable within the system. The second incompleteness theorem, an extension of the first, shows that the system cannot demonstrate its own consistency.
Employing a diagonal argument, Gödel's incompleteness theorems were the first of several closely related theorems on the limitations of formal systems. They were followed by Tarski's undefinability theorem on the formal undefinability of truth, Church's proof that Hilbert's Entscheidungsproblem is unsolvable, and Turing's theorem that there is no algorithm to solve the halting problem.