🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #22

Re: Q in intutionistic math.

#22
From: ryu
Date: Mon, 02 Nov 1992 03:50
27 lines
2032 bytes
$@8@$$Lu$r(J$@$9$k3^(J(ryu@sys.titech.ac.jp)$@$H?=$7$^$9!#(J

In article <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes:
 |  $@0f>e!wBg:eI\N)9b@l$G$9!#:rF|$d$C$HC]Fb30;K(J$@!VD>4Q<g5AE*=89gO@!W$rFI$_(J
 |$@$O$8$a$^$7$?!#(J
 |In article <NAO.92Oct11151547@mimo.jaist-east.ac.jp> nao@jaist-east.ac.jp writes:
 |>>(a,b) $@$,(J (c,d) $@$HF1CM4X78$K$"$k$H$O(J ad-bc=0 $@$,@.$jN)$D$3$H$G$"$k!"$H$$(J
 |>>$@$&F1CM4X78$rF3F~$7!"$=$NF1CM4X78$G(J Z*Z $@$r3d$C$A$c$($PM-M}?tBN$,$G$-$k(J
 |>>$@$s$@$1$I!"$=$l$r!"(JV^($@&8(J) $@$K0lBN$I$&$d$C$FKd$a9~$`$s$G$7$g!)(J
 |>
 |>  V^($@&8(J) $@$G$OD>4Q<g5A=89gO@$,@.N)$7$F$$$k!J$D$^$j$OD>4Q<g(J$@5A=89gO@$N%b(J
 |>$@%G%k$K$J$C$F$$$k$H$$$&$3$H$G$9$M!K$N$G!"$=$&$d$C$F=89gO@E*$K9=@.$7$?$b(J
 |>$@$N$,(J V^($@&8(J) $@$K$O$$$C$F$$$k$3$H$O<+L@$@$H;W$&$N$G$9$,!#(J
 |
 |  $@;d$b<+L@$@$H;W$$$^$9!#K\$N#4#3$+$i#4#5%Z!<%8$rFI$`(J$@$H!"#Q$+$i:n$C$?(J
 |$@#Q!0(J\check$@$O<+A3$J$b$N$G$9$+$i!#(J

$@$=$&$J$s$G$9$1$I$M!#(J
$@$=$N#4#3$+$i#4#5%Z!<%8$N8e$N(J$@!"#5#2%Z!<%8$G=g=xBP$rDj5A$7$F$$$k$h$&$K=q(J
$@$$$F$$$^$9$M!#(J
$@$=$l$G!"!V2?$d$=$l!)!W$H;W$C$F$7$^$C$?$s$G$9(J$@$h!#(J

$@$G$b!"<B:]$O#4#0%Z!<%8$G=g=xBP$N8xM}$,@.$jN)$D$3$H$,$9$G$K<($5$l$F$$$k(J
$@$s$G$9$h!#%^%C%?%/!#(J

$@!t(J$@>/$7$O=gHV$r9M$($m!"$C$F$s$@!#(J
Technical Details
Message-ID: <RYU.92Nov2125034@sysipk.sys.titech.ac.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu
References: <RYU.92Oct10105633@sysipk.sys.titech.ac.jp> <NAO.92Oct11151547@mimo.jaist-east.ac.jp> <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp>

Show Full Headers
Complete Article Headers
Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu
From: ryu@sys.titech.ac.jp (ryu)
Subject: Re: Q in intutionistic math.
In-Reply-To: f51323@sakura.kudpc.kyoto-u.ac.jp's message of Wed, 28 Oct 1992 04:26:28 GMT
Message-ID: <RYU.92Nov2125034@sysipk.sys.titech.ac.jp>
Sender: news@sys.titech.ac.jp
Organization: Tokyo Institute of Technology, Yokohama, Japan.
References: <RYU.92Oct10105633@sysipk.sys.titech.ac.jp>
 <NAO.92Oct11151547@mimo.jaist-east.ac.jp>
 <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp>
Date: Mon, 2 Nov 1992 03:50:34 GMT
Lines: 28