Rebecca Goldstein - Incompleteness
大小
457.64 MB
文件数
29
Info Hash:
6CEFA97EA6C67510D61FFDF3478F5250F39FD1BF
收录时间
2026-02-14 05:26:06
更新时间
2026-02-14 05:26:06
文件列表 (29)
01. Introduction.mp3
70.5 MB
02. One - A Platonist among the Positivists.mp3
36.4 MB
03. The Vienna Circle.mp3
18.97 MB
04. Noch Einmal - Man Is the Measure of All Things.mp3
10.84 MB
05. Wittgenstein and the Circle.mp3
24.27 MB
06. Of What We Cannot Speak.mp3
11.64 MB
07. Godel in the Vienna Circle - The Silent Dissenter.mp3
6.94 MB
08. Godel and Wittgenstein.mp3
12.42 MB
09. Two - Hilbert and the Formalists.mp3
26.37 MB
10. Math Goes Formal.mp3
16.47 MB
11. Three - The Proof of Incompleteness.mp3
28.06 MB
12. Von Neumann Takes the Hint.mp3
14.07 MB
13. Step One - Lay Out a Formal System.mp3
17.31 MB
14. Step Three - Create a Proposition That's True Because It Says That It's Unprovable.mp3
14.91 MB
15. The Second Incompleteness Theorem.mp3
9.28 MB
16. Wittgenstein and Incompleteness.mp3
10.31 MB
17. The Spreading Incompleteness.mp3
22.69 MB
18. Four - Godel's Incompleteness.mp3
21.37 MB
19. The Coffee Is Wretched.mp3
27.98 MB
20. ''The Logic, It Was Impossible''.mp3
19.91 MB
21. ''I Can Only Make Negative Decisions''.mp3
12.5 MB
22. Incompleteness (All Over Again).mp3
14.79 MB
Ernest Nagel and James R. Newman - Godel's Proof.pdf
407.92 KB
Francesco Berto - There's Something about Goedel.pdf
2.14 MB
Kurt Gödel - On Formally Undecidable Propositions.pdf
3.98 MB
Raymond M. Smullyan - Gödel's Incompleteness Theorems.pdf
1.92 MB
Rebecca Goldstein - Incompleteness.jpg
72.12 KB
Rebecca Goldstein - Incompleteness.pdf
1.12 MB
Rebecca Goldstein - Incompleteness.txt
602 B