🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #14318

Re: Q in intutionistic math.

#14318
From: Satoshi Kobayashi
Date: Mon, 30 Nov 1992 10:43
52 lines
3747 bytes
$@>.NS(J@$@N6C+Bg3X$G$9!#:#F|$OBt;3%U%)%m!<$r$7$F$7$^$C$?!#(J
$@L@F|$O$b$&>/$795$($h$&!#(J

In article <RYU.92Nov28091918@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:

 |$@$=$&$@!";W$$$@$7$?!#(JZF$@$K$ODL>oGSCfN'$,4^$^$l$k$H$$$&$N$O!"$I$&$$$&$3$H(J
 |$@$J$N$G$7$g(J$@!)(J

ZF $@$O!"0l3,8EE5=R8lO@M}(J + $@=89g$K$D$$$F$N$$$/$D$+$N8xM}!"$H$$$&7A$GDj5A(J
$@$5$l$F$$$k$N$G!":G=i$+$iGS(J$@CfN'$r4^$s$G$$$^$9!#!V=89g$K$D$$$F$N$$$/$D$+(J
$@$N8xM}!W$NItJ,$@$1$r$H$C$F(J ZF $@$H8F$s$G$$$k$N$G$O$J$$$N$G(J$@$9!#(J

 |$@!c$A$g$C$HN,!d(J
 | |$@$$$&$b$N$J$N$+!W$H;W$C$?$j!"$3$N4V$+$i$N$3$N(J fj.sci.math $@$G=P$F$-$?OC(J
 | |$@$rFI$s$G$-$??M$,!"!V9=@.E*?t3X$C$F$J$s$+0[MM$J$3$H$r$d$C$F$k$J!W$H$+(J
 | |$@!V$J$s$+IBE*$JOC$P$C$+$j$@$J(J$@!W$H$+;W$o$l$k$H:$$k$J$"!"$H;d$O;W$C$F$$$k(J
 | |$@$N$G$9!#<B:]$K9=@.E*?t3X$G8&5f$5$l$F$$$k$3$H$NBgH>$O$A(J$@$C$H$bIBE*$G$O$J(J
 | |$@$/$F!"$H$F$b<+A3$JOC$G$9!#(J
 |
 |$@!V7W;;5!3X!W$H$7$F$O$9$4$/<+A3$J$b$N$@$H;W$$$^$9(J$@!#$?$@$=$N!V9=@.E*?t3X(J
 |$@$K$D$$$F$N>ZL@O@!W$N$h$&$JOC$7$O!"$^$"!"<+A3$J$b$N$@$H$$$&$K$O$+$J$jL5(J
 |$@M}$,(J$@$"$k$N$G$O!)(J

$@$G$b!"9=@.E*?t3X$K$D$$$F$N>ZL@O@$OIaDL$N8EE5O@M}$K4p$E$/M}O@$K$D$$$F$N(J
$@>ZL@O@$HFC$K5;=Q(J$@E*$JLL$GJQ$o$j$O$J$$$G$9$h!#$=$b$=$b!"8EE5E*$JM}O@$K$D(J
$@$$$F$N>ZL@O@$G$b!"5DO@$rD>4Q<g5AO@M}>e$NM}O@$N(J$@>l9g$K4T85$7$?$j$9$k$h$&(J
$@$J$3$H$r$h$/$d$C$F$$$^$9!#(J

 | | |$@!t$G$b$=$&$9$k$H!V%M%,%F%#%V$J$3$H!W$7$+2r(J$@$i$J$$!"!"!"(J
 | |
 | |$@%M%,%F%#%V$J$3$H$C$F$I$&$$$&$3$H$r;X$7$F$$$k$N$G$9$+(J?
 |
 |$@!VD>4Q<g5A$G$O!"$3$l(J$@$3$l$O>ZL@$G$-$J$$!W$H$$$&>ZL@!#(J

$@$=$&$$$&0UL#$G%M%,%F%#%V$J$3$H$7$+$o$+$i$J$$$o$1$G$O$J$$$H;W$$$^$9$1(J$@$I!#(J
$@Nc$($P!"!V(Jphi $@$,(J IZF $@$G>ZL@$G$-$k!W$H$$$&$3$H$,$o$+$C$?$i!"!V(Jphi $@$,(J ZF 
$@$G>ZL@$G$-$k!W$H$$$&$N$h(J$@$j$b6/$$7k2L$G$9!#$h$j<e$$<jCJ$@$1$rMQ$$$F>ZL@(J
$@$G$-$?$s$G$9$+$i!#<B:]!"(JIZF $@$G>ZL@$G$-$?$i!"G$0U$N(J V^(\Omega) $@$G2r<a$7(J
$@$?;~$K@5$7$$$3$H$,$o$+$k!#$=$3$G!"(J[\Omega] = 1 $@$H$$$&DjM}$,?7$?$KF@$i(J
$@$l$k$o$1$G$9$,(J$@!"$3$l$O0lHL$K(J \phi $@$H$OJL$N?7$7$$DjM}$K$J$C$F$$$F!"$7$+(J
$@$b!"(J\Omega $@$rJL$N$K$H$j$+$($k$HJL$NFbMF$NDjM}(J$@$K$J$C$?$j$9$k!#$=$&$9$k(J
$@$H!"(J\phi $@$H$$$&0l$D$NDjM}$r>ZL@$7$?$3$H$K$h$C$F!"<+F0E*$KJL$NDjM}$b?'!9(J
$@F@$i(J$@$l$?$3$H$K$J$C$F$&$l$7$$!"$H$$$&$N$,C]Fb@h@8$NK\$N6Z=q$-$J$o$1$G$9!#(J
$@$3$&$$$&Iw$K9M$($k$H!"(JZF $@$r$o$6$o(J$@$6<e$a$F(J IZF $@$K$7$F!"$=$NCf$G9M$($k$3(J
$@$H$K$b(J positive $@$J0UL#$,$"$k$+$bCN$l$J$$$o$1$G$9!#(J

$@$G$b!"A0$K$b(J$@8@$C$?$_$?$$$K!"(JIZF $@$NCf$G>ZL@$r$9$k$N$O$7$s$I$$$1$I!#(J
--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)
Technical Details
Message-ID: <SATOSHI.92Nov30194351@whale.ryukoku.ac.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-kyo!kuis!rins!satoshi
References: <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp> <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp> <RYU.92Nov2131119@sysipk.sys.titech.ac.jp> <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp> <RYU.92Nov4105137@sysipk.sys.titech.ac.jp> <ISHIHARA.92Nov5101428@

Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS
X-Google-Thread: f4956,c4930c4d3907c0b2
X-Google-Attributes: gidf4956,public
X-Google-ArrivalTime: 1992-11-30 04:38:35 PST
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-kyo!kuis!rins!satoshi
From: satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: Q in intutionistic math.
Message-ID: <SATOSHI.92Nov30194351@whale.ryukoku.ac.jp>
Date: 30 Nov 92 10:43:51 GMT
References: <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp>
 <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
 <RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
 <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
 <RYU.92Nov4105137@sysipk.sys.titech.ac.jp> <ISHIHARA.92Nov5101428@
Sender: news@rins.ryukoku.ac.jp
Organization: Ryukoku Univ., Seta, Japan
Lines: 52
In-reply-to: ryu@sys.titech.ac.jp's message of 28 Nov 92 00:19:18 GMT