The Teacher

Lectures

Organization of Knowledge by Formal Systems

Summary

Formal systems are real and objective, but not physical.

• Certainty derives from an interactive process.
• Formal systems deal in patterns, not physical facts.
• Formal investigations are not just derivations in a formal system; they involve observations about formal systems.
• Reflection expands the power of formalism immensely.
• Form is a very important sort of content.

Copyright Michael J. O'Donnell <michael_odonnell@acm.org>. Licensed for free use.
This page is generated from PHP source code, with supporting files.