home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / fj / sci / math / 748 < prev    next >
Encoding:
Internet Message Format  |  1992-11-16  |  2.5 KB
  1. Path: sparky!uunet!ccut!sh.wide!wnoc-kyo!kyu-cs!lab!utogw!sectrl!keu02!ipc02!shingo
  2. From: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
  3. Newsgroups: fj.sci.math
  4. Subject: Re: Q in intuitionistic math.
  5. Message-ID: <531@keu02.rtri.or.jp>
  6. Date: 16 Nov 92 08:42:54 GMT
  7. References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp>
  8. Sender: news@keu02.rtri.or.jp
  9. Reply-To: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
  10. Distribution: fj
  11. Organization: Railway Technical Research Institute
  12. Lines: 53
  13.  
  14. $@>>K\!wJdB-(J
  15.  
  16. In article <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
  17. > |$@$"!"%o%+%C%?$h!#(J
  18. > |$@MW$O!">ZL@$G$-$J$$$C$F$3$H$O!"8D?t$,0c$&%b%G%k$,$"$k$+$i$@$m$C$F(J
  19. > |$@$$$$$?$$$o$1$G$7$g!#(J
  20. >
  21. >$@$=$&8@$$$?$+$C$?$h$&$J5$$,$7$^$9!#(J
  22. >$@!t1s$$2a5n$N!"!"$C$FBLL\$+!#$O$O!#(J
  23. >
  24. >$@$G$J$/$F!"0c$&$N$O&8$G$9$M!#GO</$G$9$M$(!#$K$7$F$b0l8@!V&8$@$h!W$C$F8@$C(J
  25. >$@$F$/$l$l$P$C$F8@$C$F$b$d$C$Q$jBLL\$G$9$h$M$(!#(J
  26. >$@!t$=$l$H$b$^$5$+$3$l$^$G0c$C$F$k!)(J
  27.  
  28. $@$H$3$m$G(J
  29. $@$3$N&8$,$I$&$b%R%C%+%+%C%F$?$N$h$M!#(J
  30. $@$3$l$O??56CM$N6u4V$G(J
  31. $@$3$N>l9g$K$O0lHL$N0LAj6u4V$J$N$M!#(J
  32. $@$@$+$i%V!<%kCM%b%G%k$8$c$J$/$F(J
  33. $@GSCfN'$O$J$j$?$?$J$$$o$1$M!#(J
  34.  
  35. > |$@$3$l$O!"$=$l$H$O0c$&$N!#(J
  36. > |$@>e$N$h$&$J$3$H$O!"8EE5O@M}>e$G9M$($F$k$+$i!"D>4Q<g5A>e$^$G1dD9$7$?$i(J
  37. > |$@%@%a$J$N!#(J
  38. >
  39. >$@$($C!)(J V^$@&8(J $@$O8EE5O@M}$G:n$C$F$^$9$h!#(J
  40.  
  41. $@8EE5O@M}$G$D$/$C$F$"$k$3$H$H$O4X78$J$$$N!#(J
  42. V$@!0&8$G(J
  43. $@IaDL$N=89gO@$N%b%G%k$K$J$k$N$O(J
  44. $@&8$,%V!<%kBe?t$K@)8B$5$l$k>l9g$@$h$M!#(J
  45. $@$@$+$i!"D>4Q<g5A$N%b%G%k$NJ}$,(J
  46. $@IaDL$N%b%G%k$h$jB?$/B8:_$9$k$o$1$G$9$M!#(J
  47.  
  48. $@!tD>4Q<g5AO@M}$G>ZL@$G$-$l$P(J
  49. $@!tIaDL$NO@M}$G>ZL@$G$-$k$+$i(J
  50. $@!t$"$?$j$^$($+(J
  51.  
  52. >$@$G!":#EY$3$=!"%[%s%H$K:#EY$3$=!"??LLL\$J<ALd!#(J
  53. >$@JL$K(J V^$@&8(J $@$C$F!V40A4!W$8$c$"$J$$$s$G$7$g!)(J
  54.  
  55. $@$h$/9M$($?$i!V40A4!W$C$F!)(J
  56. V$@!0&8$O%b%G%k$@$h!#(J
  57.  
  58. $@!tD>4Q<g5A$O40A4$+!"$H$$$&0UL#$+$H$*$b$C$F$7$^$C$?!#(J
  59.  
  60. $@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
  61. $@!!!!!!!!!!E4E4E4E4!!!!!!>>K\??8c(J (Shingo Matumoto)$@!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
  62. $@!!!!!!!!!!E4!!!!!!E4!!!!(Jshingo@ipc02.rtri.or.jp$@!!!!!!!!!!!!!!(J $@!!!!!!!!!!!!!!!!(J
  63. $@!!!!!!!!!!E4!!E4E4!!!!!!")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(J
  64. $@!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g5;=Q8&5f=j!!M"Aw%7%9%F%`I>2A8&5f<<!!!!!!!!!!!!(J
  65. $@!!!!E4E4E4!!!!!!!!E4!!!!#0#4#2#5!]#7#3!]#7#3#0#6!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
  66. $@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
  67.