@edwinbrady take it from me, living in Portland (https://en.wikipedia.org/wiki/Portlandia_(TV_series) …): you need to be selling artisanal, free-range, organic proofs...
-
-
-
@brixen That would explain the reception last time I gave a talk there (in 2006). I should go back some time with a different tactic :).
End of conversation
New conversation -
-
-
@edwinbrady@pozorvlak prove that P != NP and we'll talk. ;) -
@DrMathochist@pozorvlak interestingly, we started at plausibility of machine checked proofs of complexity (seems unlikely for a while...)
End of conversation
New conversation -
-
-
@edwinbrady How much are you charging per proof? - 2 more replies
New conversation -
-
-
@edwinbrady can you not say that it is a chinese room style setup. inside the machine is a tiny mathematician writing proofs... -
@jfdm@edwinbrady doesn't this prove your point that people are hearing it as generation vs checking? - 1 more reply
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.