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