Article View: sci.logic
Article #592Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem
From: Paul Budnik
Date: Mon, 23 Nov 1992 17:17
Date: Mon, 23 Nov 1992 17:17
18 lines
1431 bytes
1431 bytes
In article <TORKEL.92Nov22231254@bast.sics.se>, torkel@sics.se (Torkel Franzen) writes: > In article <371@mtnmath.UUCP> paul@mtnmath.UUCP (Paul Budnik) writes: > > 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. The issue we were discussing was what questions are properly considered the philosophy of mathematics and which are the substance of mathematics. The pragmatic reality of mathematics at a given time should be largely irrelevant to *how* one makes this separation. I regard mathematical theorems as the substance and interpretation of those theorems and the sets they reference as the philosophy and I consider that all proofs are relative to some formal system, even if the system is not explicitly given. I am not sure what your position is. Paul Budnik
Technical Details
Message-ID:
<374@mtnmath.UUCP>Path:
arc1-ca.pugleaf.net!sparky!uunet!mtnmath!paulReferences:
<1992Nov17.124233.24312@oracorp.com> <TORKEL.92Nov22231254@bast.sics.se>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mtnmath!paul From: paul@mtnmath.UUCP (Paul Budnik) Newsgroups: sci.logic Subject: Re: Do completed infinite totalities exist? Was: Lowneheim-Skolem theorem Message-ID: <374@mtnmath.UUCP> Date: 23 Nov 92 17:17:37 GMT References: <1992Nov17.124233.24312@oracorp.com> <TORKEL.92Nov22231254@bast.sics.se> Organization: Mountain Math Software, P. O. Box 2124, Saratoga. CA 95070 Lines: 18