Tag

Formal Systems

Type

Concepts

Completeness

Computability

Consistency

Godel Incompleteness

Gödel Numbering

Hilbert's Program

Inference Rule

Invariant

Irreducibility

pq-System

Predicate Logic

Propositional Calculus

Quantifier

Self-Reference

String Rewriting

The MU-Puzzle

Typographical Number Theory

Variable

Topics

Aria with Diverse Variations & Topics XIII-XIV — BlooP, FlooP, GlooP and Formally Undecidable Propositions

Birthday Cantatatata & Topics XV-XVI — Jumping Out of the System and Self-Ref and Self-Rep

Chromatic Fantasy & Feud & Topic VII — The Propositional Calculus

Contracrostipunctus & Topic IV — Consistency, Completeness, and Geometry

Crab Canon & Topic VIII — Typographical Number Theory

Introduction — A Musico-Logical Offering

Sonata for Unaccompanied Achilles & Topic III — Figure and Ground

Three-Part Invention & Topic I — The MU-puzzle

Two-Part Invention & Topic II — Meaning and Form in Mathematics

Mathematics Logic Philosophy Self Reference Computability Computation Recursion Semantics Arithmetic Cognitive Science Completeness Consciousness