home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / fj / sci / math / 749 < prev    next >
Encoding:
Text File  |  1992-11-17  |  2.8 KB  |  68 lines
  1. Newsgroups: fj.sci.math
  2. Path: sparky!uunet!ccut!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu
  3. From: ryu@sys.titech.ac.jp (ryu)
  4. Subject: Re: Q in intuitionistic math.
  5. In-Reply-To: shingo@ipc02.rtri.or.jp's message of 16 Nov 92 03:07:03 GMT
  6. Message-ID: <RYU.92Nov17082028@sysipk.sys.titech.ac.jp>
  7. Sender: news@sys.titech.ac.jp
  8. Organization: Tokyo Institute of Technology, Yokohama, Japan.
  9. References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp>
  10.     <530@keu02.rtri.or.jp>
  11. Distribution: fj
  12. Date: Mon, 16 Nov 1992 23:20:28 GMT
  13. Lines: 53
  14.  
  15.  
  16. $@$7$D$3$$3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J
  17.  
  18. In article <530@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
  19.  | |$@$?$/$5$s$J$s$+$J$$$h!#$=$l$3$=!V8m(J$@2r!W(J
  20.  |
  21.  |> $@$($($H!"(J{0} $@$N(J V^$@&8(J $@$X$NKd$a9~$_$r(J {0}' $@$H$7$^$9$M!#(J
  22. $@CfN,(J
  23.  |> $@$b$C$H$b!V0lHL$K$O#1$K$J$i$J(J$@$$!W$N$G$7$g$&$,!#(J
  24.  |
  25.  |$@!)>e$NJ8>O$N0UL#$,$h$/$o$+$i$s$,!#(J
  26.  
  27. $@$"!"$b$7$+$7$?$i0lHL$K#1$K$J$k$+$bCN$l$J$$(J$@!#$G$b!"$^$"!"7W;;$9$j$c2r$k(J
  28. $@$3$H$@$+$iJL$K$$$$$G$9$M!#(J
  29.  
  30.  |$@!!$H$$$&$3$H$G!";d$J$j$K@0M}$7$^$7$?!#(J
  31.  |1.$@$^$:!"(Jx$@$,(J{},{0},{1},{0,1}$@$N$I$l$+$KEy$7$$$H$9$l$P(J
  32.  |$@!!(Jx$@$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&$N$O(J
  33.  |$@!!$I$s$J%b(J$@%G%k$G$b??56CM$O#1(J
  34.  |2.$@<!$K!"(Jx$@$,(J{},{0},{1},{0,1}$@$N$I$l$G$b$J$1$l$P(J
  35.  |$@!!(Jx$@$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&(J$@$N$O(J
  36.  |$@!!$I$s$J%b%G%k$G$b??56CM$O#0(J
  37.  
  38. $@$($H$G$9$M!"!VEy$7$$$H$9$l$P!W$H$+!V$I$l$G$b$J$1$l$P!W$H$+$,$I$3(J$@$NN)>l(J
  39. $@$G$NI=8=$+$O$C$-$j$7$F$b$i$($^$;$s$+!##2$N!V$I$l$G$b$J$1$l$P!W$C$F$N$,(J
  40. $@%b%G%k$r30$+$i8+$?>l9g$N(J$@I=8=$@$H$7$?$i!"4V0c$$$G$9$h!#(J
  41.  
  42. $@$@$$$?$$(J $@!V(J{0,1} $@$,!J0lHL$K$O!K40Hw$K$O$J$i$J$$!W$C$F$N$b!"D>4QO@M}$N(J
  43. $@HO0OFb$G$O>ZL@$G$-$F$J$$$C$F$N$K!#$=$l$r$O$C$-$j$7$F$J$$$+$i$3$s$J$K:x(J
  44. $@An$7$F$7$^$C$?$s$8$c!"$"$"$j$^(J$@$;$s$+!)(J
  45.  
  46.  |3.$@<B$O!">e$N#2$D$N$[$+$K(J1.$@!"(J2.$@$N$I$A$i$G$b$J$$!"$9$J$o$A!"(J
  47.  |$@!!(Jx$@$,(J{},{0},{1},{0,1}$@$N$I$l$+(J$@$G$"$k$+!"$G$J$$$+$o$+$i$J$$(J
  48.  |$@!!$H$$$&>l9g$,$"$k!#(J
  49.  |$@!!$3$N>l9g(J
  50.  |$@!!(Jx$@$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&$N(J$@$O(J
  51.  |$@!!%b%G%k$K$h$C$F??56CM$O$3$H$J$k!#(J
  52.  |
  53.  |$@!!$@$+$i!"%b%G%k$K$h$C$F$O(J
  54.  |$@!!(J3.$@$N$h$&$J(J x$@$K$D$$$F(J
  55.  |$@!!(J$@??56CM$,#1$G$"$k$H$9$l$P(J
  56.  | $@!V%?%/%5%s!W$"$k$h$&$K$_$($k!#(J
  57.  |
  58.  |$@!J$A$J$_$K(J3.$@$K$"$?$k(Jx$@$O8EE5=89gO@>e$G(J$@$OB8:_$7$J$$$b$N$G$"$k$+$i(J
  59.  |$@!!6qBNE*$K$"$k(Jx$@$,$"$C$F!"$=$l$,(J{0,1}$@$NItJ,=89g$G$"$k$H$$$&$3$H$H(J
  60.  |$@!!$O$A(J$@$g$C$H$3$H$J$k!#!K(J
  61.  
  62. $@$=$l$OD>4QO@M}$@$1$NOC$7$8$c$J$$$G$7$g!#(J
  63. [not A or A] = 1 $@$G$b$C$F!"=89g$G$J$$$h$&(J$@$J(J A $@$OIaDL$N%V!<%kCM%b%G%k>e(J
  64. $@$K$OIe$k$[$I$"$k$1$I!"!"!"(J
  65. $@$3$NOC$7$N$I$3$,(J {0,1} $@D>4Q<g5AE*=89gO@$G$O0l(J$@HL$K40Hw$H$J$i$J$$!"$C$F(J
  66. $@$3$H$H4X78$7$F$k$s$G$9$+!)(J
  67.  
  68.