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
58
Formalization as suspension of intuition
adamShimi
9d
18
11
Slick hyperfinite Ramsey theory proof
Alok Singh
1d
2
7
Why are probabilities represented as real numbers instead of rational numbers?
Yaakov T
1mo
9
66
The Goldbach conjecture is probably correct; so was Fermat's last theorem
Stuart_Armstrong
2y
27
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
4
Fixed point theory (locally (α,β,ψ) dominated contractive condition)
muzammil
3mo
3
7
The generalized Sierpinski-Mazurkiewicz theorem.
Donald Hobson
4mo
4
131
Category Theory Without The Baggage
johnswentworth
2y
49
32
Why does category theory exist?
Ben Pace
3y
10
42
Probability, knowledge, and meta-probability
David_Chapman
9y
73
99
Logical Pinpointing
Eliezer Yudkowsky
10y
344
23
Accelerated [Honors] Calculus
lsusr
9mo
3
33
Sets and Functions
countedblessings
3y
22
13
Meaningful things are those the universe possesses a semantics for
Abhimanyu Pallavi Sudhir
8d
14
-9
Can we get around Godel's Incompleteness theorems and Turing undecidable problems via infinite computers?
Noosphere89
1mo
12
51
My Kind of Reflection
Eliezer Yudkowsky
14y
23
2
Gödel and Bayes: quick question
hairyfigment
11y
36
12
Explained: Gödel's theorem and the Banach-Tarski Paradox
XiXiDu
10y
40
7
Godel in second-order logic?
Abhimanyu Pallavi Sudhir
2y
4
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
14
Understanding Gödel's Incompleteness Theorem
Rafael Harth
8mo
1
8
A discarded review of 'Godel, Escher Bach: an Eternal Golden Braid'
lukeprog
11y
30
11
Formalising cousin_it's bounded versions of Gödel's theorem
Stuart_Armstrong
10y
4
73
Reflection in Probabilistic Logic
Eliezer Yudkowsky
9y
172
44
Gödel's Legacy: A game without end
Hazard
2y
10