A model of computation in which ZF+Con(ZF) proves all programs halt and every computable function that ZF proves is total can be implemented
10:38 PM - 9 Jun 2017
0 replies
2 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.