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