GöDel'S Incompleteness Theorems person
3 mentions · across 1 show
Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability in formal axiomatic theories. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in philosophy of mathematics. The theorems are interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible.
https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
Relationship map
podcastsolid = outgoing · dashed = incoming
Connections 4
mentioned 2
-
0.90
evidence rules-v4
Link in episode "#82 - Dr. JOSCHA BACH - Digital Physics, DL and Consciousness [UNPLUGGED]": https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
-
0.90
evidence rules-v4
Link in episode "#68 DR. WALID SABA 2.0 - Natural Language Understanding [UNPLUGGED]": https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
references 2
-
0.77
evidence rules-v4
Link in episode "#82 - Dr. JOSCHA BACH - Digital Physics, DL and Consciousness [UNPLUGGED]": https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
-
0.77
evidence rules-v4
Link in episode "#68 DR. WALID SABA 2.0 - Natural Language Understanding [UNPLUGGED]": https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
Heard in
- Machine Learning Street Talk (MLST)2 episodes
Mentioned in episodes
-
2022-11-27 · Machine Learning Street Talk (MLST) · via mentioned · 0.90
Link in episode "#82 - Dr. JOSCHA BACH - Digital Physics, DL and Consciousness [UNPLUGGED]": https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
-
2022-11-27 · Machine Learning Street Talk (MLST) · via references · 0.77
Link in episode "#82 - Dr. JOSCHA BACH - Digital Physics, DL and Consciousness [UNPLUGGED]": https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
-
2022-03-07 · Machine Learning Street Talk (MLST) · via mentioned · 0.90
Link in episode "#68 DR. WALID SABA 2.0 - Natural Language Understanding [UNPLUGGED]": https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
-
2022-03-07 · Machine Learning Street Talk (MLST) · via references · 0.77
Link in episode "#68 DR. WALID SABA 2.0 - Natural Language Understanding [UNPLUGGED]": https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
All extracted evidence for this entity (4)
description:link #82 - Dr. JOSCHA BACH - Digital Physics, DL and Consciousnes
Link in episode "#82 - Dr. JOSCHA BACH - Digital Physics, DL and Consciousness [UNPLUGGED]": https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
description:link #68 DR. WALID SABA 2.0 - Natural Language Understanding [UNP
Link in episode "#68 DR. WALID SABA 2.0 - Natural Language Understanding [UNPLUGGED]": https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
description:link #82 - Dr. JOSCHA BACH - Digital Physics, DL and Consciousnes
Link in episode "#82 - Dr. JOSCHA BACH - Digital Physics, DL and Consciousness [UNPLUGGED]": https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
description:link #68 DR. WALID SABA 2.0 - Natural Language Understanding [UNP
Link in episode "#68 DR. WALID SABA 2.0 - Natural Language Understanding [UNPLUGGED]": https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems