Re: intuitionism & constructivism (Re: Q in int. math.)

Article View: fj.sci.math

Article #222

#222

From: Hajime Ishihara
Date: Fri, 13 Nov 1992 00:35

19 lines
1417 bytes

$@@P86!wKLN&@h(J$@C<Bg$G$9!#(J

In article <525@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:

   >>$@!V9-$$0UL#$G$N9=@.<g5A!W$H(J
   >>$@!V69$$0UL#$G$N9=@.<g5A!W$N0c$$$H$$$&$N$O(J
   >>$@7?!J=89g!K$rDj5A$9$k$H(J$@$-$K(J
   >>impredicative$@$G$b$h$$$N$+(J
   >>predicative$@$G$J$1$l$P$$$1$J$$$N$+(J
   >>$@$H$$$&$3$H$G$9$+!)(J
   >>
   >>$@$3$3$G(Jpredicative$@$J7?Dj5A$H$O!"$9$G$K$"$k7?$N$_$rMQ$$$F?7$?$J7?$rDj5A$9$k$3$H!#(J
   >>impredicative$@$J7?Dj5A$O!"7?$rF0$/JQ?t$rMQ$$$k$+$i!"(Jpredicative$@$J$b$N$h$j6/NO!#(J

$@!V9-$$!W$H$$$&$N$O;d$,>!<j$K(J$@;H$C$?8@MU$G!"?t3XE*$JDj5A$K$OBP1~$7$F$$$^$;$s!#(J

--
$@@P86(J  $@:H(J : $@KLN&@hC<2J3X5;=QBg3X1!Bg3X(J $@>pJs2J3X8&(J$@5f2J!J>pJsO@M}3X!K(J

Technical Details

Message-ID: <ISHIHARA.92Nov13093507@is15e0s10.jaist-east.ac.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-tyo-news!cs.titech!jaist-news!jaist-news!ishihara

References: <525@keu02.rtri.or.jp>

Show Full Headers

Complete Article Headers

Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-tyo-news!cs.titech!jaist-news!jaist-news!ishihara
From: ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara)
Subject: Re: intuitionism & constructivism (Re: Q in int. math.)
In-Reply-To: shingo@ipc02.rtri.or.jp's message of 12 Nov 92 08: 27:41 GMT
Message-ID: <ISHIHARA.92Nov13093507@is15e0s10.jaist-east.ac.jp>
Lines: 19
Sender: news@jaist-east.ac.jp
Nntp-Posting-Host: is15e0s10
Organization: Japan Advanced Institute of Science and Technology Hokuriku,
 Ishikawa, Japan
References: <525@keu02.rtri.or.jp>
Distribution: fj
Date: Fri, 13 Nov 1992 00:35:07 GMT

Reply to Parent Message