🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

6 total messages Started by Shingo MATSUMOTO Fri, 13 Nov 1992 04:40
Re: Q in intuitionistic math.
#224
Author: Shingo MATSUMOTO
Date: Fri, 13 Nov 1992 04:40
74 lines
3860 bytes
$@>>K\!w?t3X2J%/%:%l(J

ryu$@;a[)$/(J

>  |$@$^$:!";d$O!"(J{0,1} $@$NItJ,=89g$,$A$g$&$I(J4$@$D$G$"$k!"$H$O8@$C$F$$$^$;$s!#(J

> $@!t$H$$$&$H0f>e$5$s$O$d$O$j8m2r$7$FG<F@$5$l$?$h$&$G$9$M!#(J
> $@!t$^$"!"M>7W$J$*@$OC$G$7$g$&$,!#(J

$@M>7W$J$*@$OC$@$h(J(^^;)
$@D>4Q<g5A$G$O(J{0,1}$@$NItJ,=89g$,#4$D$G$"$k$H(J
$@H=Dj$G$-$J$$$N!#(J
$@JL$KB>$NItJ,=89g$,$J$$$H$$$&$3$H$G$O(J
$@0f>e;a$NM}2r$O@5$7$$$N!#(J
$@$=$N$3$H$,D>4Q<g5A$G$OH=Dj$G$-$J$$$@$1!#(J
($@$=$l$7$+$J$$$3$H$r$$$&$N$K!"<B$OGXM}K!$r;H$C$F$k(J)

>  |$@@53N$K8@$&$H!"(JPow{0,1} = {{},{0},{1},{0,1}} $@$O0lHL$K$O@.$jN)$A$^$;$s!#(J

> $@$F$3$H$O!"CM#1$r$H$i$J$$$H$$$&$3$H$G$9$M!#(J
> x in {y|forall z , z in y -> z in {0,1}} <-> x in {{},{0},{1},{0,1}}
> $@$,CM#1$r<h$i$J$$$C$F$3$H$G$9$M!#$=$l$O$J$s$G$+$H$$$&$H(J
> z in y -> z in {0,1} $@$rK~$?$9(J y $@$,%?%"%"%"%/%5%s!V:_$k!W$+$i$8$c$"$J$+$C(J
> $@$?$C$1!)$H$$$&$N$,!"$=$b$=$b8@$$$?$+$C$?$3$H$G$9!#(J
> $@!t:G=i$C$+$i$3$&8@$($PNI$+$C$?$s$@!#(J

$@$?$/$5$s$J$s$+$J$$$h!#$=$l$3$=!V8m2r!W(J

> $@$G$9$+$i(J (2') -> (3) $@$NCM$,#1$K$J$i$J$$$h$&$K!V1'Ch!W$r3HBg$7$F$k$s$G(J
> $@$7$g!)!V6qBNE*$KCM$r(JV^$@&8$G7W;;$9$k!W$H$$$&N)>l$GOC$7$F$?$+$i!"F\DA4A$K(J
> $@$J$C$F$7$^$C$?$s$G$7$g$&$+!#(J

$@$"!"%o%+%C%?$h!#(J
$@MW$O!">ZL@$G$-$J$$$C$F$3$H$O!"8D?t$,0c$&%b%G%k$,$"$k$+$i$@$m$C$F(J
$@$$$$$?$$$o$1$G$7$g!#(J
$@$3$l$O!"$=$l$H$O0c$&$N!#(J
$@>e$N$h$&$J$3$H$O!"8EE5O@M}>e$G9M$($F$k$+$i!"D>4Q<g5A>e$^$G1dD9$7$?$i(J
$@%@%a$J$N!#(J
$@$H$3$m$GD>4Q<g5A$NN)>l$O!"!V6qBNE*$KCM$r7W;;$9$k!W$H$$$&N)>l$J$N!#(J
$@$I$&$bF\DA4A$@$J!#(J
($@$@$+$i!"<B$OD>4Q<g5A$G$O(JPow{0,1}$@$,$I$&$$$&%b%N$+(J
$@<($9$3$H$,$G$-$J$$H&$G$"$k!#(J)

>  |$@$b$7$b!"(JPow{0,1} $@$KBP$7$F(J ZFC $@$G$N$h$&$KG;EY$,Dj5A$G$-$?$H$7$F!"$=$NG;(J
>  |$@EY$,M-8B$N?t$K$J$k$3$H$^$G$o$+$C$?$H$9$k$H!"$=$l$,(J 4 $@0J>e$G$"$k$3$H$H!"(J
>  |5$@0J>e$G$O$J$$!"$H$$$&$3$H$+$i!"G;EY$O(J 4 $@$K7h$^$k$N$G$9$,!"$=$b$=$b(J ZFC 
>  |$@$GDj5A$9$k$h$&$K$OG;EY$,Dj5A$G$-$J$$$N$G$9!#(J

> $@$7$+$7(J E(Pow{0,1})=1 $@$J$i$P!"$$$/$i$J$s$G$bDj5A$G$-$=$&$J$s$G$9$,!"$=(J
> $@$&$O$J$i$J$$$_$?$$$G$9$M!#$G$b$=$&$9$k$H$d$O$j(J Ea=1 $@$H$J$i$J$$(J a $@$,%b(J
> $@%G%k$NCf$K$OB8:_$7$J$$!"$F$N$O!V$^$9$^$9%X%s!W$H;W$C$F$7$^$$$^$9$,!#(J

ZFC$@$G$J$s$GG;EY$,Dj5A$G$-$k$+$C$F$$$&$H(J
$@A*Br8xM}$,$"$k$+$i!#(J
IZF$@$G$OA*Br8xM}$O$J$$$N!#(J
$@A*Br8xM}$,$"$C$?$i!"GSCfN'$,$J$j$?$C$F(J
$@$9$Y$F%Q!<$K$J$C$A$c$&$+$i!#(J

$@!t$=$b$=$b!"$I$s$J=89g$G$b!"I,$:@0Ns2DG=$J<jB3$-$,$"$l$P(J
$@!t6lO+$7$J$$$h!#%^%C%?%/!#(J

> $@!t$*<j?t$r$*$+$1$7$F$*$j$^$9$,!"$^$"!"$3$l$b!V9=@.<g5A?t3X$NIa5Z$N$?$a!W(J
> $@!t$@$H;W$C$F$$$?$@$1$l$P!"!"!"(J

$@FbMF$+$i$9$k$H!"$H$F$b$=$&$O$*$b$($s$,!#(J(^^;)

$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
$@!!!!!!!!!!E4E4E4E4!!!!!!>>K\??8c(J (Shingo Matumoto)$@!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!!!!!E4!!!!(Jshingo@ipc02.rtri.or.jp$@!!!!!!!!!!!!!!(J $@!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!E4E4!!!!!!")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(J
$@!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g5;=Q8&5f=j!!M"Aw%7%9%F%`I>2A8&5f<<!!!!!!!!!!!!(J
$@!!!!E4E4E4!!!!!!!!E4!!!!#0#4#2#5!]#7#3!]#7#3#0#6!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
Re: Q in intuitionistic math.
#226
Author: ryu
Date: Fri, 13 Nov 1992 16:46
58 lines
2934 bytes
$@<+J,$N4*0c$$$K$d$C$H5$IU$$$?(J$@3^!J(Jryu@sys.titech.ac.jp$@!K$G$9!#(J
$@!t$/$@$i$J$$%]%9%H$r>/$7%-%c%s%;%k$7$F$^$9!#(J

In article <526@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
 |$@D>4Q<g5A$G$O(J{0,1}$@$NItJ,=89g$,#4$D$G$"(J$@$k$H(J
 |$@H=Dj$G$-$J$$$N!#(J
 |$@JL$KB>$NItJ,=89g$,$J$$$H$$$&$3$H$G$O(J
 |$@0f>e;a$NM}2r$O@5$7$$$N!#(J
 |$@$=$N$3$H$,(J$@D>4Q<g5A$G$OH=Dj$G$-$J$$$@$1!#(J

$@$($($H!"0f>e$5$s$O!V#4$D$N$&$A$N$I$l$G$"$k$+$,7h$a$i$l$J$$$+$i!W$J$s$F(J
$@$$$C$F$?$h$&$J5$$,$7$?$s$G!"M>7W$J$3$H$r=q$$$F$7$^$$$^$7$?!#5-210c$$$@$C(J
$@$?$i$4$a$s$J$5$$!#(J
$@$K$7$F$b(J$@!VH=Dj$G$-$J$$!J#4$D$G$"$k$H$$$&!K$3$H!"$rM}2r$7$?!W$H$O!)(J

 |> z in y -> z in {0,1} $@$rK~$?$9(J y $@$,%?%"(J$@%"%"%/%5%s!V:_$k!W$+$i$8$c$"$J$+$C(J
 |> $@$?$C$1!)$H$$$&$N$,!"$=$b$=$b8@$$$?$+$C$?$3$H$G$9!#(J
 |> $@!t:G=i$C(J$@$+$i$3$&8@$($PNI$+$C$?$s$@!#(J
 |
 |$@$?$/$5$s$J$s$+$J$$$h!#$=$l$3$=!V8m2r!W(J

$@$($($H!"(J{0} $@$N(J V^$@&8(J $@$X$NKd$a(J$@9~$_$r(J {0}' $@$H$7$^$9$M!#(J
A $@$r(J A(0) $@$,#1$K$J$i$J$$$@$1$G$=$NB>$O(J {0}' $@$HF1$8%b%N$@$H$7$^$9$M!#(J
$@$9$k$H!"(J
[x in A] = A(0) cup [x=0] $@$G(J [x in {0}'] = 1 cup [x=0] $@$G$9$h$M!#(J
$@$9$k$H!"(J
forall x [x in A -> x in {0}'] = 1 $@$K8+$($^$;$s$+!)(J
$@$G$b$C$F#1$G$b$$$$$s$G$7$g!#$=$&$$$&0UL#$G$b%V!<%kCM%b%G%k$H0l=o$J$s$G(J
$@$7$g(J$@!)(J
$@$b$C$H$b!V0lHL$K$O#1$K$J$i$J$$!W$N$G$7$g$&$,!#(J

 |$@$"!"%o%+%C%?$h!#(J
 |$@MW$O!">ZL@$G$-$J$$$C$F$3$H$O!"(J$@8D?t$,0c$&%b%G%k$,$"$k$+$i$@$m$C$F(J
 |$@$$$$$?$$$o$1$G$7$g!#(J

$@$=$&8@$$$?$+$C$?$h$&$J5$$,$7$^$9!#(J
$@!t1s$$2a(J$@5n$N!"!"$C$FBLL\$+!#$O$O!#(J

$@$G$J$/$F!"0c$&$N$O&8$G$9$M!#GO</$G$9$M$(!#$K$7$F$b0l8@!V&8$@$h!W$C$F8@$C(J
$@$F$/$l$l$P$C$F8@$C$F$b$d$C$Q$jBLL\$G$9$h$M$(!#(J
$@!t$=$l$H$b$^$5$+$3$l$^$G0c$C$F$k!)(J

 |$@$3$l$O!"$=$l$H$O(J$@0c$&$N!#(J
 |$@>e$N$h$&$J$3$H$O!"8EE5O@M}>e$G9M$($F$k$+$i!"D>4Q<g5A>e$^$G1dD9$7$?$i(J
 |$@%@%a$J$N!#(J

$@$($C!)(J V^$@&8(J $@$O8EE5O@M}$G:n$C$F$^$9$h!#(J

 |> $@!t$*<j?t$r$*$+$1$7$F$*$j$^$9$,!"$^$"!"$3$l$b!V9=@.<g5A?t3X$NIa5Z(J$@$N$?$a!W(J
 |> $@!t$@$H;W$C$F$$$?$@$1$l$P!"!"!"(J
 |
 |$@FbMF$+$i$9$k$H!"$H$F$b$=$&$O$*$b$($s$,!#(J(^^;)

$@$=$G$9(J$@$M!#(J

$@$G!":#EY$3$=!"%[%s%H$K:#EY$3$=!"??LLL\$J<ALd!#(J
$@JL$K(J V^$@&8(J $@$C$F!V40A4!W$8$c$"$J$$$s$G$7$g!)(J
Re: Q in intuitionistic math.
#265
Author: Shingo MATSUMOTO
Date: Mon, 16 Nov 1992 03:07
81 lines
4031 bytes
$@>>K\!wE4F;Am8&(J

In article <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
> $@$K$7$F$b!VH=Dj$G$-$J$$!J#4$D$G$"$k$H$$$&!K$3$H!"$rM}2r$7$?!W$H$O!)(J

$@0J2<;2>H!#(J

 |> z in y -> z in {0,1} $@$rK~$?$9(J y $@$,%?%"%"%"%/%5%s!V:_$k!W$+$i$8$c$"$J$+$C(J
 |> $@$?$C$1!)$H$$$&$N$,!"$=$b$=$b8@$$$?$+$C$?$3$H$G$9!#(J
 |> $@!t:G=i$C$+$i$3$&8@$($PNI$+$C$?$s$@!#(J
 |
 |$@$?$/$5$s$J$s$+$J$$$h!#$=$l$3$=!V8m2r!W(J

> $@$($($H!"(J{0} $@$N(J V^$@&8(J $@$X$NKd$a9~$_$r(J {0}' $@$H$7$^$9$M!#(J
> A $@$r(J A(0) $@$,#1$K$J$i$J$$$@$1$G$=$NB>$O(J {0}' $@$HF1$8%b%N$@$H$7$^$9$M!#(J
> $@$9$k$H!"(J
> [x in A] = A(0) cup [x=0] $@$G(J [x in {0}'] = 1 cup [x=0] $@$G$9$h$M!#(J
> $@$9$k$H!"(J
forall x [x in A -> x in {0}'] = 1 $@$K8+$($^$;$s$+!)(J
> $@$G$b$C$F#1$G$b$$$$$s$G$7$g!#$=$&$$$&0UL#$G$b%V!<%kCM%b%G%k$H0l=o$J$s$G(J
> $@$7$g!)(J
> $@$b$C$H$b!V0lHL$K$O#1$K$J$i$J$$!W$N$G$7$g$&$,!#(J

$@!)>e$NJ8>O$N0UL#$,$h$/$o$+$i$s$,!#(J

$@!!$H$$$&$3$H$G!";d$J$j$K@0M}$7$^$7$?!#(J
1.$@$^$:!"(Jx$@$,(J{},{0},{1},{0,1}$@$N$I$l$+$KEy$7$$$H$9$l$P(J
$@!!(Jx$@$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&$N$O(J
$@!!$I$s$J%b%G%k$G$b??56CM$O#1(J

2.$@<!$K!"(Jx$@$,(J{},{0},{1},{0,1}$@$N$I$l$G$b$J$1$l$P(J
$@!!(Jx$@$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&$N$O(J
$@!!$I$s$J%b%G%k$G$b??56CM$O#0(J

3.$@<B$O!">e$N#2$D$N$[$+$K(J1.$@!"(J2.$@$N$I$A$i$G$b$J$$!"$9$J$o$A!"(J
$@!!(Jx$@$,(J{},{0},{1},{0,1}$@$N$I$l$+$G$"$k$+!"$G$J$$$+$o$+$i$J$$(J
$@!!$H$$$&>l9g$,$"$k!#(J
$@!!$3$N>l9g(J
$@!!(Jx$@$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&$N$O(J
$@!!%b%G%k$K$h$C$F??56CM$O$3$H$J$k!#(J

$@!!$@$+$i!"%b%G%k$K$h$C$F$O(J
$@!!(J3.$@$N$h$&$J(J x$@$K$D$$$F(J
$@!!??56CM$,#1$G$"$k$H$9$l$P(J
 $@!V%?%/%5%s!W$"$k$h$&$K$_$($k!#(J

$@!J$A$J$_$K(J3.$@$K$"$?$k(Jx$@$O8EE5=89gO@>e$G$OB8:_$7$J$$$b$N$G$"$k$+$i(J
$@!!6qBNE*$K$"$k(Jx$@$,$"$C$F!"$=$l$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&$3$H$H(J
$@!!$O$A$g$C$H$3$H$J$k!#!K(J

$@!!$b$A$m$s!"B>$N%b%G%k$G$O#1$G$J$$$3$H$,$"$k$o$1$G(J
$@!!$=$&$$$C$?4QE@$+$i$9$l$P!"G$0U$N%b%G%k$G#1$H$J$k>l9g0J30$N(J
$@!!FC<l$JNc$K$D$$$F9M$($k$N$O!"0UL#$,$J$$!#(J

$@!!MWE@$H$7$F(J
1.$@#4$D0J30$K??56CM$,#1$H$J$k%b%G%k$,$"$k$N$G(J
$@!!#4$D$G$"$k$3$H$O>ZL@$G$-$J$$!#(J
2.$@$7$+$7$J$,$i!"G$0U$N%b%G%k$G??56CM$,#1$K$J$k$N$O(J
$@!!#4$D$7$+$J$$!#(J
$@!!$H$$$&$3$H$G$9$M!#(J
$@!!$@$+$i#4$D$G$"$k$H>ZL@$G$-$J$$$o$1$G$9$M!#(J

 |> $@!t$*<j?t$r$*$+$1$7$F$*$j$^$9$,!"$^$"!"$3$l$b!V9=@.<g5A?t3X$NIa5Z$N$?$a!W(J
 |> $@!t$@$H;W$C$F$$$?$@$1$l$P!"!"!"(J
 |
 |$@FbMF$+$i$9$k$H!"$H$F$b$=$&$O$*$b$($s$,!#(J(^^;)

> $@$=$G$9$M!#(J

> $@$G!":#EY$3$=!"%[%s%H$K:#EY$3$=!"??LLL\$J<ALd!#(J
> $@JL$K(J V^$@&8(J $@$C$F!V40A4!W$8$c$"$J$$$s$G$7$g!)(J

$@40A4$@$C$?$i!"D>4Q<g5A$O$$$i$J$$$N$G$O!#(J(^^;)

$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
$@!!!!!!!!!!E4E4E4E4!!!!!!>>K\??8c(J (Shingo Matumoto)$@!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!!!!!E4!!!!(Jshingo@ipc02.rtri.or.jp$@!!!!!!!!!!!!!!(J $@!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!E4E4!!!!!!")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(J
$@!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g5;=Q8&5f=j!!M"Aw%7%9%F%`I>2A8&5f<<!!!!!!!!!!!!(J
$@!!!!E4E4E4!!!!!!!!E4!!!!#0#4#2#5!]#7#3!]#7#3#0#6!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
Re: Q in intuitionistic math.
#266
Author: Shingo MATSUMOTO
Date: Mon, 16 Nov 1992 08:42
53 lines
2634 bytes
$@>>K\!wJdB-(J

In article <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
> |$@$"!"%o%+%C%?$h!#(J
> |$@MW$O!">ZL@$G$-$J$$$C$F$3$H$O!"8D?t$,0c$&%b%G%k$,$"$k$+$i$@$m$C$F(J
> |$@$$$$$?$$$o$1$G$7$g!#(J
>
>$@$=$&8@$$$?$+$C$?$h$&$J5$$,$7$^$9!#(J
>$@!t1s$$2a5n$N!"!"$C$FBLL\$+!#$O$O!#(J
>
>$@$G$J$/$F!"0c$&$N$O&8$G$9$M!#GO</$G$9$M$(!#$K$7$F$b0l8@!V&8$@$h!W$C$F8@$C(J
>$@$F$/$l$l$P$C$F8@$C$F$b$d$C$Q$jBLL\$G$9$h$M$(!#(J
>$@!t$=$l$H$b$^$5$+$3$l$^$G0c$C$F$k!)(J

$@$H$3$m$G(J
$@$3$N&8$,$I$&$b%R%C%+%+%C%F$?$N$h$M!#(J
$@$3$l$O??56CM$N6u4V$G(J
$@$3$N>l9g$K$O0lHL$N0LAj6u4V$J$N$M!#(J
$@$@$+$i%V!<%kCM%b%G%k$8$c$J$/$F(J
$@GSCfN'$O$J$j$?$?$J$$$o$1$M!#(J

> |$@$3$l$O!"$=$l$H$O0c$&$N!#(J
> |$@>e$N$h$&$J$3$H$O!"8EE5O@M}>e$G9M$($F$k$+$i!"D>4Q<g5A>e$^$G1dD9$7$?$i(J
> |$@%@%a$J$N!#(J
>
>$@$($C!)(J V^$@&8(J $@$O8EE5O@M}$G:n$C$F$^$9$h!#(J

$@8EE5O@M}$G$D$/$C$F$"$k$3$H$H$O4X78$J$$$N!#(J
V$@!0&8$G(J
$@IaDL$N=89gO@$N%b%G%k$K$J$k$N$O(J
$@&8$,%V!<%kBe?t$K@)8B$5$l$k>l9g$@$h$M!#(J
$@$@$+$i!"D>4Q<g5A$N%b%G%k$NJ}$,(J
$@IaDL$N%b%G%k$h$jB?$/B8:_$9$k$o$1$G$9$M!#(J

$@!tD>4Q<g5AO@M}$G>ZL@$G$-$l$P(J
$@!tIaDL$NO@M}$G>ZL@$G$-$k$+$i(J
$@!t$"$?$j$^$($+(J

>$@$G!":#EY$3$=!"%[%s%H$K:#EY$3$=!"??LLL\$J<ALd!#(J
>$@JL$K(J V^$@&8(J $@$C$F!V40A4!W$8$c$"$J$$$s$G$7$g!)(J

$@$h$/9M$($?$i!V40A4!W$C$F!)(J
V$@!0&8$O%b%G%k$@$h!#(J

$@!tD>4Q<g5A$O40A4$+!"$H$$$&0UL#$+$H$*$b$C$F$7$^$C$?!#(J

$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
$@!!!!!!!!!!E4E4E4E4!!!!!!>>K\??8c(J (Shingo Matumoto)$@!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!!!!!E4!!!!(Jshingo@ipc02.rtri.or.jp$@!!!!!!!!!!!!!!(J $@!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!E4E4!!!!!!")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(J
$@!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g5;=Q8&5f=j!!M"Aw%7%9%F%`I>2A8&5f<<!!!!!!!!!!!!(J
$@!!!!E4E4E4!!!!!!!!E4!!!!#0#4#2#5!]#7#3!]#7#3#0#6!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
Re: Q in intuitionistic math.
#267
Author: ryu
Date: Mon, 16 Nov 1992 23:20
52 lines
2968 bytes
$@$7$D$3$$3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <530@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
 | |$@$?$/$5$s$J$s$+$J$$$h!#$=$l$3$=!V8m(J$@2r!W(J
 |
 |> $@$($($H!"(J{0} $@$N(J V^$@&8(J $@$X$NKd$a9~$_$r(J {0}' $@$H$7$^$9$M!#(J
$@CfN,(J
 |> $@$b$C$H$b!V0lHL$K$O#1$K$J$i$J(J$@$$!W$N$G$7$g$&$,!#(J
 |
 |$@!)>e$NJ8>O$N0UL#$,$h$/$o$+$i$s$,!#(J

$@$"!"$b$7$+$7$?$i0lHL$K#1$K$J$k$+$bCN$l$J$$(J$@!#$G$b!"$^$"!"7W;;$9$j$c2r$k(J
$@$3$H$@$+$iJL$K$$$$$G$9$M!#(J

 |$@!!$H$$$&$3$H$G!";d$J$j$K@0M}$7$^$7$?!#(J
 |1.$@$^$:!"(Jx$@$,(J{},{0},{1},{0,1}$@$N$I$l$+$KEy$7$$$H$9$l$P(J
 |$@!!(Jx$@$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&$N$O(J
 |$@!!$I$s$J%b(J$@%G%k$G$b??56CM$O#1(J
 |2.$@<!$K!"(Jx$@$,(J{},{0},{1},{0,1}$@$N$I$l$G$b$J$1$l$P(J
 |$@!!(Jx$@$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&(J$@$N$O(J
 |$@!!$I$s$J%b%G%k$G$b??56CM$O#0(J

$@$($H$G$9$M!"!VEy$7$$$H$9$l$P!W$H$+!V$I$l$G$b$J$1$l$P!W$H$+$,$I$3(J$@$NN)>l(J
$@$G$NI=8=$+$O$C$-$j$7$F$b$i$($^$;$s$+!##2$N!V$I$l$G$b$J$1$l$P!W$C$F$N$,(J
$@%b%G%k$r30$+$i8+$?>l9g$N(J$@I=8=$@$H$7$?$i!"4V0c$$$G$9$h!#(J

$@$@$$$?$$(J $@!V(J{0,1} $@$,!J0lHL$K$O!K40Hw$K$O$J$i$J$$!W$C$F$N$b!"D>4QO@M}$N(J
$@HO0OFb$G$O>ZL@$G$-$F$J$$$C$F$N$K!#$=$l$r$O$C$-$j$7$F$J$$$+$i$3$s$J$K:x(J
$@An$7$F$7$^$C$?$s$8$c!"$"$"$j$^(J$@$;$s$+!)(J

 |3.$@<B$O!">e$N#2$D$N$[$+$K(J1.$@!"(J2.$@$N$I$A$i$G$b$J$$!"$9$J$o$A!"(J
 |$@!!(Jx$@$,(J{},{0},{1},{0,1}$@$N$I$l$+(J$@$G$"$k$+!"$G$J$$$+$o$+$i$J$$(J
 |$@!!$H$$$&>l9g$,$"$k!#(J
 |$@!!$3$N>l9g(J
 |$@!!(Jx$@$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&$N(J$@$O(J
 |$@!!%b%G%k$K$h$C$F??56CM$O$3$H$J$k!#(J
 |
 |$@!!$@$+$i!"%b%G%k$K$h$C$F$O(J
 |$@!!(J3.$@$N$h$&$J(J x$@$K$D$$$F(J
 |$@!!(J$@??56CM$,#1$G$"$k$H$9$l$P(J
 | $@!V%?%/%5%s!W$"$k$h$&$K$_$($k!#(J
 |
 |$@!J$A$J$_$K(J3.$@$K$"$?$k(Jx$@$O8EE5=89gO@>e$G(J$@$OB8:_$7$J$$$b$N$G$"$k$+$i(J
 |$@!!6qBNE*$K$"$k(Jx$@$,$"$C$F!"$=$l$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&$3$H$H(J
 |$@!!$O$A(J$@$g$C$H$3$H$J$k!#!K(J

$@$=$l$OD>4QO@M}$@$1$NOC$7$8$c$J$$$G$7$g!#(J
[not A or A] = 1 $@$G$b$C$F!"=89g$G$J$$$h$&(J$@$J(J A $@$OIaDL$N%V!<%kCM%b%G%k>e(J
$@$K$OIe$k$[$I$"$k$1$I!"!"!"(J
$@$3$NOC$7$N$I$3$,(J {0,1} $@D>4Q<g5AE*=89gO@$G$O0l(J$@HL$K40Hw$H$J$i$J$$!"$C$F(J
$@$3$H$H4X78$7$F$k$s$G$9$+!)(J
Re: Q in intuitionistic math.
#268
Author: ryu
Date: Mon, 16 Nov 1992 23:34
38 lines
1931 bytes
$@8aA0#8;~#1#5J,$N3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <531@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
 |In article <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
 |>$@$G$J$/$F!"0c$&$N$O&8$G$9$M!#(J
 |
 |$@$H(J$@$3$m$G(J
 |$@$3$N&8$,$I$&$b%R%C%+%+%C%F$?$N$h$M!#(J
 |$@$3$l$O??56CM$N6u4V$G(J
 |$@$3$N>l9g$K$O0lHL$N0LAj6u4V$J$N(J$@$M!#(J
 |$@$@$+$i%V!<%kCM%b%G%k$8$c$J$/$F(J
 |$@GSCfN'$O$J$j$?$?$J$$$o$1$M!#(J

$@$J$s$G$9$h$M!#C1=c$JOC$7$J$s$G$9(J$@$h$M!#(J
$@!t$b$C$H$b!"$=$l$rM}2r$G$-$J$$GZ$b$$$k$o$1$@$,!#(J


 |>$@$($C!)(J V^$@&8(J $@$O8EE5O@M}$G:n$C$F$^$9$h!#(J
 |
 |$@8EE5O@M}$G$D$/$C$F$"$k$3$H$H$O4X78$J$$$N!#(J

$@$(!"$8$c2?$N$3$H$J$s$G$7$g!#(J


 |>$@JL$K(J V^$@&8(J $@$C$F!V40A4(J$@!W$8$c$"$J$$$s$G$7$g!)(J
 |
 |$@$h$/9M$($?$i!V40A4!W$C$F!)(J
 |V$@!0&8$O%b%G%k$@$h!#(J

$@$($H!"40A4$H$$$&$N$O2<$N(J$@MW7o$r$_$?$9!"$H$$$&0UL#$G;H$$$^$7$?!#$o$+$j$K(J
$@$/$$8@MU;H$$$G$4$a$s$J$5$$!#(J
$@!|!V$"$k(J f $@$,$9$Y$F$N&8$K(J$@BP$7$F#1$r$H$k(J $@"M(J $@D>4Q<g5A$G>ZL@$G$-$k!W(J

$@$^$"!"@.$jN)$DLu$J$$$G$9$M!#(J
$@$G$b!"C]Fb30;K$N$$$&!VD>4Q<g5A(J$@E*=89gO@!W$H$$$&$b$N$O!|$N:8B&$rK~$?$9$h(J
$@$&$J%U%)!<%_%e%i$N=8$^$j$N$3$H$N$h$&$G$9!#(J
$@!t$@$+$i!VE*!W$C$F(J$@$+!)(J
Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads