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
11
Slick hyperfinite Ramsey theory proof
Alok Singh
1d
2
58
Formalization as suspension of intuition
adamShimi
9d
18
23
Brun's theorem and sieve theory
Ege Erdil
18d
0
31
For ELK truth is mostly a distraction
c.trout
1mo
0
7
Why are probabilities represented as real numbers instead of rational numbers?
Yaakov T
1mo
9
35
Infra-Topology
Diffractor
8mo
1
34
Rational and irrational infinite integers
Viliam
9mo
27
158
Introduction to Introduction to Category Theory
countedblessings
3y
20
131
Category Theory Without The Baggage
johnswentworth
2y
49
34
The Promise and Peril of Finite Sets
davidad
1y
4
21
The median and mode use less information than the mean does
Maxwell Peterson
8mo
10
23
Accelerated [Honors] Calculus
lsusr
9mo
3
18
The Case for Frequentism: Why Bayesian Probability is Fundamentally Unsound and What Science Does Instead
lsusr
8mo
29
5
Why do som many things break in a 2 element set?
Alok Singh
2mo
3
13
Meaningful things are those the universe possesses a semantics for
Abhimanyu Pallavi Sudhir
8d
14
109
[Book review] Gödel, Escher, Bach: an in-depth explainer
Sam Marks
1y
20
14
Understanding Gödel's Incompleteness Theorem
Rafael Harth
8mo
1
44
Gödel's Legacy: A game without end
Hazard
2y
10
24
What's going on with "provability"?
Sunny from QAD
3y
22
73
Reflection in Probabilistic Logic
Eliezer Yudkowsky
9y
172
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
7
Godel in second-order logic?
Abhimanyu Pallavi Sudhir
2y
4
51
My Kind of Reflection
Eliezer Yudkowsky
14y
23
30
You Provably Can't Trust Yourself
Eliezer Yudkowsky
14y
18
20
Clarification of AI Reflection Problem
paulfchristiano
11y
9
12
Explained: Gödel's theorem and the Banach-Tarski Paradox
XiXiDu
10y
40