Article View: fj.sci.math
Article #14335Re: Q in intuitionistic math.
From: Satoshi Kobayashi
Date: Fri, 04 Dec 1992 08:41
Date: Fri, 04 Dec 1992 08:41
53 lines
4056 bytes
4056 bytes
$@>.NS(J@$@N6C+Bg3X$G$9!#(J In article <550@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes: |> ||P(x)|$@$N6&DL=89g(J($@L5M}?t$N=89g(J)$@$N3+3K(J($@6u=89g(J)$@$N:9=89g$N3+(J$@3K$O(J[0,1]$@A4BN(J |> ^^^^^^ |>$@$3$l$O(J([0,1] $@$rA46u4V$H$7$?(J$@$H$-$N(J)$@Jd=89g$H$$$&$3$H$G$9$+(J? | |$@<B$O!"Jd=89g$H$$$&8@MU$rEYK:$l$7$F$7$^$C$F!#(J($@%J%5%1%M!<(J^^;) $@$^$"(J$@!"%IK:$l$H$$$&$N$OC/$K$G$b$"$j$^$9$+$i!#(J |$@!t$=$l$K$7$F$b!"(JIZF$@$OD>4Q<g5A$G$O$"$k$,!"9=@.E*$H$$$&$K$O(J$@!V:#0l$D!W$H$$$&(J |$@!t46$8$,$9$k!#$I$A$i$+$H$$$($P!"5"G<E*4X?t$H$+!"=g=x?t$N9=@.$H$+$NJ}$,!"(J $@$3$N!V:#(J$@0l$D!W$H$$$&$N$K$O;d$b;?@.$G$9!#(J |$@!tGSCfN'$h$j$b!"9=@.E*$H$$$&35G0$KD>@\7k$SIU$$$F$$$k$h$&$K;W$&!#(J $@!VGSCfN'$h$j$b!W7k$SIU$$$F$$$k$+$I$&$+$O$h$/$o$+$j$^$;$s$,!#;d$O!VGSCf(J $@N'$r;H$o$J$$$3$H!W$OA4$/K\<AE*(J$@$J$3$H$@$H;W$$$^$9$N$G!#Hs9=@.E*$J86M}$H(J $@$7$FIaDL$N?t3X<T$K$b$h$/CN$i$l$F$$$k$b$N$K$O!"Nc$($PA*Br8xM}(J$@$N$h$&$J8x(J $@M}$,$"$j$^$9$,!"$=$s$J6/$$86M}$r;}$A=P$5$J$/$F$b!"GSCfN'$r;H$C$?$@$1$G(J $@Hs9=@.E*$JB8:_DjM}$,(J$@4JC1$KF3$1$F$7$^$$$^$9$+$i!#(J $@5"G<E*4X?t$,9=@.E*?t3X$KD>@\7k$SIU$$$F$$$k!"$H$$$&$3$H$K$OA4$/;?@.$G$9!#(J $@Nc$($P!"<+A3?t$+$i<+A3?t$X$N4X?t$G!"(JBishop $@N.$N9=@.E*?t3X$GDj5A2DG=$J(J $@$b$N$O5"G<E*4X?t$7$+B8:_$7$^$;(J$@$s!#(JMarkov $@N.$@$H!"$5$i$K?J$s$G!"<+A3?t(J $@$+$i<+A3?t$X$N4X?t$OA4$F5"G<E*$G$"$k!"$H$$$&0UL#$N8xM}$r;H$$$^(J$@$9!#(J (Bishop $@N.$G$O!"8EE5E*$J?t3X$KH?$9$k8xM}$OF~$l$J$$!"$H$$$&$3$H$K$J$C$F(J $@$$$k$N$G!"$3$&$$$&8xM}$O;H(J$@$$$^$;$s!#(J) $@$^$?!"9=@.E*?t3X$G$O!"(Joperation $@$H$$$&35G0$,(J primitive $@$J$b$N$@$H9M$((J $@$i$l$F$$$^$9!#$D$^(J$@$j!"B>$N4pK\35G0!"Nc$($P=89g35G0$+$iF3$+$l$k35G0$G$O(J $@$J$$$H;W$o$l$F$$$F!"4X?t$@$H$+!"<B?t$H$+$O!"(Joperation $@$N35G0$r4p$KDj5A(J $@$5$l$^$9!#$H$3$m$,!"(JIZF $@$K$O!"(Joperation $@$H$$$&35G0$O$J$/!"(J($@%0%i%U$H$$(J $@$&(J)$@=89g$N(J$@0l<o$H$7$F4X?t$,Dj5A$5$l$F$$$^$9!#B?$/$N(J constructivist $@$+$i(J $@8+$k$H!"$3$l$ONI$/$J$$$3$H$K8+$($k$H;W$$(J$@$^$9!#$3$N(J operation $@$H$$$&35(J $@G0$H!"5"G<E*$J4X?t$H$O$I$&0c$&$N$+!"F1$8$J$N$+!"$H$$$&$3$H$K$D$$$F$O!"(J $@?'!95DO@$NM>CO$,$"$k$N$G$9$,!"(JMarkov $@N.$G$O!"F1$8$@$H$7$^$9!#$3$&$$$&(J $@0UL#$G$b!"5"G<E*4X?t$O9=@.E*?t3X(J$@$KL)@\$K7k$S$D$$$F$$$k$o$1$G$9!#$A$J$_(J $@$K!"(JBishop $@$O!"!V(Joperation $@$C$F2?(J?$@!W$HJ9$+$l$F$b!"!V0z?t$KCM$r(J$@BP1~$5$;(J $@$k$b$N!W$H$7$+Ez$($^$;$s!#$&$C$+$j:Y$+$/(J($@8BDjE*$K(J)$@5,Dj$9$k$H!"8EE5E*?t(J $@3X$KH?$9$k$3$H$K$J$k$+(J$@$b$7$l$J$$$N$G!#(J $@!V=g=x?t$N9=@.!W$K$D$$$F$O!">>K\$5$s$,$I$&$$$&$3$H$r;X$7$F8@$C$F$*$i$l(J $@$k$N$+!"$h$/(J$@$o$+$i$J$$$N$G!"2?$H$b8@$($^$;$s!#(JOrdinal diagram $@$_$?$$$J(J $@$b$N$r8@$C$F$$$k$N$G$7$g$&$+!"$=$l$H$b9=@.(J$@E*=g=x?t$N$h$&$JOC$J$N$G$7$g(J $@$&$+!#(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.92Dec4174129@whale.math.ryukoku.ac.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-kyo!rinsgw!rins!satoshiReferences:
<526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> <530@keu02.rtri.or.jp> <RYU.92Nov17082028@sysipk.sys.titech.ac.jp> <544@keu02.rtri.or.jp> <SHINGO.92Nov27194549@ipc02.rtri.or.jp> <SATOSHI.92Nov30190959@whale.ryukoku.ac.jp> <550@keu02.Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS X-Google-Thread: f4956,8af676e5bd3e6401 X-Google-Attributes: gidf4956,public X-Google-ArrivalTime: 1992-12-04 01:09:35 PST Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-kyo!rinsgw!rins!satoshi From: satoshi@whale.math.ryukoku.ac.jp (Satoshi Kobayashi) Newsgroups: fj.sci.math Subject: Re: Q in intuitionistic math. Message-ID: <SATOSHI.92Dec4174129@whale.math.ryukoku.ac.jp> Date: 4 Dec 92 08:41:29 GMT References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> <530@keu02.rtri.or.jp> <RYU.92Nov17082028@sysipk.sys.titech.ac.jp> <544@keu02.rtri.or.jp> <SHINGO.92Nov27194549@ipc02.rtri.or.jp> <SATOSHI.92Nov30190959@whale.ryukoku.ac.jp> <550@keu02. Sender: news@rins.ryukoku.ac.jp Distribution: fj Organization: Ryukoku Univ., Seta, Otsu, Japan Lines: 53 In-reply-to: shingo@ipc02.rtri.or.jp's message of 3 Dec 92 09:36:29 GMT