🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #1

Re: Q in intutionistic math.

#1
From: inoue kouichi
Date: Wed, 28 Oct 1992 04:26
31 lines
2432 bytes
  $@0f>e!wBg:eI\N)9b@l$G$9!#:rF|$d$C$HC]Fb30;K!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<g5A=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$`$H!"#Q$+$i:n$C$?(J
$@#Q!0(J\check$@$O<+A3$J$b$N$G$9$+$i!#(J

  $@$H$3$m$G!"FI$s$G$$$F;W$C$?$N$G$9$,!"D>4Q<g5A$C$F=q$$$F$$$k$1$I!"$3$N(J
$@K\$OD>4Q<g5A$K4p$E$$$F=q$+$l$F$$$k$o$1$G$O$J$$$N$G$9$M!#$@$$$?$$D>4Q<g(J
$@5A$C$FDj<02=$O(JUgly$@$G!"1~MQ$K4X$7$F$O(JPoor$@$@$H$$$&0u>]$7$+$J$$$N$G$9$,!"(J
$@$3$NK\$O3d$j$HLLGr$$$G$9!#$?$@!"Lr$KN)$D$+$I$&$+$OJ]>Z$N8B$j$G$O$"$j$^(J
$@$;$s$,!#$G!"$R$H$D5?Ld$,$"$k$N$G$9!#(J
  $@#6%Z!<%8$K!P#0!"#1!Q$,0lHL$K$O40HwB+$K$J$i$J$$$H=q$+$l$F$$$^$9$,!"$H(J
$@$$$&$3$H$O$3$N=89g$NItJ,=89g$C$FL5?t$K$"$k$H$$$&$N$,D>4Q<g5A$N$H$kN)>l(J
$@$J$N$G$7$g$&$+!##4#1%Z!<%8$NItJ,=89g$N8xM}$+$i9M$($F$b!"$I$&$b$=$N$h$&(J
$@$J$s$G$9$,!"2?$@$+D>4Q$KH?$7$F$$$k$h$&$J5$$,!"!"!"(J:-)


-- 
================================== $@0f>e9@0l!wBg:eI\N)9b@l(J=====================
                   Phone : (0720) 21-6401 ($@Fb@~(J304)  Fax : (0720) 21-0134
                   E-mail: f51323@sakura.kudpc.kyoto-u.ac.jp
=========================================$@;d$O(Jmohta$@;a$K5wN%$r$*$$$F$$$^$9!#(J====
Technical Details
Message-ID: <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!europa.asd.contel.com!darwin.sura.net!sgiblab!adagio.panasonic.com!chorus.mei!oskgate0.mei!icspub!wnoc-kyo!kuis!kudpc!sakura.kudpc.kyoto-u.ac.jp!f51323
References: <RYU.92Oct10105633@sysipk.sys.titech.ac.jp> <NAO.92Oct11151547@mimo.jaist-east.ac.jp>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!europa.asd.contel.com!darwin.sura.net!sgiblab!adagio.panasonic.com!chorus.mei!oskgate0.mei!icspub!wnoc-kyo!kuis!kudpc!sakura.kudpc.kyoto-u.ac.jp!f51323
From: f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi)
Newsgroups: fj.sci.math
Subject: Re: Q in intutionistic math.
Message-ID: <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp>
Date: 28 Oct 92 04:26:28 GMT
References: <RYU.92Oct10105633@sysipk.sys.titech.ac.jp> <NAO.92Oct11151547@mimo.jaist-east.ac.jp>
Sender: news@kudpc.kyoto-u.ac.jp
Organization: Osaka Prefectural College of Technology
Lines: 31
Nntp-Posting-Host: sakura.kudpc.kyoto-u.ac.jp