[FOM] Logic and Fibonacci

[Richard Zach]

Matijasevic used the Fibonacci sequence to show that the  exponentiation
relation is Diophantine, thus filling the last gap in the solution to
Hilbert's Tenth Problem.  Martin, I'm sure, will provide details if
needed.

Yours,
Richard

On Thu, 2004-01-08 at 16:36, John T. 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?
> 
> 
> ______________________________________________________________________
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
-- 
Richard Zach ...... http://www.ucalgary.ca/~rzach/
Assistant  Professor,   Department  of  Philosophy
University of Calgary, Calgary, AB T2N 1N4, Canada