Tag

Godel

Type

Concepts

Hilbert's Program

Mu

Omega-Incompleteness

Topics

A Mu Offering & Topic IX — Mumon and Gödel

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

Sloth Canon & Topic XX — Strange Loops, Or Tangled Hierarchies

Logic Mathematics Formal Systems Philosophy Zen Completeness Computability Computation Consciousness Consistency Foundations Foundations Of Mathematics