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
8
Slick hyperfinite Ramsey theory proof
Alok Singh
1d
2
54
Formalization as suspension of intuition
adamShimi
9d
18
24
Brun's theorem and sieve theory
Ege Erdil
18d
0
32
For ELK truth is mostly a distraction
c.trout
1mo
0
35
Infra-Topology
Diffractor
8mo
1
34
Rational and irrational infinite integers
Viliam
9mo
27
5
Why are probabilities represented as real numbers instead of rational numbers?
Yaakov T
1mo
9
31
Accelerated [Honors] Calculus
lsusr
9mo
3
37
The Promise and Peril of Finite Sets
davidad
1y
4
117
Category Theory Without The Baggage
johnswentworth
2y
49
22
The Case for Frequentism: Why Bayesian Probability is Fundamentally Unsound and What Science Does Instead
lsusr
8mo
29
11
The generalized Sierpinski-Mazurkiewicz theorem.
Donald Hobson
4mo
4
6
Why do som many things break in a 2 element set?
Alok Singh
2mo
3
108
Introduction to Introduction to Category Theory
countedblessings
3y
20
7
Meaningful things are those the universe possesses a semantics for
Abhimanyu Pallavi Sudhir
8d
14
89
[Book review] Gödel, Escher, Bach: an in-depth explainer
Sam Marks
1y
20
12
Understanding Gödel's Incompleteness Theorem
Rafael Harth
8mo
1
39
Gödel's Legacy: A game without end
Hazard
2y
10
108
Reflection in Probabilistic Logic
Eliezer Yudkowsky
9y
172
23
What's going on with "provability"?
Sunny from QAD
3y
22
71
Godel's Completeness and Incompleteness Theorems
Eliezer Yudkowsky
9y
87
78
Completeness, incompleteness, and what it all means: first versus second order logic
Stuart_Armstrong
10y
39
54
Second-Order Logic: The Controversy
Eliezer Yudkowsky
9y
192
50
My Kind of Reflection
Eliezer Yudkowsky
14y
23
6
Godel in second-order logic?
Abhimanyu Pallavi Sudhir
2y
4
32
Clarification of AI Reflection Problem
paulfchristiano
11y
9
32
You Provably Can't Trust Yourself
Eliezer Yudkowsky
14y
18
17
Formalising cousin_it's bounded versions of Gödel's theorem
Stuart_Armstrong
10y
4