🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.logic
Article #249

Re: Russell's Paradox (was re: Of apples and their skins)

#249
From: victor yodaiken
Date: Sun, 11 Oct 1992 19:15
20 lines
1667 bytes
In article <1992Oct10.105913.9955@samba.oit.unc.edu> Robert.Vienneau@bbs.oit.unc.edu (Robert Vienneau) writes:
>In short, I find most engineers and mathematicians (!) are sleepwalking.
>They think there some's basis for their manipulations, and they think
>they know what they're doing. On the other hand, specialists in logic
>and set theory have been producing a century's worth of unreadable technical
>monographs showing that the practitioners have no understandable basis
>for their practice. Is something drastically wrong here? Am I right
>to feel uncomfortable? Is the current situation unsubstainable?

Most engineers and mathematicians use mathematical principles which may
be tested against observed reality, so they don't have to worry about
post-facto validation of their deductive methods.  The language
of mathematics, like other human languages, seems to elude simple reduction
to a set of axioms and mechanical productions.  Why should this 
distress anyone?

-- 


yodaiken@chelm.cs.umass.edu
Technical Details
Message-ID: <54585@dime.cs.umass.edu>
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!doc.ic.ac.uk!agate!spool.mu.edu!sol.ctr.columbia.edu!hamblin.math.byu.edu!news.byu.edu!news.mtholyoke.edu!nic.umass.edu!dime!chelm.cs.umass.edu!yodaiken
References: <1992Oct9.155935.18205@guinness.idbsu.edu> <1992Oct10.011243.16219@husc3.harvard.edu> <1992Oct10.105913.9955@samba.oit.unc.edu>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!doc.ic.ac.uk!agate!spool.mu.edu!sol.ctr.columbia.edu!hamblin.math.byu.edu!news.byu.edu!news.mtholyoke.edu!nic.umass.edu!dime!chelm.cs.umass.edu!yodaiken
From: yodaiken@chelm.cs.umass.edu (victor yodaiken)
Newsgroups: sci.logic
Subject: Re: Russell's Paradox (was re: Of apples and their skins)
Message-ID: <54585@dime.cs.umass.edu>
Date: 11 Oct 92 19:15:12 GMT
References: <1992Oct9.155935.18205@guinness.idbsu.edu> <1992Oct10.011243.16219@husc3.harvard.edu> <1992Oct10.105913.9955@samba.oit.unc.edu>
Sender: news@dime.cs.umass.edu
Organization: University of Massachusetts, Amherst
Lines: 20