This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
LESSWRONG
Donald Hobson
LW
Login
Donald Hobson
Cambridge maths student
dph39@cam.ac.uk
Sequences
Logical Counterfactuals and Proposition graphs
Assorted Maths
Donald Hobson's Posts
Sorted by New
6
Logical Counterfactuals and Proposition graphs, Part 3
Ω
Donald Hobson
1mo
Ω
0
15
Logical Counterfactuals and Proposition graphs, Part 2
Ω
Donald Hobson
2mo
Ω
0
12
Logical Optimizers
Ω
Donald Hobson
2mo
Ω
4
23
Logical Counterfactuals and Proposition graphs, Part 1
Ω
Donald Hobson
2mo
Ω
0
3
Programming Languages For AI
Donald Hobson
5mo
5
6
Propositional Logic, Syntactic Implication
Donald Hobson
8mo
1
90
Probability space has 2 metrics
Donald Hobson
8mo
11
6
Allowing a formal proof system to self improve while avoiding Lobian obstacles.
Ω
Donald Hobson
9mo
Ω
4
8
[Question]
Logical inductors in multistable situations.
Donald Hobson
9mo
4
0
Boltzmann Brains, Simulations and self refuting hypothesis
Donald Hobson
1y
9
Donald Hobson's Comments