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.