Start from \((a,b,c)=(1,3,2)\). The first display is four. The base record is \((s,b)=(4,3)\). Apply \(H\), then \(W\), then the newly admitted \(J\).
Machine-Native ReasoningReading edition
MU: additional mathematical material
Reading tools
Reading library
Text settings
Saved in this browser for reading chapters. Browser zoom also works.
Loading chapter…