Here is a link to Fermat's last Theorem:

http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Fermat's_last_theorem.html

Here is the link to show that a computer verified Wiles' proof:

http://www.cs.rug.nl/~wim/fermat/wilesEnglish.html

Here is a connection between proof theory and programming:

http://www.ercim.org/publication/Ercim_News/enw23/galmiche.html

Here is some more information of our man Wiles

1. This is an interview of him with NOVA:

http://www.pbs.org/wgbh/nova/proof/wiles.html

2. Here is some information on when he won the Cole Prize in 1997 (with a little biography):

http://www.ams.org/notices/199703/comm-cole.pdf

3. Here is article on Wiles with the New York Times:

http://query.nytimes.com/gst/fullpage.html?res=9F0CE1DB1E31F93AA15755C0A965958260

4. More information on Wiles:

http://www.simonsingh.net/Andrew_Wiles.html

Andrew Wiles aged ten years, when he first encountered Fermat's Last Theorem (4).

Here is a picture of Wiles when he revealed that he proved Fermat's Last Thereom:

(Image from http://plus.maths.org/issue10/features/proof4/wiles.jpg)

The beginning of our long journey....

We are interested in researching the work of Andrew Wiles. He is the mathematician who proved Fermat's Last Theorem in 1995. He thought that he proved it before then but he was later shown his mistake in the proof.

Here is a biography of Wiles:
http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Wiles.html

This is a site to give a little insight on Fermat's Last Theorem:
http://en.wikipedia.org/wiki/Fermat

First Post

here we are!