Go Back
Choose this branch
Choose this branch
meritocratic
regular
democratic
hot
top
alive
94 posts
Logic & Mathematics
Category Theory
Tensor Networks
Measure Theory
19 posts
Gödelian Logic
Reflective Reasoning
131
Mental Context for Model Theory
So8res
9y
47
129
Should correlation coefficients be expressed as angles?
Sniffnoy
10y
25
127
Logical Pinpointing
Eliezer Yudkowsky
10y
344
103
Category Theory Without The Baggage
johnswentworth
2y
49
99
The Truth About Mathematical Ability
JonahS
7y
142
95
Probability space has 2 metrics
Donald Hobson
3y
11
95
How to pick your categories
12y
22
92
Standard and Nonstandard Numbers
Eliezer Yudkowsky
10y
87
80
The Goldbach conjecture is probably correct; so was Fermat's last theorem
Stuart_Armstrong
2y
27
74
Probability, knowledge, and meta-probability
David_Chapman
9y
73
69
The different types (not sizes!) of infinity
Stuart_Armstrong
4y
31
68
The Chromatic Number of the Plane is at Least 5 - Aubrey de Grey
Scott Garrabrant
4y
5
68
On exact mathematical formulae
daozaich
4y
14
65
The Power of Noise
jsteinhardt
8y
80
143
Reflection in Probabilistic Logic
Eliezer Yudkowsky
9y
172
99
Completeness, incompleteness, and what it all means: first versus second order logic
Stuart_Armstrong
10y
39
88
Godel's Completeness and Incompleteness Theorems
Eliezer Yudkowsky
9y
87
69
[Book review] Gödel, Escher, Bach: an in-depth explainer
Sam Marks
1y
20
58
Second-Order Logic: The Controversy
Eliezer Yudkowsky
9y
192
49
My Kind of Reflection
Eliezer Yudkowsky
14y
23
44
Clarification of AI Reflection Problem
paulfchristiano
11y
9
34
Gödel's Legacy: A game without end
Hazard
2y
10
34
You Provably Can't Trust Yourself
Eliezer Yudkowsky
14y
18
23
Formalising cousin_it's bounded versions of Gödel's theorem
Stuart_Armstrong
10y
4
22
What's going on with "provability"?
Sunny from QAD
3y
22
20
Explained: Gödel's theorem and the Banach-Tarski Paradox
XiXiDu
10y
40
16
A discarded review of 'Godel, Escher Bach: an Eternal Golden Braid'
lukeprog
11y
30
16
We won't be able to recognise the human Gödel sentence
Stuart_Armstrong
10y
33