"This statement is false": animated explainer of Gödel's Incompleteness Theorem
"This statement is false": animated explainer of Gödel's Incompleteness Theorem
2022年1月7日
boingboing.net
Identify inconsistencies, anomalies, and incompleteness in the ... | Filo
Identify inconsistencies, anomalies, and incompleteness in the ... | Filo
10 个月之前
askfilo.com
The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy
5:20
The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy
已浏览 402.6万 次2021年7月20日
TED
Gödel's Incompleteness Theorem, the paradox at the heart of mathematics
Gödel's Incompleteness Theorem, the paradox at the heart of mathematics
2022年1月3日
thekidshouldseethis.com
Why Modern Technology Depends on Math That Might Be Incomplete
33:59
Why Modern Technology Depends on Math That Might Be Incomplete
5 个月之前
MSNVeritasium
Gōdel’s Incompleteness Theorem | Pure Dhamma
1:31
Gōdel’s Incompleteness Theorem | Pure Dhamma
2015年12月19日
puredhamma.net
Joost J. Joosten: Minimal Logics for Incompleteness
1:05:11
Joost J. Joosten: Minimal Logics for Incompleteness
已浏览 403 次2021年8月30日
bilibili武汉大学哲学学院
Infinity, Paradoxes, Gödel Incompleteness the Mathematical Multiverse | Lex Fridman Podcast #488 | Lex Fridman | 104 comments
已浏览 174.2万 次4 个月之前
linkedin.com
29:26
Saul Aaron Kripke: A Model-Theoretic Approach to Gödel's Theorem
已浏览 283 次2021年8月30日
bilibili武汉大学哲学学院
1:58:33
【数理逻辑】不完备性： 哥德尔的证明及悖论（Dr. Rebecca Goldstein）
已浏览 2305 次2023年4月3日
bilibiliQualiax
8:11
数理逻辑, 菲利普·韦尔奇, 布里斯托大学, 2021
已浏览 6707 次2022年8月27日
bilibiliTeichmuller
40:02
Juan P. Aguilera: The Pi^1_2 Consequences of a theory
已浏览 718 次2021年8月31日
bilibili武汉大学哲学学院
1:14:38
Harvey Friedman: Aspects of Gödel incompleteness
已浏览 141 次2021年8月30日
bilibili武汉大学哲学学院
Watch The Science of Information: From Language to Black Holes Season 1 Episode 20 - Uncomputable Functions and Incompleteness
2017年3月15日
yidio.com
54:40
Anton Freund: Independence without computational strength
已浏览 160 次2021年8月30日
bilibili武汉大学哲学学院
58:15
Wilfried Sieg: Gödel in AProS
已浏览 257 次2021年8月30日
bilibili武汉大学哲学学院
1:43:33
【逻辑与哲学系列讲座】Incompleteness and ordinal analysis
已浏览 1209 次2023年11月13日
bilibili武汉大学哲学学院
55:53
Ali Enayat: Tight Theories
已浏览 122 次2021年8月30日
bilibili武汉大学哲学学院
2:40:39
【逻辑与数学基础讲座】What is concrete incompleteness?
已浏览 566 次2021年12月23日
bilibili武汉大学哲学学院
2:19
规则永远不够：你以为是完美闭环，其实是思维的死结
已浏览 560 次4 个月之前
bilibiliBYB白白社观-进化版
1:37:03
【逻辑与哲学系列讲座】Goodstein walks and Gödel incompleteness
已浏览 1310 次2023年10月23日
bilibili武汉大学哲学学院
1:38:41
AIT10–The Halting Problem, incompleteness from uncomputability
已浏览 12 次3 个月之前
bilibili动千山wyli
1:44:57
【逻辑与数学基础讲座】具体不完全性-1（Lecture series on concrete incompleteness-1）
已浏览 660 次2023年8月4日
bilibili武汉大学哲学学院
41:51
CH7_模型不确定性与误设 [信息设计前置知识] #不完美贝叶斯学习
已浏览 407 次3 个月之前
bilibili霍夫曼消除
42:09
Saeed Salehi: Some Fairies in the Incompleteness Wonderland
已浏览 148 次2021年8月30日
bilibili武汉大学哲学学院
5:05
数学核心悖论：哥德尔不完备性定理 - 马库斯·杜索托伊 - TED-Ed
已浏览 838 次2024年6月20日
bilibili黑纹白斑马
15:47
Gödel's Incompleteness Theorems 哥德尔不完备定理
已浏览 578 次2024年9月25日
bilibiliZZ_Michael_Z
1:17:35
Lecture 22 - Kolmogorov Complexity Halting Problem Godel Incompleteness
已浏览 296 次2019年10月11日
bilibilibili_65934849370
3:52:18
【Lex Fridman】无穷、悖论、哥德尔不完备性定理与数学多元宇宙 | 莱克斯·弗里德曼播客第488期 | 中英字幕
已浏览 1284 次4 个月之前
bilibili全球播客频道
2:25:57
【逻辑与数学基础讲座】具体不完全性-5（Lecture series on concrete incompleteness-5）
已浏览 1317 次2023年8月4日
bilibili武汉大学哲学学院
展开