Bold claims by @existentialtype: Math arises out of Computer Science, not the other way around.
@andreasdotorg @existentialtype In what sense? There are noncomputational parts of math, after all. Is there a link to the full argument?
-
-
@Plinz Some people here call it intuitionistic propaganda. :) Based on intuitionistic type theory giving rise to proofs as object.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.