lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

>Which integration is that? (how can it 
>both be claimed *and* undocumented?) 

When Pierre de Fermat wrote a marginal note in 1637 that he had proved what we now call “Fermat’s Last Theorem” but that the margin was too small to contain it...

...that was a claim.

When Sir Andrew Wiles published an actual proof in 1995, after an interlude of a mere 350 years...

...that was documentation!