Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!bloom-beacon!HUBCAP.CLEMSON.EDU!steve
From: steve@HUBCAP.CLEMSON.EDU
Newsgroups: comp.ai.digest
Subject: Philosophy of mathematics references
Message-ID: <19880828002558.8.NICK@HOWARD-JOHNSONS.LCS.MIT.EDU>
Date: 28 Aug 88 00:25:00 GMT
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 30
Approved: ailist@ai.ai.mit.edu

From: steve@hubcap.clemson.edu
Date: Wed, 24 Aug 88 08:22 EDT
To: comp-ai-digest@gatech.gatech.edu
Responding-System: hubcap.UUCP
Path: hubcap!steve
From: "\"Steve\" Stevenson" <steve@hubcap.UUCP>
Newsgroups: comp.ai.digest,comp.theory,sci.math,sci.logic,sci.philosophy.meta,sci.philosophy.tech,sci.physics
Subject: Philosophy of mathematics references
Keywords: logic, mathematical truth, proof, philosophy of mathematics,
Date: Wed, 24 Aug 88 08:22 EDT
Organization: Clemson University, Clemson, SC
Lines: 17

I am trying to prepare an article which relates computer science's use of
logic with the ground rules set down for mathematics by both the
philosophers and logicians.  I would like to know your favorite references
to this topic.

Other topics of interest would be ``nonstandard'' systems and their rules
(e.g., stochastic, quantum) or viewpoints (e.g., connectionist).

Please send direct as I do not monitor many of the groups this request seems
appropriate for.


I will summarize and post.  Thanks.
-- 
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906