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
117
Category Theory Without The Baggage
johnswentworth
2y
49
113
Logical Pinpointing
Eliezer Yudkowsky
10y
344
108
Introduction to Introduction to Category Theory
countedblessings
3y
20
106
Mental Context for Model Theory
So8res
9y
47
100
Should correlation coefficients be expressed as angles?
Sniffnoy
10y
25
90
The Truth About Mathematical Ability
JonahS
7y
142
89
Sam Harris and the Is–Ought Gap
Tyrrell_McAllister
4y
46
88
Probability space has 2 metrics
Donald Hobson
3y
11
78
How to pick your categories
12y
22
75
Standard and Nonstandard Numbers
Eliezer Yudkowsky
10y
87
73
The Goldbach conjecture is probably correct; so was Fermat's last theorem
Stuart_Armstrong
2y
27
62
What is category theory?
countedblessings
3y
6
62
On exact mathematical formulae
daozaich
4y
14
61
The Chromatic Number of the Plane is at Least 5 - Aubrey de Grey
Scott Garrabrant
4y
5
108
Reflection in Probabilistic Logic
Eliezer Yudkowsky
9y
172
89
[Book review] Gödel, Escher, Bach: an in-depth explainer
Sam Marks
1y
20
78
Completeness, incompleteness, and what it all means: first versus second order logic
Stuart_Armstrong
10y
39
71
Godel's Completeness and Incompleteness Theorems
Eliezer Yudkowsky
9y
87
54
Second-Order Logic: The Controversy
Eliezer Yudkowsky
9y
192
50
My Kind of Reflection
Eliezer Yudkowsky
14y
23
39
Gödel's Legacy: A game without end
Hazard
2y
10
32
You Provably Can't Trust Yourself
Eliezer Yudkowsky
14y
18
32
Clarification of AI Reflection Problem
paulfchristiano
11y
9
23
What's going on with "provability"?
Sunny from QAD
3y
22
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
12
Understanding Gödel's Incompleteness Theorem
Rafael Harth
8mo
1
12
A discarded review of 'Godel, Escher Bach: an Eternal Golden Braid'
lukeprog
11y
30