01
Part I: GEBChapter 1
The MU-puzzle
Introduction to formal systems. Can you produce MU from MI using 4 rules?
The MU-puzzle is your initiation into the rigid world of Formal Systems. It asks a simple question: Can you reach a specific goal (MU) starting from a given axiom (MI) using only a strict set of rules? This chapter reveals the gap between working inside a system (mechanically applying rules) and looking at the system (reasoning about what the rules can and cannot do).
The MIU-System Simulator
CURRENT THEOREM
MI
GOAL: PRODUCE "MU"