-
This Tweet is unavailable
-
-
This Tweet is unavailable
-
This Tweet is unavailable
-
This Tweet is unavailable
-
This Tweet is unavailable
-
Replying to @ClarkHat
@ClarkHat@PalimpsestMan@maradydd I think the core of the idea is to adapt tools of topology to mathematical proof.1 reply 0 retweets 0 likes -
Replying to @St_Rev
@ClarkHat@PalimpsestMan@maradydd Proof is (in principle) (reducible) a series of connected logical propositions. Connectedness is topology1 reply 0 retweets 0 likes -
Replying to @St_Rev
@ClarkHat@PalimpsestMan@maradydd So the idea is to look at proofs as 'paths' through logical 'space' &...do math to them.1 reply 0 retweets 1 like
@ClarkHat @PalimpsestMan @maradydd Godel doesn't really speak to that approach one way or the other.
9:28 PM - 24 Jul 2015
0 replies
0 retweets
0 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.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.