🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #267

Re: Q in intuitionistic math.

#267
From: 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
Technical Details
Message-ID: <RYU.92Nov17082028@sysipk.sys.titech.ac.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu
References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> <530@keu02.rtri.or.jp>

Show Full Headers
Complete Article Headers
Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu
From: ryu@sys.titech.ac.jp (ryu)
Subject: Re: Q in intuitionistic math.
In-Reply-To: shingo@ipc02.rtri.or.jp's message of 16 Nov 92 03:07:03 GMT
Message-ID: <RYU.92Nov17082028@sysipk.sys.titech.ac.jp>
Sender: news@sys.titech.ac.jp
Organization: Tokyo Institute of Technology, Yokohama, Japan.
References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp>
 <530@keu02.rtri.or.jp>
Distribution: fj
Date: Mon, 16 Nov 1992 23:20:28 GMT
Lines: 53