🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #207

Re: Q in intutionistic math.

#207
From: Hajime Ishihara
Date: Wed, 11 Nov 1992 00:43
29 lines
2279 bytes
$@@P86!wKLN&@hC<Bg$G$9!#(J

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

   >>In article <ISHIHARA.92Nov5101428@is15e0s10.jaist-east.ac.jp> ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara) writes:

   >> |$@Nc$($P!"$"$k(J($@8EE5E*(J)$@DjM}$rD>4Q<g5A!V$G!W>ZL@$7$h$&$H$7$^$9!#(J
   >> |$@$H$3$m$,!"$I$&$d$C$F$_(J$@$F$b>ZL@$G$-$=$&$b$"$j$^$;$s!#(J
   >> |$@$3$&$$$&>l9g!">ZL@$G$-$J$$;v$r>ZL@$7$J$1$l$P$J$j$^$;$s!#(J
   >> |$@$5$i$K!"(J($@;d$O(J)$@$I$NDxEY>ZL@$7$K$/$$$N$+!)(J
   >> |
   >> | A or not(A) $@$/$i$$$+!)(J not(A) or not(not(A)) $@$/$i$$$+!)(J
   >> |$@$O$?$^$?(J not(not(A)) -> A $@$/$i$$$+!)(J $@$=$N$$$E$l$G$b$J$$$+!)(J
   >> |
   >> |$@$J$I$H(J$@9M$($F$7$^$$$^$9!#(J
   >> |$@$3$3$^$GMh$k$HD>4Q<g5A!V$r!W8&5f$7$F$$$k$3$H$K$J$j$^$;$s$+!)(J
   >>
   >>$@%9%i(J$@%$%9$NOC$7$G$9$+!)(J
   >>$@$=$l$O$$$/$i$J$s$G$b!VCf4VO@M}!W$J$N$G$O!"!"!"(J

$@Cf4VO@M}$b4^$s$G$$$^$9$,!"8EE5(J$@O@M}$KL7=b$9$k$h$&$J8xM}$b(J
$@07$&$3$H$,$"$j$^$9$+$i!"@53N$K$$$&$HCf4V$G$O$"$j$^$;$s!#(J

$@$3$3$G!"D>4Q<g5A(J$@!V$G!W$H$+D>4Q<g5A!V$r!W$H$$$&$H$-!"$I$s$J!VD>4Q<g5A!W$r(J
$@;X$7$F$$$k$N$G$7$g$&$+!)(J
$@;d$O!V9-$$0UL#$G$N9=(J$@@.<g5A!WDxEY$K9M$($F$$$^$7$?!#(J
--
$@@P86(J  $@:H(J : $@KLN&@hC<2J3X5;=QBg3X1!Bg3X(J $@>pJs2J3X8&5f2J!J>pJsO@M}3X!K(J
Technical Details
Message-ID: <ISHIHARA.92Nov11094303@is15e0s10.jaist-east.ac.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!jaist-news!jaist-news!ishihara
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@is15e0s10.jaist-east.ac.jp> <RYU.92Nov9095504@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!jaist-news!ishihara
From: ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara)
Subject: Re: Q in intutionistic math.
In-Reply-To: ryu@sys.titech.ac.jp's message of Mon, 9 Nov 1992 00: 55:03 GMT
Message-ID: <ISHIHARA.92Nov11094303@is15e0s10.jaist-east.ac.jp>
Lines: 29
Sender: news@jaist-east.ac.jp
Nntp-Posting-Host: is15e0s10
Organization: Japan Advanced Institute of Science and Technology Hokuriku,
 Ishikawa, Japan
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@is15e0s10.jaist-east.ac.jp>
 <RYU.92Nov9095504@sysipk.sys.titech.ac.jp>
Date: Wed, 11 Nov 1992 00:43:03 GMT