From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!sun-barr!news2me.ebay.sun.com!exodus.Eng.Sun.COM!orfeo.Eng.Sun.COM!silber Tue Apr  7 23:24:04 EDT 1992
Article 4910 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!cs.utexas.edu!sun-barr!news2me.ebay.sun.com!exodus.Eng.Sun.COM!orfeo.Eng.Sun.COM!silber
>From: silber@orfeo.Eng.Sun.COM (Eric Silber)
Newsgroups: comp.ai.philosophy
Subject: Ahah! Behold the prime in the quark ! ( was Re: ai )
Keywords: ai,realism,Goedel,platonism
Message-ID: <ktpp6bINNlmb@exodus.Eng.Sun.COM>
Date: 3 Apr 92 23:05:47 GMT
References: <atten.702298596@groucho.phil.ruu.nl> <ktp7d0INNgna@exodus.Eng.Sun.COM> <1992Apr3.200218.26197@guinness.idbsu.edu>
Organization: Sun Microsystems, Mt. View, Ca.
Lines: 18
NNTP-Posting-Host: orfeo

In article <1992Apr3.200218.26197@guinness.idbsu.edu> holmes@opal.idbsu.edu (Randall Holmes) writes:
...
>	The underlying problem is the notion that truths of logic and
>mathematics are "constraints on our minds".  I don't think that these
>subjects actually have anything to do with psychology at all.  (From
>my standpoint, Godel is making the same mistake in referring to
>"possibilities of _thought_[my italics]").  I maintain that truths of
                                             ^^^^^^^^^^^^^^^^^^^^^^^^^
>logic and mathematics govern the possible arrangements of objects,
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>properties and relations in all domains.   .....
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 Ahah! Your response goes to my point about what mathematical realists
 must prove, viz. you assert the primacy of the existence
 of mathematical objects, their primacy over all other domains including
 the "physical", it remains only for some ambitious mathematician/cosmologist
 to probe deeply enough into a quark to find a prime number !!!!!!!


