From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3170 Path: news.gmane.org!not-for-mail From: "Robert J. MacG. Dawson" Newsgroups: gmane.science.mathematics.categories Subject: Re: One-stop version of my postings Date: Mon, 27 Mar 2006 09:56:58 -0400 Message-ID: References: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019134 7550 80.91.229.2 (29 Apr 2009 15:32:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:32:14 +0000 (UTC) To: cat group Original-X-From: rrosebru@mta.ca Tue Mar 28 19:01:40 2006 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 28 Mar 2006 19:01:40 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1FON4n-0005tu-HV for categories-list@mta.ca; Tue, 28 Mar 2006 18:54:13 -0400 User-Agent: Mozilla Thunderbird 1.0.2 (Windows/20050317) X-Accept-Language: en-us, en In-Reply-To: Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 116 Original-Lines: 15 Xref: news.gmane.org gmane.science.mathematics.categories:3170 Archived-At: Vaughan Pratt wrote: > Robert J. MacG. Dawson wrote: > >> ...fatally flawed. (Why do the circles in Euc.I.1 intersect? None of his >> axioms assert that any pair of circles whatsoever do so.) > > > In axiomatic mathematics, everything that is not forbidden is permitted. Yes, in a sense... but theorems along the lines of "there exists a model of X such that Y" were a long, long way in the future -Robert