From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1283 invoked by alias); 12 Apr 2012 21:48:39 -0000 Received: (qmail 1242 invoked by uid 22791); 12 Apr 2012 21:48:37 -0000 X-SWARE-Spam-Status: No, hits=-5.0 required=5.0 tests=AWL,BAYES_00,DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,KHOP_RCVD_TRUST,KHOP_THREADED,RCVD_IN_DNSWL_LOW,RCVD_IN_HOSTKARMA_YE X-Spam-Check-By: sourceware.org Received: from mail-ob0-f175.google.com (HELO mail-ob0-f175.google.com) (209.85.214.175) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 12 Apr 2012 21:48:22 +0000 Received: by obbuo13 with SMTP id uo13so3727906obb.20 for ; Thu, 12 Apr 2012 14:48:21 -0700 (PDT) MIME-Version: 1.0 Received: by 10.182.51.73 with SMTP id i9mr5351103obo.17.1334267301452; Thu, 12 Apr 2012 14:48:21 -0700 (PDT) Received: by 10.182.92.168 with HTTP; Thu, 12 Apr 2012 14:48:21 -0700 (PDT) In-Reply-To: <4F874C29.1030906@adacore.com> References: <4F86E8FE.20407@adacore.com> <4F86EACE.9070301@gmail.com> <4F86EE3F.3050804@gmail.com> <4F86F1C9.3070505@adacore.com> <4F86F5B0.2020207@adacore.com> <4F874161.7060406@gmail.com> <4F874B70.9080307@adacore.com> <4F874C29.1030906@adacore.com> Date: Thu, 12 Apr 2012 21:48:00 -0000 Message-ID: Subject: Re: RFC: -Wall by default From: Gabriel Dos Reis To: Robert Dewar Cc: Dave Korn , Jonathan Wakely , gcc@gcc.gnu.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-IsSubscribed: yes Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2012-04/txt/msg00539.txt.bz2 On Thu, Apr 12, 2012 at 4:42 PM, Robert Dewar wrote: > On 4/12/2012 5:40 PM, Gabriel Dos Reis wrote: > >> It isn't non-sense just because you decide so or you don't like the >> observation. >> >>> =A0and >>> nonsense now, this has nothing to do with incompleteness! > > > I think you don't know what incompleteness is about, yes, it is Do not allow yourself to be easily confused by misunderstanding of Geodelization, a *process* of assigning numbers to entities http://demonstrations.wolfram.com/Goedelization/ http://en.wikipedia.org/wiki/Turing%27s_proof and make statement only in terms of those numbers and the incompleteness theorems themselves, lest you might give the impression that you do not know what you are talking about and all you need as evidence of target of your message is to look in mirror. -- Gaby > nonsense, because no one can make any sense out of it except you > and you refuse to elaborate or explain beyond just repeating > the observation. Feel free to explain. >>>> >>>> >>>> >>>> -- Gaby >>> >>> >>> >