From newshub.ccs.yorku.ca!newshub.ccs.yorku.ca!oz Mon Jan  6 10:29:57 EST 1992
Article 2431 of comp.ai.philosophy:
Newsgroups: comp.ai.philosophy
Path: newshub.ccs.yorku.ca!newshub.ccs.yorku.ca!oz
>From: oz@ursa.sis.yorku.ca (Ozan Yigit)
Subject: Re: Pour-El and Richards say some things, don't say other things
In-Reply-To: weemba@libra.wistar.upenn.edu's message of 29 Dec 91 17: 32:59 GMT
Message-ID: <OZ.91Dec29170330@ursa.sis.yorku.ca>
Sender: news@newshub.ccs.yorku.ca (USENET News System)
Organization: York U. Student Information Systems Project
References: <1991Dec23.135321.6894@husc3.harvard.edu>
	<1991Dec27.051804.6985@cambridge.oracorp.com>
	<1991Dec27.184248.6939@husc3.harvard.edu>
	<1991Dec28.194855.16543@galois.mit.edu> <61146@netnews.upenn.edu>
Date: Sun, 29 Dec 1991 22:03:30 GMT

weemba@libra.wistar.upenn.edu (Matthew P Wiener) writes:

   Where *does* this mathematical intuition of ours come from?  I don't see
   any TM model that accounts for this.

*What* mathematical intuition? Give an example. Is there a mathematical
statement without proof whose truth is explained simply by mathematical
intuition?

oz


