Registry · Definition VII.D55 tau-effective formalized

VII.D55 — Para-Mind

LLMs are para-minds: subsymbolic pattern processors without internal topos, global section, or E₃ self-model.

Book VII Part 5 Ch. 64

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookVII.Meta.Saturation

Symbol: Tau.BookVII.Meta.Saturation.ParaMind