Machine-Native ReasoningReading edition

MU: additional mathematical material

Reading tools
Reading library

Saved reading

Read side by side

Loading chapter…
Resources & source
PDF and editable source · Chapter source · About this edition

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\).