From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9069 Path: news.gmane.org!.POSTED!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: Theorem or Paradox Date: Sun, 8 Jan 2017 15:30:12 -0800 Message-ID: References: Reply-To: Vaughan Pratt NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1483921605 1084 195.159.176.226 (9 Jan 2017 00:26:45 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 9 Jan 2017 00:26:45 +0000 (UTC) To: Categories Original-X-From: majordomo@mlist.mta.ca Mon Jan 09 01:26:39 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cQNn8-0006ev-J2 for gsmc-categories@m.gmane.org; Mon, 09 Jan 2017 01:26:26 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:49213) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1cQNmb-0000lG-Ri; Sun, 08 Jan 2017 20:25:53 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1cQNmE-0001SS-Sc for categories-list@mlist.mta.ca; Sun, 08 Jan 2017 20:25:30 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9069 Archived-At: What's in a name? A theorem is only paradoxical when it proves the inconsistency of an otherwise plausible axiom system, for example one that assumes there is a set of all sets with a well-defined cardinality, or Hilbert's conviction that all formally definable problems are solvable, or the "self-evident fact" that a dense linear order has no room to interpolate another number, or that an open cover of the rationals must cover the whole real line (as Pure Maths honours students in 1965 Henry Irgang and I visited Max Kelly in his office after class to express our incredulity), etc. etc. Any of these could have been officially called the such-and-such paradox. Furthermore only some of them involve the Liar Paradox. (I taught a freshman seminar titled "Paradox: Bug or Feature?" many years ago loosely based on Mark Sainsbury's book "Paradoxes". A basic example of "Feature" is recursion, associated with the non-existence of a largest integer. True to form I digressed with topics like surreal numbers and other topics the class expressed interest in. The hardest paradox we encountered was the Surprise Exam paradox where the teacher says there will be an exam next week and it will be a surprise---to the pupils' surprise it was given on Tuesday, contrary to a reasonable-looking argument. None of us succeeded in analyzing it as satisfactorily as the other paradoxes we treated. Sol Feferman taught a similar seminar a couple of years later.) Vaughan Pratt On 01/08/17 4:39 AM, Patrik Eklund wrote: > Since the Incompleteness Theorem uses the Liar Paradox, why is it called > the Incompleteness Theorem and not the Incompleteness Paradox? [For admin and other information see: http://www.mta.ca/~cat-dist/ ]