@ClarkHat @PalimpsestMan @maradydd I think the core of the idea is to adapt tools of topology to mathematical proof.
-
-
@ClarkHat@PalimpsestMan@maradydd Proof is (in principle) (reducible) a series of connected logical propositions. Connectedness is topology -
@ClarkHat@PalimpsestMan@maradydd So the idea is to look at proofs as 'paths' through logical 'space' &...do math to them. -
@ClarkHat@PalimpsestMan@maradydd Godel doesn't really speak to that approach one way or the other.
End of conversation
New conversation -
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.