@_Hurlock_ @AimlessGromar The basic insight is crucial -- mathematics is not reducible to logic.
@_Hurlock_ @AimlessGromar Gödel and Turing have buried the logicist project definitively. (Posthumous Kant victory.)
2:10 AM - 14 Oct 2014
0 replies
0 retweets
2 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.