🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #266

Re: Q in intuitionistic math.

#266
From: Shingo MATSUMOTO
Date: Mon, 16 Nov 1992 08:42
53 lines
2634 bytes
$@>>K\!wJdB-(J

In article <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
> |$@$"!"%o%+%C%?$h!#(J
> |$@MW$O!">ZL@$G$-$J$$$C$F$3$H$O!"8D?t$,0c$&%b%G%k$,$"$k$+$i$@$m$C$F(J
> |$@$$$$$?$$$o$1$G$7$g!#(J
>
>$@$=$&8@$$$?$+$C$?$h$&$J5$$,$7$^$9!#(J
>$@!t1s$$2a5n$N!"!"$C$FBLL\$+!#$O$O!#(J
>
>$@$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
>$@$F$/$l$l$P$C$F8@$C$F$b$d$C$Q$jBLL\$G$9$h$M$(!#(J
>$@!t$=$l$H$b$^$5$+$3$l$^$G0c$C$F$k!)(J

$@$H$3$m$G(J
$@$3$N&8$,$I$&$b%R%C%+%+%C%F$?$N$h$M!#(J
$@$3$l$O??56CM$N6u4V$G(J
$@$3$N>l9g$K$O0lHL$N0LAj6u4V$J$N$M!#(J
$@$@$+$i%V!<%kCM%b%G%k$8$c$J$/$F(J
$@GSCfN'$O$J$j$?$?$J$$$o$1$M!#(J

> |$@$3$l$O!"$=$l$H$O0c$&$N!#(J
> |$@>e$N$h$&$J$3$H$O!"8EE5O@M}>e$G9M$($F$k$+$i!"D>4Q<g5A>e$^$G1dD9$7$?$i(J
> |$@%@%a$J$N!#(J
>
>$@$($C!)(J V^$@&8(J $@$O8EE5O@M}$G:n$C$F$^$9$h!#(J

$@8EE5O@M}$G$D$/$C$F$"$k$3$H$H$O4X78$J$$$N!#(J
V$@!0&8$G(J
$@IaDL$N=89gO@$N%b%G%k$K$J$k$N$O(J
$@&8$,%V!<%kBe?t$K@)8B$5$l$k>l9g$@$h$M!#(J
$@$@$+$i!"D>4Q<g5A$N%b%G%k$NJ}$,(J
$@IaDL$N%b%G%k$h$jB?$/B8:_$9$k$o$1$G$9$M!#(J

$@!tD>4Q<g5AO@M}$G>ZL@$G$-$l$P(J
$@!tIaDL$NO@M}$G>ZL@$G$-$k$+$i(J
$@!t$"$?$j$^$($+(J

>$@$G!":#EY$3$=!"%[%s%H$K:#EY$3$=!"??LLL\$J<ALd!#(J
>$@JL$K(J V^$@&8(J $@$C$F!V40A4!W$8$c$"$J$$$s$G$7$g!)(J

$@$h$/9M$($?$i!V40A4!W$C$F!)(J
V$@!0&8$O%b%G%k$@$h!#(J

$@!tD>4Q<g5A$O40A4$+!"$H$$$&0UL#$+$H$*$b$C$F$7$^$C$?!#(J

$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
$@!!!!!!!!!!E4E4E4E4!!!!!!>>K\??8c(J (Shingo Matumoto)$@!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!!!!!E4!!!!(Jshingo@ipc02.rtri.or.jp$@!!!!!!!!!!!!!!(J $@!!!!!!!!!!!!!!!!(J
$@!!!!!!!!!!E4!!E4E4!!!!!!")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(J
$@!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g5;=Q8&5f=j!!M"Aw%7%9%F%`I>2A8&5f<<!!!!!!!!!!!!(J
$@!!!!E4E4E4!!!!!!!!E4!!!!#0#4#2#5!]#7#3!]#7#3#0#6!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!(J
$@!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](J
Technical Details
Message-ID: <531@keu02.rtri.or.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-kyo!kyu-cs!lab!utogw!sectrl!keu02!ipc02!shingo
References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-kyo!kyu-cs!lab!utogw!sectrl!keu02!ipc02!shingo
From: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Newsgroups: fj.sci.math
Subject: Re: Q in intuitionistic math.
Message-ID: <531@keu02.rtri.or.jp>
Date: 16 Nov 92 08:42:54 GMT
References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp>
Sender: news@keu02.rtri.or.jp
Reply-To: shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO)
Distribution: fj
Organization: Railway Technical Research Institute
Lines: 53