Go Back
You can't go any further
You can't go any further
meritocratic
regular
democratic
hot
top
alive
18 posts
Gödelian Logic
1 posts
Reflective Reasoning
7
Meaningful things are those the universe possesses a semantics for
Abhimanyu Pallavi Sudhir
8d
14
89
[Book review] Gödel, Escher, Bach: an in-depth explainer
Sam Marks
1y
20
12
Understanding Gödel's Incompleteness Theorem
Rafael Harth
8mo
1
39
Gödel's Legacy: A game without end
Hazard
2y
10
108
Reflection in Probabilistic Logic
Eliezer Yudkowsky
9y
172
23
What's going on with "provability"?
Sunny from QAD
3y
22
71
Godel's Completeness and Incompleteness Theorems
Eliezer Yudkowsky
9y
87
78
Completeness, incompleteness, and what it all means: first versus second order logic
Stuart_Armstrong
10y
39
54
Second-Order Logic: The Controversy
Eliezer Yudkowsky
9y
192
6
Godel in second-order logic?
Abhimanyu Pallavi Sudhir
2y
4
32
Clarification of AI Reflection Problem
paulfchristiano
11y
9
32
You Provably Can't Trust Yourself
Eliezer Yudkowsky
14y
18
17
Formalising cousin_it's bounded versions of Gödel's theorem
Stuart_Armstrong
10y
4
16
Explained: Gödel's theorem and the Banach-Tarski Paradox
XiXiDu
10y
40
50
My Kind of Reflection
Eliezer Yudkowsky
14y
23