Article View: fj.sci.math
Article #22Re: Q in intutionistic math.
From: ryu
Date: Mon, 02 Nov 1992 03:50
Date: Mon, 02 Nov 1992 03:50
27 lines
2032 bytes
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!ryuReferences:
<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