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
3
Programming Languages For AI
Donald Hobson
1mo
4
5
Propositional Logic, Syntactic Implication
Donald Hobson
4mo
1
89
Probability space has 2 metrics
Donald Hobson
4mo
11
6
Allowing a formal proof system to self improve while avoiding Lobian obstacles.
Ω
Donald Hobson
5mo
Ω
4
8
[Question]
Logical inductors in multistable situations.
Donald Hobson
6mo
4
0
Boltzmann Brains, Simulations and self refuting hypothesis
Donald Hobson
7mo
9
10
Quantum Mechanics, Nothing to do with Consciousness
Donald Hobson
7mo
18
26
Clickbait might not be destroying our general Intelligence
Donald Hobson
7mo
13
6
Stop buttons and causal graphs
Donald Hobson
9mo
2
3
The potential exploitability of infinite options
Donald Hobson
1y
2
Donald Hobson's Comments