🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #19

Re: Q in intutionistic math.

#19
From: Shingo MATSUMOTO
Date: Thu, 29 Oct 1992 04:48
35 lines
2623 bytes
$@>>K\!wE4F;Am8&(J

In article <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes:
>  $@$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

$@D>4Q<g5A$NDj<02=1>!9$,(JUgly$@$+$I$&$+$O$7$j$^$;$s$,!"(J
$@1~MQ$OI,$:$7$b(JPoor$@$H$O$$$($J$$$G$7$g$&!#(J
$@D>4Q<g5A$r!V9=@.E*$K>ZL@$G$-$k@$3&!W$H9M$($l$P!"(J
$@?t3X$K$*$1$kD>4Q<g5A$N@$3&$O>.$5$$$G$7$g$&$,!"(J
$@9=@.E*@$3&$N6-3&$rL@$i$+$K$9$k$3$H$G!"$=$l$J$j$N(J
$@1~MQ$O$"$k$N$G$O$J$$$+$H$*$b$$$^$9$,!#(J

$@!t$b$C$H$b!"$$$o$f$k!VD>4Q<g5A!W$O9=@.E*8+CO$+$i$$$($P(J
$@!tIT==J,$J5$$,$9$k!#Nc$($P7W;;5!$G07$($k@$3&$J$I$H$$$C$?$i(J
$@!t(J($@4{B8$N?t3X$+$i$9$l$P(J)$@K\Ev$K>.$5$$$b$N$G$9$+$i$M$(!#(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:-)

$@!t:G8e$N%3%a%s%H$O(J
$@!tD>4Q<g5A$H$$$&$h$j!VD>46<g5A!W$N$h$&$J(J....(^^;)$@!#(J

$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
$@!!!!!!!!!!E4E4E4E4!!!!!!>>K\??8c(J (Shingo Matumoto)$@!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!!!!!E4!!!!(Jshingo@ipc02.rtri.or.jp$@!!!!!!!!!!!!!!(J $@!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!E4E4!!!!!!")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(J
$@!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g5;=Q8&5f=j!!M"Aw%7%9%F%`I>2A8&5f<<!!!!!!!!!!!!(J
$@!!!!E4E4E4!!!!!!!!E4!!!!#0#4#2#5!]#7#3!]#7#3#0#6!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
Technical Details
Message-ID: <510@keu02.rtri.or.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-kyo!kyu-cs!lab!utogw!sectrl!keu02!ipc02!shingo
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
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-kyo!kyu-cs!lab!utogw!sectrl!keu02!ipc02!shingo
From: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Newsgroups: fj.sci.math
Subject: Re: Q in intutionistic math.
Message-ID: <510@keu02.rtri.or.jp>
Date: 29 Oct 92 04:48:19 GMT
References: <RYU.92Oct10105633@sysipk.sys.titech.ac.jp> <NAO.92Oct11151547@mimo.jaist-east.ac.jp> <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp>
Sender: news@keu02.rtri.or.jp
Reply-To: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Organization: Railway Technical Research Institute
Lines: 35