[FOM] Logic and Fibonacci
hbe at math.ucla.edu
Thu Jan 8 18:48:41 EST 2004
John Baldwin wrote:
>In, _Algebra in Ancient and Modern Times, _ V.S. Varadarajan writes on
>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.
More information about the FOM