Go Back
Choose this branch
Choose this branch
meritocratic
regular
democratic
hot
top
alive
11 posts
Logic & Mathematics
Futarchy
10 posts
Domain Theory
Formal Proof
39
Hessian and Basin volume
Vivek Hebbar
5mo
9
41
The Promise and Peril of Finite Sets
davidad
1y
4
93
Zoom In: An Introduction to Circuits
evhub
2y
11
69
Recent Progress in the Theory of Neural Networks
interstice
3y
9
44
Probability as Minimal Map
johnswentworth
3y
10
49
Complete Class: Consequentialist Foundations
abramdemski
4y
34
26
When Goodharting is optimal: linear vs diminishing returns, unlikely vs likely, and other factors
Stuart_Armstrong
3y
18
21
The Reasonable Effectiveness of Mathematics or: AI vs sandwiches
Vanessa Kosoy
2y
8
28
No surjection onto function space for manifold X
Stuart_Armstrong
3y
0
4
Towards a Formalisation of Logical Counterfactuals
Bunthut
2y
2
4
Futarchy Fix
abramdemski
5y
0
16
Infra-Domain proofs 1
Diffractor
1y
0
16
Infra-Domain Proofs 2
Diffractor
1y
0
21
A Brief Intro to Domain Theory
Diffractor
3y
4
8
Proofs Section 1.1 (Initial results to LF-duality)
Diffractor
2y
0
8
Proofs Section 1.2 (Mixtures, Updates, Pushforwards)
Diffractor
2y
0
8
Proofs Section 2.1 (Theorem 1, Lemmas)
Diffractor
2y
0
8
Proofs Section 2.2 (Isomorphism to Expectations)
Diffractor
2y
0
8
Proofs Section 2.3 (Updates, Decision Theory)
Diffractor
2y
0
6
Logical inductor limits are dense under pointwise convergence
SamEisenstat
6y
0
1
Allowing a formal proof system to self improve while avoiding Lobian obstacles.
Donald Hobson
3y
4