“The beginning of wisdom is to call things by their proper name” (Confucius); “magic consists in this, the true naming of a thing.” (LeGuin)
Conversation
Replying to
OTOH: Feynman: "there is a diff between knowing a thing and knowing the name of a thing." But maybe "true name" computation is NP-hard
3
8
16
Replying to
A true name seems sort of like the number of an algorithm for Gödel's Incompleteness Theorem: it holds the whole essence.
1
5
Replying to
Doesn't the Godel number of a proposition depend on the specific encoding?
1
1
Replying to
It depends on the encoding...maybe the "truthiest" true names stem from the tersest encoding?
The magical type encodes future & past.
1
1
Replying to
. If I recall my Chatin's omega stuff, the "tensest encoding" of the enumeration algorithm should be undecidable?
Replying to
Sounds plausible, but I work several abstraction layers down from all that stuff (I make wafer processing equipment).
1

