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

2008-10-20.txt:20:02:38: <psygnisfive> finland is very liberal innit
2010-09-20.txt:19:15:16: <fizzie> Finland is very lacking in the mountains department.
2011-12-15.txt:20:17:39: <itidus21> on a side note, someone in a distant chatroom suggested to me that finland is very depressing and a bit of a gulag
2011-12-15.txt:20:18:20: -!- Gregor changed the topic of #esoteric to: <itidus21> on a side note, [...] finland is very depressing and a bit of a gulag | http://codu.org/logs/_esoteric/
2011-12-17.txt:04:15:18: <Gregor> shachaf: Doesn't matter, I hear Finland is very depressing and a bit of a gulag.
2011-12-17.txt:20:53:37: -!- Gregor changed the topic of #esoteric to: <itidus21> on a side note, [...] finland is very depressing and a bit of a matrix of solidity | http://codu.org/logs/_esoteric/
2011-12-17.txt:21:00:15: <itidus20> `log finland is very
2011-12-17.txt:21:00:43: <HackEgo> 2011-12-15.txt:20:18:20: -!- Gregor changed the topic of #esoteric to: <itidus21> on a side note, [...] finland is very depressing and a bit of a gulag | http://codu.org/logs/_esoteric/
2011-12-17.txt:21:00:53: <itidus20> `pastelogs finland is very