view wisdom/fundamental theorem of taneb @ 7137:59c9be91adcd

<oerjan> mkx bin/slashlearn//sep="/"; [[ "$0" == *//* ]] && sep="//"; [[ "$1" == ?*"$sep"* ]] || exit 1; key="$(echo "${1%%$sep*}" | lowercase)"; value="${1#*$sep}"; [ -e "wisdom/$topic" ] && verb="Relearned" || verb="Learned"; echo "$value" > "$(echo-p "wisdom/$key")" && echo "$verb \xc2\xab$key\xc2\xbb"
author HackBot
date Sun, 06 Mar 2016 16:48:02 +0000
parents 0bcc9899de90
children 8ff66f7e1b79
line wrap: on
line source

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.