Mercurial > repo
view paste/paste.24186 @ 5859:0bcc9899de90
<tswett> le/rn fundamental theorem of Taneb/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.
author | HackBot |
---|---|
date | Wed, 22 Jul 2015 15:27:49 +0000 |
parents | e037173e0012 |
children |
line wrap: on
line source
? ais523 augur banach-tarski c cakeprophet category coppro egobot elliott esoteric everyone finland finns fizzie flower friendship functor fungot glogbot gregor hackego haskell ievan intercal itidus20 itidus21 kallisti lifthrasiir mad misspellings of croissant monad monads monoid monqy ngevd nooga oerjan oklopol phantom___hoover phantom__hoover phantom_hoover php qdb qdbformat quine sgeo shachaf taneb u vorpal welcome wiki you zzo38