view paste/paste.3017 @ 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 89a770529cd0
children
line wrap: on
line source

2012-04-03.txt:22:00:29: <shachaf> That sounds dangerous.
2012-07-16.txt:21:34:42: <shachaf> oerjan: That sounds dangerous.
2012-10-14.txt:22:57:00: <shachaf> That sounds dangerous.
2013-01-23.txt:05:30:28: <shachaf> Computer overflow? That sounds dangerous.
2013-02-17.txt:00:52:44: <shachaf> that sounds dangerous
2013-02-23.txt:23:21:33: <shachaf> sounds dangerous
2013-06-02.txt:22:49:02: <shachaf> sounds dangerous
2013-06-12.txt:01:55:27: <shachaf> Electronic mail? That sounds dangerous.
2013-06-12.txt:01:55:59: <shachaf> `pastelogs shachaf.*sounds dangerous