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
50
Formalization as suspension of intuition
adamShimi
9d
18
5
Slick hyperfinite Ramsey theory proof
Alok Singh
1d
2
25
Brun's theorem and sieve theory
Ege Erdil
18d
0
33
For ELK truth is mostly a distraction
c.trout
1mo
0
35
Infra-Topology
Diffractor
8mo
1
39
Accelerated [Honors] Calculus
lsusr
9mo
3
34
Rational and irrational infinite integers
Viliam
9mo
27
15
The generalized Sierpinski-Mazurkiewicz theorem.
Donald Hobson
4mo
4
40
The Promise and Peril of Finite Sets
davidad
1y
4
26
The Case for Frequentism: Why Bayesian Probability is Fundamentally Unsound and What Science Does Instead
lsusr
8mo
29
7
Why do som many things break in a 2 element set?
Alok Singh
2mo
3
103
Category Theory Without The Baggage
johnswentworth
2y
49
80
The Goldbach conjecture is probably correct; so was Fermat's last theorem
Stuart_Armstrong
2y
27
21
The Geometric Series of 1/(d+1) is a Fraction in Base-d
lsusr
9mo
4
1
Meaningful things are those the universe possesses a semantics for
Abhimanyu Pallavi Sudhir
8d
14
69
[Book review] Gödel, Escher, Bach: an in-depth explainer
Sam Marks
1y
20
10
Understanding Gödel's Incompleteness Theorem
Rafael Harth
8mo
1
34
Gödel's Legacy: A game without end
Hazard
2y
10
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
22
What's going on with "provability"?
Sunny from QAD
3y
22
58
Second-Order Logic: The Controversy
Eliezer Yudkowsky
9y
192
44
Clarification of AI Reflection Problem
paulfchristiano
11y
9
49
My Kind of Reflection
Eliezer Yudkowsky
14y
23
5
Godel in second-order logic?
Abhimanyu Pallavi Sudhir
2y
4
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