view wisdom/certainty @ 11184:71dde00b9899

<mroman> slashlearn turing machine//A turing machine is a machine that turs.
author HackBot
date Sat, 02 Sep 2017 19:23:22 +0000
parents f73b64ab4442
children
line wrap: on
line source

We don't know what certainty is for sure, but we have certainty that it isn't a functor.