[FOM] Logic and Fibonacci

[H. Enderton]

John Baldwin wrote:
>In, _Algebra in Ancient and Modern Times, _ V.S. Varadarajan writes on 
>page 50:
>They (Fibonocci numbers) remained as curiousities till in the 1960's 
>they were found to be crucial in certain studies in mathematical logic.
>Does any know what he is referring to?

Yes, he refers to Matiyasevich.  It was the redemption of Fibonacci
numbers.  Matiyasevich's result was first published in 1970, so
"the 1960's" is close enough.

--Herb Enderton