Go Back
You can't go any further
You can't go any further
meritocratic
regular
democratic
hot
top
alive
4 posts
Domain Theory
7 posts
Formal Proof
25
A Brief Intro to Domain Theory
Diffractor
3y
4
14
Domain Theory and the Prisoner's Dilemma: FairBot
Gurkenglas
1y
5
13
Infra-Domain proofs 1
Diffractor
1y
0
13
Infra-Domain Proofs 2
Diffractor
1y
0
120
Proofs, Implications, and Models
Eliezer Yudkowsky
10y
218
25
Progress on automated mathematical theorem proving?
JonahS
9y
65
19
Formalized math: dream vs reality
cousin_it
13y
10
13
Fundamentals of Formalisation Level 5: Formal Proof
philip_b
4y
0
7
The value of learning mathematical proof
JonahS
7y
42
6
Allowing a formal proof system to self improve while avoiding Lobian obstacles.
Donald Hobson
3y
4
5
Logical inductor limits are dense under pointwise convergence
SamEisenstat
6y
0