Fw: An All/Nothing multiverse model

From: Stephen Paul King <stephenk1.domain.name.hidden>
Date: Fri, 3 Dec 2004 15:33:05 -0500

Dear Bruno,

    How is the "trueness" of members of this "theory" (of all "true
arithmetical sentences) given? By fiat?

Kindest regards,

Stephen

----- Original Message -----
From: "Bruno Marchal" <marchal.domain.name.hidden>
To: <everything-list.domain.name.hidden>
Sent: Friday, December 03, 2004 8:03 AM
Subject: Re: An All/Nothing multiverse model


> At 15:49 01/12/04 -0500, Hal Ruhl wrote:
>>the All is internally inconsistent since it is complete.
>
> I have a counter-example: take the following theory: All
> true arithmetical sentences. This is complete and yet consistent.
> Gödel's theorem applies only on axiomatizable (or mechanically
> generable) theory.
>
> Bruno
>
> http://iridia.ulb.ac.be/~marchal/
>
>
Received on Fri Dec 03 2004 - 15:38:35 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:10 PST