Mercurial > repo

view wisdom/fundamental theorem of taneb @ 9285:8320c9c4620f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<oerjan> learn Umlaut is German for "hum aloud", an important feature of the German language. It is indicated by putting two dots over the vowel of the syllable.
author HackBot
date Sat, 15 Oct 2016 00:04:47 +0000
parents 0bcc9899de90
children 8ff66f7e1b79
line wrap: on
line source

The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is provable that Taneb invented the thing described by S; and, furthermore, that it is provable that there exists a string T that describes a thing that Taneb did not invent.