Tuesday, April 12, 2011

Source of a quote by Lazlo Babai

I once read the following quote attributed to Lazlo Babai: "What we need are not more theorems, but more proofs." I think that I originally read it on his Wikipedia entry, but the quote is not there anymore.

Can anyone tell me from where the quote originates, assuming my memory is not playing tricks with me? Thanks in advance!

1 comment:

11011110 said...

Someone named Donour added this to the Wikipedia article in 2006. The same person made another edit to Wikipedia only two weeks ago, after three years' silence, so it might not be hopeless to try their user talk page.