WORKSPACE 01
Theorem Proving
Keep the original target, every open obligation, and each proof attempt in view. Keep the original target and open obligations in view as you explore and compare proof attempts.
Explore a theoremPROBABILISTIC DELIBERATION MACHINE
Explore the possibilities.
Keep the evidence.
A workspace for difficult questions. Construct alternative approaches, challenge their assumptions, and follow the evidence to a result you can inspect.
WORKSPACE 02
General Deliberation
Compare hypotheses and algorithms, run bounded experiments, and retain the objections that a polished answer might hide.
Investigate a questionConfidence guides search. Evidence supports conclusions.
Watch ideas branch, test each path, and see how the strongest answer takes shape.