Go Back
You can't go any further
You can't go any further
meritocratic
regular
democratic
hot
top
alive
3 posts
Domain Theory
7 posts
Formal Proof
21
A Brief Intro to Domain Theory
Diffractor
3y
4
16
Infra-Domain proofs 1
Diffractor
1y
0
16
Infra-Domain Proofs 2
Diffractor
1y
0
6
Logical inductor limits are dense under pointwise convergence
SamEisenstat
6y
0
8
Proofs Section 2.2 (Isomorphism to Expectations)
Diffractor
2y
0
8
Proofs Section 2.3 (Updates, Decision Theory)
Diffractor
2y
0
8
Proofs Section 1.1 (Initial results to LF-duality)
Diffractor
2y
0
8
Proofs Section 1.2 (Mixtures, Updates, Pushforwards)
Diffractor
2y
0
1
Allowing a formal proof system to self improve while avoiding Lobian obstacles.
Donald Hobson
3y
4
8
Proofs Section 2.1 (Theorem 1, Lemmas)
Diffractor
2y
0