5 ms·
> I am sure within 10 years every professional mathematician will use formal proofs. I'll take that bet. 1:1 odds, up to $50? Shall we say, every mathematician
by matheist 7y ago
> I am sure within 10 years every professional mathematician will use formal proofs.
I'll take that bet. 1:1 odds, up to $50? Shall we say, every mathematician employed at an ivy league university math department (postdoc level or above) has published at least one paper which employs proof checking for at least some claim? (provided that they have published at all.) So I win if I can find at least one professor or postdoc employed at an ivy league university math department on August 18, 2029, who has published at least one mathematics paper, and who has not published any mathematics paper which contains any formal proof.
That's a much weaker claim than yours, so it ought to be pretty generous to you.
- parthpatel1001 7y agoI just wanted to note how precise of a bet this is. I will be stealing the exact definition of conditions and contexts to which the bet applies, to future bets of my own.
- drchewbacca 7y agoYeah ok when you put it as a bet I think I'll back down ha ha :) I imagine there will be hold outs who will never switch to formal proofs, though they may simply take on co-authors who are just "formalizers". I also am probably being over confident with the time scales, I think a process with a tipping point, everyone will use it once everyone starts using it. However when that tipping point will occur is probably hard to predict. I think it will be soon, but I'm broke and not that sure.