Mercurial > repo
annotate wisdom/fundamental theorem of taneb @ 6600:6574ac73ed8a
<izabera> ` base64 -d <<< H4sIAAhyqVYCAy2NQQ6CMBRE9z3F+MNCE2zEHQvWXsCdYtLKJxKx39ASMA13F9DVzLzMZGxhJYSWYYptJCd4ScdILPk0u86axqPWeT7RymaRGpa5ox2GgsQhPBiDaVtSY7Gls3kyxDEqGVyKt/EeTYDppHcVgU6CIOvGh+XIuAq2/8DLi9dr2qlaOjRoHGKea32YVCWK7w8BJdFcmvI2IRlS/MKkVRLHy2Z2f7TPyqWgad45/gLSidNX4AAAAA== | zcat > 99
author | HackBot |
---|---|
date | Thu, 28 Jan 2016 01:46:05 +0000 |
parents | 0bcc9899de90 |
children | 8ff66f7e1b79 |
rev | line source |
---|---|
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.
HackBot
parents:
diff
changeset
|
1 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. |