JK%SU-AI@sri-unix.UUCP (02/04/84)
From: Jussi Ketonen <JK@SU-AI> >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.