🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #14335

Re: Q in intuitionistic math.

#14335
From: Satoshi Kobayashi
Date: Fri, 04 Dec 1992 08:41
53 lines
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!satoshi
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.

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