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
-9
Can we get around Godel's Incompleteness theorems and Turing undecidable problems via infinite computers?
Noosphere89
1mo
12
2
Gödel and Bayes: quick question
hairyfigment
11y
36
12
Explained: Gödel's theorem and the Banach-Tarski Paradox
XiXiDu
10y
40
7
Godel in second-order logic?
Abhimanyu Pallavi Sudhir
2y
4
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
14
Understanding Gödel's Incompleteness Theorem
Rafael Harth
8mo
1
8
A discarded review of 'Godel, Escher Bach: an Eternal Golden Braid'
lukeprog
11y
30
11
Formalising cousin_it's bounded versions of Gödel's theorem
Stuart_Armstrong
10y
4
73
Reflection in Probabilistic Logic
Eliezer Yudkowsky
9y
172
44
Gödel's Legacy: A game without end
Hazard
2y
10
6
We won't be able to recognise the human Gödel sentence
Stuart_Armstrong
10y
33
51
My Kind of Reflection
Eliezer Yudkowsky
14y
23