Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!harpo!seismo!hao!hplabs!sri-unix!JK@SU-AI
From: JK%SU-AI@sri-unix.UUCP
Newsgroups: net.ai
Subject: Fermat and decidability
Message-ID: <16608@sri-arpa.UUCP>
Date: Sat, 4-Feb-84 12:27:00 EST
Article-I.D.: sri-arpa.16608
Posted: Sat Feb  4 12:27:00 1984
Date-Received: Wed, 15-Feb-84 06:36:37 EST
Lines: 5

From:  Jussi Ketonen 

>From the logical point of view, Fermat's last theorem is a Pi-1
statement. It follows that it is decidable. Whether it is valid
or not is another matter.