“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
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
Show replies
Replying to
1
1
3

