Go Back
Choose this branch
Choose this branch
meritocratic
regular
democratic
hot
top
alive
267 posts
Logic & Mathematics
Probability & Statistics
Abstraction
Causality
Fermi Estimation
Gödelian Logic
Finite Factored Sets
Open Problems
Category Theory
Timeless Physics
Reflective Reasoning
Tensor Networks
116 posts
Bayes' Theorem
Logical Induction
Logical Uncertainty
Radical Probabilism
Probabilistic Reasoning
ET Jaynes
Problem of Old Evidence
Reversed Stupidity Is Not Intelligence
148
Finite Factored Sets in Pictures
Magdalena Wache
9d
29
54
Formalization as suspension of intuition
adamShimi
9d
18
7
Meaningful things are those the universe possesses a semantics for
Abhimanyu Pallavi Sudhir
8d
14
8
Slick hyperfinite Ramsey theory proof
Alok Singh
1d
2
43
Open technical problem: A Quinean proof of Löb's theorem, for an easier cartoon guide
Andrew_Critch
26d
34
40
Why square errors?
Aprillion (Peter Hozák)
24d
10
-10
Can we get around Godel's Incompleteness theorems and Turing undecidable problems via infinite computers?
Noosphere89
1mo
12
114
Six (and a half) intuitions for KL divergence
TheMcDouglas
2mo
16
5
Why are probabilities represented as real numbers instead of rational numbers?
Yaakov T
1mo
9
137
Finite Factored Sets
Scott Garrabrant
1y
94
7
What is an agent in reductionist materialism?
Valentine
4mo
15
36
Counterfactability
Scott Garrabrant
1mo
4
73
The Goldbach conjecture is probably correct; so was Fermat's last theorem
Stuart_Armstrong
2y
27
43
(A -> B) -> A in Causal DAGs
johnswentworth
2y
11
124
Logical induction for software engineers
Alex Flint
17d
2
87
Absolute Authority
Eliezer Yudkowsky
14y
78
38
Five views of Bayes' Theorem
Adam Scherlis
5mo
4
73
A Bayesian Aggregation Paradox
Jsevillamol
1y
22
52
An Intuitive Explanation of Bayes's Theorem
Eliezer Yudkowsky
19y
8
15
"Friends do not let friends compute p values."
lukeprog
11y
4
13
Asymptotic Logical Uncertainty: Concrete Failure of the Solomonoff Approach
Scott Garrabrant
7y
0
4
Logical Inductors that trust their limits
Scott Garrabrant
6y
0
4
The set of Logical Inductors is not Convex
Scott Garrabrant
6y
0
4
A measure-theoretic generalization of logical induction
Vanessa Kosoy
5y
0
19
Two Major Obstacles for Logical Inductor Decision Theory
Scott Garrabrant
5y
0
4
Logical Induction with incomputable sequences
AlexMennen
5y
0
30
Very Short Introduction to Bayesian Model Comparison
johnswentworth
3y
5
77
Update Yourself Incrementally
Eliezer Yudkowsky
15y
29