From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!wupost!uwm.edu!csd4.csd.uwm.edu!markh Mon Jan  6 10:30:00 EST 1992
Article 2437 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!wupost!uwm.edu!csd4.csd.uwm.edu!markh
>From: markh@csd4.csd.uwm.edu (Mark William Hopkins)
Newsgroups: comp.ai.philosophy
Subject: Re: Pour-El and Richards say some things, don't say other things
Message-ID: <1991Dec30.123015.26989@uwm.edu>
Date: 30 Dec 91 12:30:15 GMT
References: <1991Dec28.194855.16543@galois.mit.edu> <61146@netnews.upenn.edu> <OZ.91Dec29170330@ursa.sis.yorku.ca>
Sender: news@uwm.edu (USENET News System)
Organization: Computing Services Division, University of Wisconsin - Milwaukee
Lines: 6

In article <OZ.91Dec29170330@ursa.sis.yorku.ca> oz@ursa.sis.yorku.ca (Ozan Yigit) writes:
>*What* mathematical intuition? Give an example. Is there a mathematical
>statement without proof whose truth is explained simply by mathematical
>intuition?

Well yes: the consistency of mathematics.


