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
13
Meaningful things are those the universe possesses a semantics for
Abhimanyu Pallavi Sudhir
8d
14
109
[Book review] Gödel, Escher, Bach: an in-depth explainer
Sam Marks
1y
20
14
Understanding Gödel's Incompleteness Theorem
Rafael Harth
8mo
1
44
Gödel's Legacy: A game without end
Hazard
2y
10
24
What's going on with "provability"?
Sunny from QAD
3y
22
73
Reflection in Probabilistic Logic
Eliezer Yudkowsky
9y
172
54
Godel's Completeness and Incompleteness Theorems
Eliezer Yudkowsky
9y
87
57
Completeness, incompleteness, and what it all means: first versus second order logic
Stuart_Armstrong
10y
39
50
Second-Order Logic: The Controversy
Eliezer Yudkowsky
9y
192
7
Godel in second-order logic?
Abhimanyu Pallavi Sudhir
2y
4
30
You Provably Can't Trust Yourself
Eliezer Yudkowsky
14y
18
20
Clarification of AI Reflection Problem
paulfchristiano
11y
9
12
Explained: Gödel's theorem and the Banach-Tarski Paradox
XiXiDu
10y
40
11
Formalising cousin_it's bounded versions of Gödel's theorem
Stuart_Armstrong
10y
4
51
My Kind of Reflection
Eliezer Yudkowsky
14y
23