view paste/paste.8724 @ 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

TERM=linux
http_proxy=http://127.0.0.1:3128
initrd=/usr/bin/../lib/umlbox/umlbox-initrd.gz
HACKENV=/hackenv
mem=256M
PATH=/hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin
PWD=/hackenv
SHLVL=2
HOME=/
_=/usr/bin/env