Article View: fj.sci.math
Article #11Re: Q in intutionistic math.
From: Hajime Ishihara
Date: Fri, 30 Oct 1992 01:04
Date: Fri, 30 Oct 1992 01:04
32 lines
2643 bytes
2643 bytes
$@@P86!wKLN&@hC<Bg$G$9!#(J In article <1992Oct29.034746.29706@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes: >>In article <ISHIHARA.92Oct29095434@is15e0s10.jaist-east.ac.jp> ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara) writes: >>> >>> >> $@#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$&$+!#(J$@#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(J$@$&$J5$$,!"!"!"(J:-) >>> >>>$@$3$N5DO@$OD>4QO@M}$G$J$5$l$F$$$^$9!#<B:]#7%Z!<%8$N#8!$#99TL\$K(J >>> >>> $@$7$?$,$C$FD>4QO@M}$N$b$H$G$O&8$O0lHL$K$O#c#H#a$G$O$"$jF@$J$$!%(J >>> >>>$@$H$"$j$^$9!#(J >>> >>>In article <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes: >> >> $@$"$j$^$9$,!"$=$NM}M3$H$7$F!"$9$Y$F$N&W$K$D$$$F!"(Jnot$@&W(J or notnot$@&W$,(J >>$@@.$jN)$?$M$P$J$i$J$$$+$i$H$"$j!"$G$O$=$N&W$O$H$$$&$H!"!P#0!"#1!Q$NItJ,(J >>$@=89g$K4^$^$l$k$+$I$&(J$@$+$GDj5A$5$l$F$$$^$9$h$M!#!V;d$N(J:-)$@!WD>4Q$G9M$($k$H!"(J >>$@$=$N$h$&$J&W$O#4$D$7$+$J$$$h$&$K46$8$?$,!"(J$@D>4Q<g5A$G$O0c$&$N$G$7$g$&$+(J >>$@$H$$$&<q;]$N<ALd$G$9!#(J $@&W$r!V%U%'%k%^!<$NM=A[$,@.$jN)$D!W$H$7!"#A!a(J$@!P#x!'#x!a#1(J and $@&W!Q$H$9$k$H!#(J $@#A$O!P#0!$#1!Q$NItJ,=89g$G$9$,!"#A$,6u=89g(J($@%U%'%k%^!<$NM=A[$,@.$jN)$?(J$@$J$$(J)$@$+(J $@#A$,#1$r4^$`(J($@%U%'%k%^!<$NM=A[$,@.$jN)$D(J)$@$+$o$+$i$J$$=89g$H$J$j$^$9!#(J $@D>4Q<g5A$G$O$3$N$h$&$K%U(J$@%!%8!<$J=89g$b8=$o$l$F$7$^$$$^$9!#(J -- $@@P86(J $@:H(J : $@KLN&@hC<2J3X5;=QBg3X1!Bg3X(J $@>pJs2J3X8&5f2J!J>pJsO@M}3X(J$@!K(J
Technical Details
Message-ID:
<ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!news.hawaii.edu!sh.wide!wnoc-tyo-news!cs.titech!jaist-news!jaist-news!ishiharaReferences:
<NAO.92Oct11151547@mimo.jaist-east.ac.jp> <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp> <ISHIHARA.92Oct29095434@is15e0s10.jaist-east.ac.jp> <1992Oct29.034746.29706@kudpc.kyoto-u.ac.jp>Show Full Headers
Complete Article Headers
Newsgroups: fj.sci.math Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!news.hawaii.edu!sh.wide!wnoc-tyo-news!cs.titech!jaist-news!jaist-news!ishihara From: ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara) Subject: Re: Q in intutionistic math. In-Reply-To: f51323@sakura.kudpc.kyoto-u.ac.jp's message of Thu, 29 Oct 1992 03: 47:46 GMT Message-ID: <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp> Lines: 32 Sender: news@jaist-east.ac.jp Nntp-Posting-Host: is15e0s10 Organization: Japan Advanced Institute of Science and Technology Hokuriku, Ishikawa, Japan References: <NAO.92Oct11151547@mimo.jaist-east.ac.jp> <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp> <ISHIHARA.92Oct29095434@is15e0s10.jaist-east.ac.jp> <1992Oct29.034746.29706@kudpc.kyoto-u.ac.jp> Date: Fri, 30 Oct 1992 01:04:17 GMT