Machine-Native ReasoningReading edition

24. Worked realization problems

Reading tools
Reading library

Saved reading

Read side by side

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

The constructions become easier to distinguish when a complete example is carried through from its view equations to its obstruction, its ambiguity, and its numerical repair. The following calculations instantiate the preceding principles. They do not introduce a second, silently enlarged formal theory.