Язык узловых диаграмм оказывается полезным для представления
нестандартных множеств и формальной комбинаторной логики.
Contents
Introduction
Sets, knots, recursions
Knot set theory
Arrow Epistemology
Lambda calculus and topology
Interlock algebra
The LD-Magma
On Godel's Theorem
Quantum Knots and Topological Quantum Field Theory
Knot and circuits
Logic and circuit design - Knot Automata
Pregeometry
Introduction
Sets, knots, recursions
Knot set theory
Arrow Epistemology
Lambda calculus and topology
Interlock algebra
The LD-Magma
On Godel's Theorem
Quantum Knots and Topological Quantum Field Theory
Knot and circuits
Logic and circuit design - Knot Automata
Pregeometry