"for every sufficiently powerful consistent axiom system there's a statement that's true but not provable by the system or the system's god"
that's gnodel's theorem
3:41 AM - 4 Aug 2014
0 replies
0 retweets
1 like
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.