NetNews Usenet Archive 1992 #31/NN_1992_31.iso/spool/fj/sci/math/866

Internet Message Format | 1992-12-22 | 4.4 KB

Path: sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-tyo-news!etl.go.jp!gama!lab!utogw!sectrl!keu02!shingo
From: [e-mail] (Shingo MATSUMOTO)
Newsgroups: fj.sci.math
Subject: Re: IZF (Re: Q in int. math.)
Message-ID: <[e-mail]>
Date: 22 Dec 92 09:06:54 GMT
References: <[e-mail]>
    <[e-mail]>
    <[e-mail]>
    <[e-mail]>
Sender: [e-mail]
Distribution: fj
Organization: Railway Technical Research Institute
Lines: 64

$B>>K\!w?t3X2J$/$:$l$G$9!#(B

In article <[e-mail]> [e-mail] (Satoshi Kobayashi) writes:
> |$B$"!"$I$&$b$9$_$^$;$s!#(B$B7A<0<g5A$NGSCfN'$,!"ITO"7k@-$K$"$?$k$3$H$O!"$o$+$C$?(B
> |$B$N$G$9$,!"$I$&$b!"0lHL$N0LAj$KBP$7$F!"$I$&$$$&(B$B0LAj$r$H$k$H!"7A<0<g5A$N%b%G(B
> |$B%k$H$J$jF@$k$+$K$D$$$F!">/!9%-!<$,$9$Y$C$F$7$^$$$^$7$?!#$?$H$($P!"N%;6(B$B0LAj(B
> |$B$@$H!"7A<0<g5A$N%b%G%k$K$J$j$^$9!#(B

> $B$=$&$G$9$M!#N%;60LAj$J$i$b$A$m$s$=$&$J$j$^$9!#B?J,!"N%;6(B$B6u4V$K$J$i$J$$(B
> $B>l9g$G$b!"J,N%$G$-$J$$$h$&$J(B2$BE@$rF10l;k$7$F$D$V$7$?6u4V$,N%;6$K$J$k$s(B
> $B$8$c$J$$$+$J(B?$B0c$C$?$+$J(B?($B%A%'%C%/$7$F$_$F2<$5$$(B)

$B!!N%;6$NB>$K$b!"N%;6!uL)Ce$NAH$_$"$o$;$G$b!"3+=89g$NJd=89g$,$^$?(B$B3+=89g$K(B
$B$J$k$h$&$J$b$N$G$"$l$P!J$[$H$s$I(BBoole$BB+$NDj5A$KEy$7$/$J$C$F$7$^$$$^$7$?$,!K(B
$B$$$$$h$&$G$9!#$^(B$B$?>.NS@h@8$NJdB-$5$l$?@5B'3+=89g$H$$$&8+J}$b$"$j$^$9!#3N$+(B
$B$K1i;;$,B?>/0c$C$F$*$j$^$9$,!#(B

$B!!$5$i$K!"(B$B0LAj$K$3$@$o$i$J$1$l$P!"2DB,$J=89g$NB+$r$b$A$$$F!"#Z#F#C$N%b%G%k(B
$B$r$D$/$k$H$$$&J}K!$,$"$j$^$9!#(B

$B!!Fq(B$BGH!]@>B<$N!V8xM}E*=89gO@!W$N0l@a$G!"#V!J#B!K$r$3$N$h$&$K$H$i$($?$H$-$K!"(B
$B$=$NCf$G$N<B?t$O!"2DB,$J4X?t(B$B$KBP1~$9$k$H$$$&2U=j$,$"$j$^$7$?!##V!J#B!K$K$*$1(B
$B$kHyJ,J}Dx<0O@$d(B Fourier$BJQ49$K$D$$$F$O!"8&5f$N2ACM$,(B$B$"$k$H$b=R$Y$F$*$j$^$9!#(B
$B$3$N$"$?$j$OC]Fb@h@8$N8&5f$NF05!$HAjDL$:$k$b$N$,$"$k$h$&$J5$$,$7$^$9!#(B

> $B$H(B$B$3$m$G!"$3$&$$$&J8L.$G!V7A<0<g5A!W$H$$$&8@MU$r;H$&$N$O$I$&$b;d$K$O0c(B
> $BOB46$,$"$k$N$G$9$,!#!V7A<0<g5A(B$B!W$NCf?4E*$J;WA[$O(B($BBg$6$C$Q$K8@$&$H(B)$B!V7A(B
> $B<0E*$K$d$k$3$H!W$K$"$k$h$&$K;W$&$N$G!#3N$+$K7A<0<g5A$r$H$J(B$B$($?%R%k%Y%k(B
> $B%H$OGSCfN'$r<i$kN)>l$G(B Brouwer $B$H%1%s%+$7$F$^$7$?$,!#(B
> $B$3$3$NJ8L.$G$O!"!V8EE5O@M}!W$H(B$B=q$$$?J}$,NI$$5$$,$7$^$9!#(B

$B!!$=$&$G$9$M!#$3$3$G$O!"GSCfN'$,@.N)$D$+$I$&$+$H$$$&%l%Y%k$NOC$G$9$+$i(B
$BD>(B$B4Q<g5AO@M}$KBP$7$F$O!"8EE5O@M}$H$$$&$[$&$,E,@Z$G$7$?!#(B

$B!!$H$3$m$G!"(B IZF$B$N(B realizability$B$K$D$$$F$O!">\(B$B$7$$2r@b$r$7$F$$$?$@$-$^(B
$B$7$F!"$"$j$,$H$&$4$6$$$^$9!#(B
$B!!(Brealizability$B$K$D$$$F$O!"2?$i$+$N!V<B9T2DG=$J(B$BA`:n!W!J%W%m%0%i%`$N$h$&(B
$B$J!K$H$$$&G'<1$G$7$?$N$G!"$"$"$$$&$b$N$,(B realizability interpretation$B$H(B
$B$$$&(B$B$N$O!"$?$7$+$K%T%s$H$3$J$$$b$N$,$"$j$^$9!#(B
$B!J$b$A$m$s!"J86g$r$$$C$F$$$k$o$1$G$O$"$j$^$;$s!#!K(B

> $B$3$N(B$B$3$H$+$i$b$o$+$k$h$&$K!"=89g$r0z?t$H$7$F<u$1$H$C$F!"2?$i$+$N7W;;$r(B
> $B$9$k$h$&$J9=@.E*$J%*%Z%l!<%7%g%s(B$B$H$$$&$N$O!"$J$+$J$+9M$($K$/$$$N$G$9!#(B
> ($BNS?8$5$s$H;d$NK\$G07$C$F$$$k$h$&$J!"301d@-8xM}$N@.N)$7$J$$=8(B$B9g$NM}O@(B
> $B$G$O$^$?OC$,JL$G$9$,!#(B)

$B!!?t3X20$H$$$&$h$j!"7W;;5!20$K$J$C$F$7$^$C$?:#$G$O!"#P#X$N$h$&$J$b(B$B$N$b(B
$B$=$l$J$j$K<+A3$J46$8$,$7$^$9!#%W%m%0%i%`$O!"301dE*$K$O$H$i$($K$/$$$b$N(B
$B$G$9$+$i!#(B

$B!!$5$F!"$3$NOC(B$BBj$b$+$J$j9b>0$J$b$N$K$J$C$F$^$$$j$^$7$?!#;d$OITJY6/$N7j$r(B
$BKd$a$k$Y$/!"G/KvG/;O$O!"$I$3$+$N;3$NCf$X$G(B$B$bO6$C$FJY3X$KNe$`=jB8$G$9$N$G(B
$B!"EvJ,(Bfj.sci.math$B$H$O$*$5$i$P$$$?$7$^$9!#(B(^^;)

$B!!>.NS@h@8$r$O$8$a!"%U(B$B%)%m!<$7$F$$$?$@$$$?3'MM!"(B
  $B$"$j$,$H$&$4$6$$$^$7$?!#(B

$B!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](B$B!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](B
$B!!!!!!!!!!E4E4E4E4!!!!!!>>K\??8c(B (Shingo Matumoto)$B!!!!!!!!!!!!!!!!!!(B$B!!!!!!!!!!(B
$B!!!!!!!!!!E4!!!!!!E4!!!!([e-mail]$B!!!!!!!!!!!!!!(B $B!!!!!!!!!!!!!!!!(B
$B!!!!!!!!!!E4(B$B!!E4E4!!!!!!")#1#8#5!!El5~ET9qJ,;{;T8wD.#2!]#8!]#3#8!!!!!!!!!!!!!!(B
$B!!E4!!!!!!E4!!!!E4!!!!!!E4F;Am9g5;(B$B=Q8&5f=j!!M"Aw%7%9%F%`I>2A8&5f<<!!!!!!!!!!!!(B
$B!!!!E4E4E4!!!!!!!!E4!!!!#0#4#2#5!]#7#3!]#7#3#0#6!!!!!!!!(B$B!!!!!!!!!!!!!!!!!!!!!!(B
$B!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!]!](B