Article View: fj.sci.math
Article #14301Re: Q in intutionistic math.
From: Satoshi Kobayashi
Date: Thu, 26 Nov 1992 08:46
Date: Thu, 26 Nov 1992 08:46
53 lines
4076 bytes
4076 bytes
$@$A$g$C$H$:$D$7$+%U%)%m!<$G$-$J$$$N$G%U%)%m!<$,CY$l$F$7$g(J$@$&$,$J$$(J
$@>.NSAo(J@$@N6C+Bg3X$G$9!#CfEg$5$s!"$4$V$5$?$7$F$^$9!#(J
In article <NAKASHIM.92Nov20132945@uranus.etl.go.jp> nakashim@etl.go.jp (Hideyuki Nakashima) writes:
|In article <SATOSHI.92Nov5173636@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:
|
|
| $@8=:_!"K\Ev$K!V<+J,(J$@$N<g5A!W$H$7$FD>4Q<g5AE*?t3X$r$d$C$F$$$k?M(J
| $@$O$[$H$s$I$$$^$;$s!#(J(3$@?M$0$i$$$H$$$&@b$"$j!#(J)$@BgH>$N?M(J$@$OLLGr(J
| $@$$$+$i8&5fBP>]$H$7$F$d$C$F$$$k$N$G$9!#(J
|
|$@$=$&$J$N$G$9$+!%7W;;5!20$K$O!HEv$?$jA0$N?t3X!I(J$@$K;W$($k$N$G$9$,!%(J
$@$=$&$$$&0U8+$rJ9$/$H$&$l$7$/$J$j$^$9$M!#;d$bEv$?$jA0$N?t3X$@$H;W$C$F$$(J
$@$^$9!#:Y$+(J$@$$$3$H$r8@$&$H!"(JBishop $@N.$N9=@.E*?t3X$K4X$9$k8B$j!"Ev$?$jA0(J
$@$N?t3X$K8+$($^$9!#B>$NN.57$K4X$7$F$O(J(Brouwer $@N.$J$I(J)$@!"Ev$?$jA0$+$I$&$+(J
$@$o$+$j$^$;$s$,!#(JBishop $@N.$N$@$H!">ZL@$G$-$?$3$H$O8EE5O@M}>e$N?t3X$G$b(J
$@@5(J$@$7$$$G$9$7!#$^$?!"9=@.E*?t3X$G$O!"O@M}5-9f$N0UL#$r(J algorithmic $@$K$H(J
$@$i$($k$o$1$G$9$,!"$3$l$O7W;;5!20$K(J$@$H$C$F$O(J($@47$l$F$7$^$($P(J)$@A4$/<+A3$G!"(J
$@$b$C$H$b$i$7$$$b$N$@$H;W$$$^$9!#(JP or not P $@$r0lHL$K$OG'$a$J$$!"$H(J$@$$$&(J
$@$N$O!"$I$N(J P $@$KBP$7$F$b(J P $@$+(J not P $@$+$rH=Dj$7$F$_$;$k$h$&$J0lHLE*$J%"(J
$@%k%4%j%:%`$O$J$$!"$H$$$&$@(J$@$1$J$N$G!"$b$C$H$b$i$7$$$G$9$h$M!#(J
($@$G$b;d$O!"IaDL$N(J ZFC $@$_$?$$$J=j$G;E;v$r$9$k$3$H$b$$$/$i$G$b$"$C$F(J$@!"$=(J
$@$&$$$&;~$OF,$,!V8EE5O@M}$,Ev$?$jA0!W%b!<%I$K$J$j$^$9$1$I(J :-))
$@$$$o$f$k=c?h?t3X$r$d$C$F$$$k$h$&$J(J$@?M$K!V9=@.E*?t3X$H$$$&$N$OJ?$?$/8@$((J
$@$P$A$c$s$H7W;;$G$-$k$h$&$J$b$N$@$1$rAj<j$K$9$k$h$&$J?t3X$J$s$G$9(J$@!W$H@b(J
$@L@$9$k$H!"B?$/$N>l9g!"!V$=$s$J$N$G$^$H$b$K?t3X$,$G$-$k$s$G$9$+(J?$@!W$H$$(J
$@$&H?1~$,JV$C$F$-$^$9!#$H(J$@$3$m$,!"$"$k;~J*M}$N@lLg2H$KF1$8$h$&$J@bL@$r$7(J
$@$?$i!"!V$=$&$$$&Iw$K$9$k$HIaDL$N?t3X$H$I$&JQ$o$k$s$G$9(J$@$+(J?$@$[$H$s$IJQ$o(J
$@$i$J$$$s$8$c$J$$$G$9$+(J?$@!W$HJ9$+$l$F6C$-$^$7$?!#?t3X20$5$s$H$=$l0J30$N(J
$@?M$N?t3X$KBP$9$k(J$@8+J}$OAjEv$K0c$&$h$&$G$9!#J*M}0J30$G$b!"9)3X$H$+!"7W;;(J
$@5!$H$+$r$d$C$F$k?M$K9=@.E*?t3X$NOC$r$9$k$H!"3d(J$@$H$"$C$5$j<u$1F~$l$F$b$i(J
$@$($k;v$,B?$$$h$&$K;W$$$^$9!#!VHs9=@.E*$JB8:_DjM}$J$s$F!"KM$i$N;E;v$NLr(J
$@$KN)$?(J$@$J$$$b$s!W$H8@$o$l$?J}$b$"$j$^$7$?!#(J
$@$H$3$m$G!"$A$g$C$HJdB-$H8@$&$+!"D{@5$J$s$G$9$,!">e$G(J
| $@$O$[(J$@$H$s$I$$$^$;$s!#(J(3$@?M$0$i$$$H$$$&@b$"$j!#(J)$@BgH>$N?M$OLLGr(J
^^^^^^^^^^^^^^^^^^^^^^
$@$H=q$$$F$^$9$1$I!"$=$N@b$H8@$&$N$O!"(JBrouwer $@N.$r?4$NDl$+$i?.Jt$7$F$$$k(J
$@$h$&$J?M$N?t$,(J3$@?M$0$i$$$H(J$@$$$&$N$@$C$?$H;W$$$^$9!#(JBishop $@N.$_$?$$$J$N$@(J
$@$H$b$C$H$$$k$+$bCN$l$^$;$s!#(JMarkov $@N.$@$C$?$i!"5l%=O"$"(J$@$?$j$K>/$7$O$$(J
$@$k$+$bCN$l$J$$!#$G$b!"2?$K$7$F$b!"65>r<g5AE*$J46$8$G$d$C$F$$$k?M$O>/$J(J
$@$$$s$8$c$J$$$+$H(J$@;W$$$^$9!#(J
--
$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(J $@>.NS(J $@Ao(J
satoshi@whale.ryukoku.ac.jp
0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
0775-43-7524(FAX)
Technical Details
Message-ID:
<SATOSHI.92Nov26174647@whale.ryukoku.ac.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-kyo!kuis!rins!satoshiReferences:
<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> <SATOSHI.92Nov5173636@wShow Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS X-Google-Thread: f4956,c4930c4d3907c0b2 X-Google-Attributes: gidf4956,public X-Google-ArrivalTime: 1992-11-26 03:09:13 PST Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-kyo!kuis!rins!satoshi From: satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) Newsgroups: fj.sci.math Subject: Re: Q in intutionistic math. Message-ID: <SATOSHI.92Nov26174647@whale.ryukoku.ac.jp> Date: 26 Nov 92 08:46:47 GMT 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> <SATOSHI.92Nov5173636@w Sender: news@rins.ryukoku.ac.jp Organization: Ryukoku Univ., Seta, Japan Lines: 53 In-reply-to: nakashim@etl.go.jp's message of 20 Nov 92 04:29:45 GMT