From: satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: Q in intutionistic math.
Date: 11 Nov 92 06:58:10 GMT
	<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@
Organization: Ryukoku Univ., Seta, Japan
In-reply-to: ryu@sys.titech.ac.jp's message of 9 Nov 92 00:55:03 GMT


$@>.NSAo(J@$@N6C+Bg3X$G$9!#(J

In article <RYU.92Nov9095504@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:

 | |$@Nc$($P!"$"$k(J($@8EE5E*(J)$@DjM}$rD>4Q<g5A!V$G(J$@!W>ZL@$7$h$&$H$7$^$9!#(J
 | |$@$H$3$m$,!"$I$&$d$C$F$_$F$b>ZL@$G$-$=$&$b$"$j$^$;$s!#(J
 | |$@$3$&$$$&>l9g!">ZL@(J$@$G$-$J$$;v$r>ZL@$7$J$1$l$P$J$j$^$;$s!#(J
 | |$@$5$i$K!"(J($@;d$O(J)$@$I$NDxEY>ZL@$7$K$/$$$N$+!)(J
 | |
 | | A or not(A) $@$/$i$$$+!)(J not(A) or not(not(A)) $@$/$i$$$+!)(J
 | |$@$O$?$^$?(J not(not(A)) -> A $@$/$i$$$+!)(J $@$=$N$$$E$l$G(J$@$b$J$$$+!)(J
 | |
 | |$@$J$I$H9M$($F$7$^$$$^$9!#(J
 | |$@$3$3$^$GMh$k$HD>4Q<g5A!V$r!W8&5f$7$F$$$k$3$H$K$J$j$^(J$@$;$s$+!)(J
 |
 |$@%9%i%$%9$NOC$7$G$9$+!)(J
 |$@$=$l$O$$$/$i$J$s$G$b!VCf4VO@M}!W$J$N$G$O!"!"!"(J

$@3N$+$K(J $@D>4Q<g5A(J$@O@M}$K(J not(A) or not(not(A)) $@$r$D$12C$($?O@M}$OCf4VO@M}(J
$@$N0l$D$G$9!#Cf4VO@M}$H$$$&HOaF$K$O!"(J($@Cf4VO@M}(J$@$NCf$G:G$b<e$$$b$N$H$7$F(J)
$@D>4Q<g5AO@M}$b4^$a$^$9$7!"(J($@:G$b6/$$$b$N$H$7$F(J)$@8EE5O@M}$b4^$a$^$9$,!"D>(J
$@4Q<g(J$@5AO@M}(J + not(A) or not(not(A)) $@$r$D$12C$($?O@M}$OK\Ev$KCf4V$K$"$j(J
$@$^$9!#(J

$@$G$b!"Cf4VO@M}$r8&5f$7$F$$$k(J$@?MC#$O!"@P86$5$s$,8@$C$F$$$k$h$&$J$3$H$O$"(J
$@$^$j8&5f$7$F$$$J$$$h$&$G$9!#@P86$5$s$,07$C$F$$$k$N$O!"Nc$((J$@$P2r@O3X$NDj(J
$@M}$N$h$&$J!"?t3X$NDjM}$J$N$G!"O@M}$N8xM}$@$1$G$J$/!"?t3XE*$J8xM}$bF~$C(J
$@$F@$3&$G9M$($F$$$k(J$@$o$1$G$9!#$=$&$$$&@$3&$K$*$$$F!"!V$3$l$3$l$NDjM}$r>Z(J
$@L@$9$k$N$K2?$,I,MW$+!W$H$$$&$h$&$J;v$O$"$^$jCf4V(J$@O@M}$N8&5f<T$N4V$G$O8&(J
$@5f2]Bj$K$J$C$F$$$J$$$h$&$K;W$$$^$9!#(J

$@Cf4VO@M}$N8&5f$H8@$&$H!"Cf4VL?BjO@M}$N8&(J$@5f$H!"Cf4V=R8lO@M}$N8&5f$rIaDL(J
$@;X$9$N$@$H;W$$$^$9$,!"@P86$5$s$N8@$o$l$F$$$k$h$&$J8&5f$G$O!"(Jnot(A) or
not(not(A)) $@$N$h$&$J=cO@M}E*$J8xM}$h$j$b!"(J
  $@!VG$0U$N(J binary sequence (x_n) $@$K$D$$$F!"(J
    all n(x_n = 0) or exist n(x_n = 1)$@!W(J
$@$H$+!"(J
  $@!VG$0U$N(J binary sequence (x_n) $@$K$D$$$F!"(J
    not all n(x_n = 0) -> exist n(x_n = 1)
    (Markov $@$N86M}(J)$@!W(J
$@$H$+$$$C$?$h$&$J8xM}(J($@$3$l$i$O<+A3?t$H$+!"<+A3?tNs$H$+$K4X$9(J$@$k8xM}$J$N(J
$@$G!"O@M}$N8xM}$G$O$J$$(J)$@$N$[$&$,$h$/LdBj$K$5$l$^$9!#$G$9$+$i!"$"$^$jCf(J
$@4VO@M}$N8&5f$H$$$&46(J$@$8$O$7$^$;$s!#FC$K!"(JMarkov $@$N86M}$J$I$O!"(JMarkov $@N.(J
$@$N9=@.E*?t3X$N8&5f$+$i=P$F$-$?$b$N$J$N$G!"$d$O$jD>(J$@4Q<g5AE*?t3X!"$"$k$$(J
$@$O9=@.E*?t3X$N8&5f$H$$$&46$8$@$H;W$$$^$9!#(J
$@$"$H!"OC$,C&@~$7$=$&$G$9$,!"8EE5O@M}$H(J$@$OAjF~$l$J$$$h$&$J8xM}$H$N4XO"$r(J
$@D4$Y$k$3$H$b$"$C$F!"$=$&$J$k$H!"A4A3Cf4VO@M}$NOC$G$O$J$/$J$C$F$7$^$$(J$@$^(J
$@$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)
Newsgroups: fj.sci.math