Re: Q in intutionistic math. (Re: Math Test)

Article View: fj.sci.math

Article #159

#159

From: Naoki HAMADA
Date: Sun, 11 Oct 1992 06:15

15 lines
1216 bytes

In article <RYU.92Oct10105633@sysipk.sys.titech.ac.jp> $@3^$5$s(J:	
>$@$3$s$K$A$O!"@P868&$NJ}$G$9$h$M!)(J

  $@$O$$!"$=$&$G(J$@$9!#(J

>$@$@$+$i$"(J
>(a,b) $@$,(J (c,d) $@$HF1CM4X78$K$"$k$H$O(J ad-bc=0 $@$,@.$jN)$D$3$H$G$"$k!"$H$$(J
>$@$&F1CM4X78$r(J$@F3F~$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(J$@$a9~$`$s$G$7$g!)(J

  V^($@&8(J) $@$G$OD>4Q<g5A=89gO@$,@.N)$7$F$$$k!J$D$^$j$OD>4Q<g5A=89gO@$N%b(J
$@%G%k$K$J$C$F$$(J$@$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$&(J$@$N$G$9$,!#(J

$@IMED(J $@D><y(J

Technical Details

Message-ID: <NAO.92Oct11151547@mimo.jaist-east.ac.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!jaist-news!nao

References: <RYU.92Oct10105633@sysipk.sys.titech.ac.jp>

Show Full Headers

Complete Article Headers

Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!jaist-news!nao
From: nao@jaist-east.ac.jp (Naoki HAMADA)
Subject: Re: Q in intutionistic math. (Re: Math Test)
Message-ID: <NAO.92Oct11151547@mimo.jaist-east.ac.jp>
Lines: 15
Sender: news@jaist-east.ac.jp
Supersedes: <NAO.92Oct11140427@mimo.jaist-east.ac.jp>
Nntp-Posting-Host: mimo
Reply-To: nao@jaist-east.ac.jp
Organization: ME
References: <RYU.92Oct10105633@sysipk.sys.titech.ac.jp>
Date: Sun, 11 Oct 1992 06:15:47 GMT

Reply to Parent Message