Book XXXIII

Rung 33 on the floor ladder: noncommutative geometry. The Lean file book33/Noncommutative.lean is not written.

Source held: Connes and Marcolli, 705 pages (kept outside the repository). Planning notes and tests:

• Planning note on holology as a logic
• Test of operator properties
• Test of Baaz semantics on the radial toy

A title, a scope and chapters. Those are the author’s to set.