1) Yr audience is programmer-heavy, and they are going to pattern-match on Curry-Howard--they *know*, or 'know', they're doing math!
-
-
-
It's a false dichotomy even at that level--programs/proofs are a form of highly constrained storytelling (http://st-rev.livejournal.com/395798.html )
-
2) But that's not even what you want to talk about, so by leading with that dichotomy you're hamstringing yourself out of the gate.
-
Yes… I plead the 140 character limit, and the offhandedness of Twitter. Your recommendations seem well-advised & I’ll heed them in longform
End of conversation
New conversation -
-
-
"are the rules of chess correct?" "huh?" "do they represent the way chess really is?"
-
sounds ridiculous in this form, but people (platonists?) ask this about math/physics etc sometimes.
-
is cartography also a kind of ruleset/game, I wonder?
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.