Go Back
You can't go any further
Choose this branch
meritocratic
regular
democratic
hot
top
alive
17 posts
Infra-Bayesianism
11 posts
Formal Proof
Domain Theory
16
Vanessa Kosoy's PreDCA, distilled
MartÃn Soto
1mo
17
98
Infra-Bayesian physicalism: a formal theory of naturalized induction
Vanessa Kosoy
1y
20
49
Infra-Exercises, Part 1
Diffractor
3mo
9
114
Understanding Infra-Bayesianism: A Beginner-Friendly Video Series
Jack Parker
2mo
6
104
Introduction To The Infra-Bayesianism Sequence
Diffractor
2y
64
7
Proofs Section 2.2 (Isomorphism to Expectations)
Diffractor
2y
0
7
Proofs Section 2.3 (Updates, Decision Theory)
Diffractor
2y
0
33
AXRP Episode 5 - Infra-Bayesianism with Vanessa Kosoy
DanielFilan
1y
12
7
Proofs Section 1.1 (Initial results to LF-duality)
Diffractor
2y
0
17
Infra-Miscellanea
Diffractor
8mo
0
35
Basic Inframeasure Theory
Diffractor
2y
16
7
Proofs Section 1.2 (Mixtures, Updates, Pushforwards)
Diffractor
2y
0
15
Belief Functions And Decision Theory
Diffractor
2y
8
22
Less Basic Inframeasure Theory
Diffractor
2y
1
25
A Brief Intro to Domain Theory
Diffractor
3y
4
5
Logical inductor limits are dense under pointwise convergence
SamEisenstat
6y
0
13
Infra-Domain proofs 1
Diffractor
1y
0
13
Fundamentals of Formalisation Level 5: Formal Proof
philip_b
4y
0
19
Formalized math: dream vs reality
cousin_it
13y
10
7
The value of learning mathematical proof
JonahS
7y
42
120
Proofs, Implications, and Models
Eliezer Yudkowsky
10y
218
13
Infra-Domain Proofs 2
Diffractor
1y
0
14
Domain Theory and the Prisoner's Dilemma: FairBot
Gurkenglas
1y
5
6
Allowing a formal proof system to self improve while avoiding Lobian obstacles.
Donald Hobson
3y
4
25
Progress on automated mathematical theorem proving?
JonahS
9y
65