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
158
Introduction to Introduction to Category Theory
countedblessings
3y
20
131
Category Theory Without The Baggage
johnswentworth
2y
49
114
Sam Harris and the Is–Ought Gap
Tyrrell_McAllister
4y
46
99
Logical Pinpointing
Eliezer Yudkowsky
10y
344
88
What is category theory?
countedblessings
3y
6
81
Probability space has 2 metrics
Donald Hobson
3y
11
81
The Truth About Mathematical Ability
JonahS
7y
142
81
Mental Context for Model Theory
So8res
9y
47
75
Categories: models of models
countedblessings
3y
18
71
Should correlation coefficients be expressed as angles?
Sniffnoy
10y
25
66
The Goldbach conjecture is probably correct; so was Fermat's last theorem
Stuart_Armstrong
2y
27
61
Declarative Mathematics
johnswentworth
3y
10
61
How to pick your categories
12y
22
58
Formalization as suspension of intuition
adamShimi
9d
18
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
51
My Kind of Reflection
Eliezer Yudkowsky
14y
23
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