29 Apr
2013
29 Apr
'13
11:38 a.m.
I never saw what the big deal was about this computer proof. For many years before 1976, computers had been the only entities that were capable of verifying the primality of large Mersenne numbers. Bob Baillie