Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem

Article View: sci.logic

Article #543

#543

From: Torkel Franzen
Date: Thu, 19 Nov 1992 19:10

11 lines
1118 bytes

In article <363@mtnmath.UUCP> paul@mtnmath.UUCP (Paul Budnik) writes:

   >I think we can learn a lot more
   >about the notion of a real number from such research than we can
   >from proving theorems related to the continuum hypothesis.

  I have no objection to your inventing whatever mathematics you are
capable of, on the basis of any ideas whatever. My negative comments
are directed only at the notion that results in logic "show" that second
order non-finitary concepts are not well-defined, or that we can do
without them.

Technical Details

Message-ID: <TORKEL.92Nov19201017@lludd.sics.se>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!sics.se!torkel

References: <1992Nov17.124233.24312@oracorp.com> <TORKEL.92Nov18193457@bast.sics.se> <363@mtnmath.UUCP>

Show Full Headers

Complete Article Headers

Newsgroups: sci.logic
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!sics.se!torkel
From: torkel@sics.se (Torkel Franzen)
Subject: Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
In-Reply-To: paul@mtnmath.UUCP's message of 19 Nov 92 17:53:54 GMT
Message-ID: <TORKEL.92Nov19201017@lludd.sics.se>
Followup-To: sci.logic
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
References: <1992Nov17.124233.24312@oracorp.com> <TORKEL.92Nov18193457@bast.sics.se>
 <363@mtnmath.UUCP>
Date: Thu, 19 Nov 1992 19:10:17 GMT
Lines: 11

Reply to Parent Message