Cambridge maths student dph39@cam.ac.uk
Propositional Logic, Syntactic Implication
Probability space has 2 metrics
Allowing a formal proof system to self improve while avoiding Lobian obstacles.Ω
[Question]Logical inductors in multistable situations.
Boltzmann Brains, Simulations and self refuting hypothesis
Quantum Mechanics, Nothing to do with Consciousness
Clickbait might not be destroying our general Intelligence
Stop buttons and causal graphs
The potential exploitability of infinite options