19 Mar
2012
19 Mar
'12
12:07 p.m.
That's why God created graduate students... Who would you rather argue with: 1) an editorial board; 2) a program committee; 3) a computer ? People have largely given up telling other people how to do calculations; by & large, they primarily tell computers how to do this. I suspect that the same thing will happen with many proofs. Look at the 4 color conjecture. Have you gone through all the cases? At 10:16 AM 3/19/2012, Marc LeBrun wrote:
Exactly. So who or what is going to create suitable proofs [*], and how?