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
Assorted Maths
Donald Hobson's Posts
Sorted by New
11
Logical Optimizers
Ω
Donald Hobson
2d
Ω
4
18
Logical Counterfactuals and Proposition graphs, Part 1
Ω
Donald Hobson
2d
Ω
0
3
Programming Languages For AI
Donald Hobson
3mo
5
6
Propositional Logic, Syntactic Implication
Donald Hobson
6mo
1
89
Probability space has 2 metrics
Donald Hobson
7mo
11
6
Allowing a formal proof system to self improve while avoiding Lobian obstacles.
Ω
Donald Hobson
7mo
Ω
4
8
[Question]
Logical inductors in multistable situations.
Donald Hobson
8mo
4
0
Boltzmann Brains, Simulations and self refuting hypothesis
Donald Hobson
9mo
9
11
Quantum Mechanics, Nothing to do with Consciousness
Donald Hobson
9mo
19
26
Clickbait might not be destroying our general Intelligence
Donald Hobson
9mo
13
Donald Hobson's Comments