Evidence Directory

Type: kb/types/generated-index.md

← Parent

Subdirectories

• closing/
• initial/
• pass2-closing/
• pass2-initial/

Files

• Full Improvement Pass: Irreducibility to rules bounds text alone, not text plus an interpreter
• Pass: Naur binds program theory to humans through the premise that machines only follow rules