Het geheugen is te klein
In het artikel “Computer Use to Computer Proof: A Rational Reconstruction” van de filosoof Thomas Tymoczko (The Two-Year College Mathematics Journal, Vol. 12, No. 2, pp. 120-125, maart 1981) staat een leuke cartoon. Twee wiskundigen staan bij een computer en de ene zegt tegen de andere:
It says it has discovered a very nice proof but its memory is insufficient to hold it.
Een mooie variant op Fermats beroemde uitspraak…
Het bewijs is te klein… at QED on 30 Oct 2007 at 6:40 pm
[...] Weer een mooie parodie op Fermat, en op de wikipagina van Complexity Zoo over NP staat er nog eentje: NP contains P. I’ve discovered a marvelous proof that NP and P are unequal, but this web page is too small to contain it. Too bad, since otherwise I’d be eligible for $1,000,000 [CMI00]. [...]