Go Back
You can't go any further
Choose this branch
meritocratic
regular
democratic
hot
top
alive
9 posts
Infra-Bayesianism
21 posts
Logic & Mathematics
Formal Proof
Domain Theory
Futarchy
98
Infra-Bayesian physicalism: a formal theory of naturalized induction
Vanessa Kosoy
1y
20
121
Introduction To The Infra-Bayesianism Sequence
Diffractor
2y
64
41
Infra-Exercises, Part 1
Diffractor
3mo
9
3
Vanessa Kosoy's PreDCA, distilled
MartÃn Soto
1mo
17
19
Infra-Miscellanea
Diffractor
8mo
0
34
Basic Inframeasure Theory
Diffractor
2y
16
17
Belief Functions And Decision Theory
Diffractor
2y
8
27
Less Basic Inframeasure Theory
Diffractor
2y
1
33
Inframeasures and Domain Theory
Diffractor
1y
3
44
Probability as Minimal Map
johnswentworth
3y
10
39
Hessian and Basin volume
Vivek Hebbar
5mo
9
21
A Brief Intro to Domain Theory
Diffractor
3y
4
6
Logical inductor limits are dense under pointwise convergence
SamEisenstat
6y
0
4
Futarchy Fix
abramdemski
5y
0
8
Proofs Section 2.2 (Isomorphism to Expectations)
Diffractor
2y
0
8
Proofs Section 2.3 (Updates, Decision Theory)
Diffractor
2y
0
4
Towards a Formalisation of Logical Counterfactuals
Bunthut
2y
2
16
Infra-Domain proofs 1
Diffractor
1y
0
69
Recent Progress in the Theory of Neural Networks
interstice
3y
9
93
Zoom In: An Introduction to Circuits
evhub
2y
11
8
Proofs Section 1.1 (Initial results to LF-duality)
Diffractor
2y
0
8
Proofs Section 1.2 (Mixtures, Updates, Pushforwards)
Diffractor
2y
0
28
No surjection onto function space for manifold X
Stuart_Armstrong
3y
0