Re: Q in intutionistic math.

Article View: fj.sci.math

Article #211

#211

From: Hajime Ishihara
Date: Wed, 11 Nov 1992 04:01

17 lines
1722 bytes

$@@P86(J@$@KLN&@hC<Bg$G$9!#(J
	
In article <RYU.92Nov11120712@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:

   >> |$@$3$3$G!"D>4Q<g5A!V(J$@$G!W$H$+D>4Q<g5A!V$r!W$H$$$&$H$-!"$I$s$J!VD>4Q<g5A!W$r(J
   >> |$@;X$7$F$$$k$N$G$7$g$&$+!)(J
   >> |$@;d$O!V9-(J$@$$0UL#$G$N9=@.<g5A!WDxEY$K9M$($F$$$^$7$?!#(J
   >>
   >>$@$=$N!V9-$$0UL#$G$N9=@.<g5A!W$H$$$&$b$N$N@5BN$,!"(J$@%$%a!<%8$,!"$J$s$+A4A3(J
   >>$@DO$a$J$$$s$G$9!#(J
   >>Bishop $@$H$+$rFI$`$7$+$J$$$s$G$7$g$&$+!)(J

Brouwer$@$ND>(J$@4Q<g5A!"(JMarkov$@$N9=@.<g5A$H(JBishop$@$N9=@.E*?t3X$r%$%a!<%8$7$F$$$^$9!#(J

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

Technical Details

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

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

References:

<ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp> <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp> <RYU.92Nov2131119@sysipk.sys.titech.ac.jp> <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp> <RYU.92Nov4105137@sysipk.sys.titech.ac.jp> <ISHIHARA.92Nov5101428@is15e0s10.jaist-east.ac.jp> <RYU.92Nov9095504@sysipk.sys.titech.ac.jp> <ISHIHARA.92Nov11094303@is15e0s10.jaist-east.ac.jp> <RYU.92Nov11120712@sysipk.sys.titech.ac.jp>

Show Full Headers

Complete Article Headers

Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!jaist-news!jaist-news!ishihara
From: ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara)
Subject: Re: Q in intutionistic math.
In-Reply-To: ryu@sys.titech.ac.jp's message of Wed, 11 Nov 1992 03: 07:11 GMT
Message-ID: <ISHIHARA.92Nov11130128@is15e0s10.jaist-east.ac.jp>
Lines: 17
Sender: news@jaist-east.ac.jp
Nntp-Posting-Host: is15e0s10
Organization: Japan Advanced Institute of Science and Technology Hokuriku,
 Ishikawa, Japan
References: <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp>
 <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
 <RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
 <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
 <RYU.92Nov4105137@sysipk.sys.titech.ac.jp>
 <ISHIHARA.92Nov5101428@is15e0s10.jaist-east.ac.jp>
 <RYU.92Nov9095504@sysipk.sys.titech.ac.jp>
 <ISHIHARA.92Nov11094303@is15e0s10.jaist-east.ac.jp>
 <RYU.92Nov11120712@sysipk.sys.titech.ac.jp>
Date: Wed, 11 Nov 1992 04:01:28 GMT

Reply to Parent Message