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

Article View: sci.logic

Article #584

#584

From: Torkel Franzen
Date: Sun, 22 Nov 1992 22:12

11 lines
1149 bytes

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

 >I disagree that most people who use this concept do not need to know or care
 >about formal systems. It may be a pragmatic reality given the way mathematics
 >functions today. I do not think it makes for good mathematics in the long
 >run.

  The "pragmatic reality" of present day mathematics is what my comments
have been about. The mathematics you envisage, which is pretty opaque
to me, may or may not be viable. By all means develop and present it.
I see no point in arguing about hypothetical mathematics.

Technical Details

Message-ID: <TORKEL.92Nov22231254@bast.sics.se>

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

References: <1992Nov17.124233.24312@oracorp.com> <TORKEL.92Nov22115549@echnaton.sics.se> <371@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 22 Nov 92 18:23:51 GMT
Message-ID: <TORKEL.92Nov22231254@bast.sics.se>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
References: <1992Nov17.124233.24312@oracorp.com> <TORKEL.92Nov22115549@echnaton.sics.se>
 <371@mtnmath.UUCP>
Date: Sun, 22 Nov 1992 22:12:54 GMT
Lines: 11

Reply to Parent Message