🚀 go-pugleaf

$@>.NSAo(J@$@N6C+Bg3X$G$9!#(J

In article <1993Mar20.192751.4127@etl.go.jp> yoshiki@etl.go.jp (KINOSHITA Yoshiki) writes:

 |>$@$3$l$OLLGr$=$&$G$9$M!#9qFb$N$I$3$+$+$i(J FTP $@$G$-$J$$$N$G$7$g$&(J$@$+!#:#(J 
 |>archie $@$7$F$_$?=j$G$O$=$l$i$7$$$N$O$J$$$h$&$G$9$,!#(J
 |
 |host:		etlport.etl.go.jp (192.31.197.99)
 |directory:	pub/kyocho/Papers/PostScript/Z
 |file name:	math_intelligencer.{dvi|ps|tex}.Z
 |
 |$@$K;}$C$F$-$F$*$-$^$7$?$N$G$I$&$>!#C"$7!"$7$P$i$/$7$?$i>C$7$F$7$^$&$+$b(J
 |$@CN$l$^$;$s!J%U%!%$%k$N@0M}(J$@$J$I$NET9g$G$9!K$N$G8fN;>5$/$@$5$$!#(J

$@$I$&$b$"$j$,$H$&$4$6$$$^$7$?!#$5$C$=$/(J ftp $@$7$^$7$?!#(J

 |$@!J9q30(J$@$@$H(J ftp $@$7$K$/$+$C$?$j$9$k>l9g$b$"$k$s$G$9$+!)(J $@CN$i$J$+$C$?!#!K(J

$@$(!<$H!"C1$K$G$-$l$P9qFb$GD4C#$7$?$[(J$@$&$,$$$$$N$+$J!"$H;W$C$?$@$1$G$9!#(J
$@;d$O%M%C%H%o!<%/4X78$N;v>p$O$h$/CN$i$J$$$N$G!"$9$_$^$;$s!#$G$b9M$((J$@$F$_(J
$@$?$i$=$s$J$K%5%$%:$NBg$-$J$b$N$G$b$J$$$7!"5$$K$9$k$3$H$O$J$$$N$+$J(J?

 |>$@:#;W$C$?$N$G$9$1$I!"(JX = N + (X -> X) $@$_$?$$$J$N$O!"(Jnon-well-founded
 |>sets $@$G2r$1$^$7$?$C$1(J?  $@$?$@$7!"(JN $@$O<+A3?t$N=89g$N$D$b(J$@$j$G$9!#;d$O(J 
 |>Aczel $@$NK\$b<B$O$=$l$[$I$A$c$s$HFI$s$G$J$$$7!":#<j85$K$b$J$$(J($@A0$K?^=q(J
 |>$@4[$+$i<Z$j$F(J$@$$$?$1$l$IJV$7$F$7$^$$$^$7$?(J)$@$N$G!"$h$/$o$+$j$^$;$s$1$I!D!#(J
 |>classical logic $@$G9M$($F$$$k$+$iG;EY$r(J$@9M$($k$H$@$a$J$h$&$J!D!#(JScott $@M}(J
 |>$@O@$@$H4X?t6u4V$N0UL#$rO"B3$J4X?t$N6u4V$K@)8B$9$k$+$i(J OK $@$@$1$l$I$b(J$@!#(J
 |
 |$@$\$/$O(J Aczel $@$NK\$b(J Barwise&Moss $@$NO@J8$bFI$s$G$J$$$N$G(J NWF sets $@$G$I(J
 |$@$&$J$N$+$O$^$C$?$/$o$+(J$@$j$^$;$s$,!"(JBarr $@$NO@J8$G$O(J $@"*(J $@$r4^$`NN0hJ}Dx<0(J
 |$@$O=P$F$-$F$$$^$;$s!#$G$b(J Barr $@$N8xM}$r2>Dj$7$?$i!""*(J$@$r4^$`J}Dx<0$b2r$1(J
 |$@$k$H;W$&$N$G!"(JBarwise&Moss $@$N$b$H$NO@J8$K$=$&$$$&$N$,$J$+$C$?$N$+$bCN(J
 |$@$l$^$;$s(J$@$M!#(J

$@$=$&$G$9$+!#$G$O!"(JBarr $@$N8xM}$b$J$,$a$J$,$i!"<+J,$G>/$79M$($F$_$^$9!#(J

 |>$@0lJ}!"D>4Q<g5AO@M}$K$7(J$@$F$7$^$&$H!"G;EY$NLdBj$K0z$C$+$+$i$:!"<B:]!">e$N(J
 |>$@$h$&$JJ}Dx<0$K2r$,$"$k$h$&$J=89gO@$N%b%G%k$,$"$k!"(J$@$H$$$&$N$O$@$s$V$sA0(J
 |>$@$+$iCN$i$l$F$$$k;v$@$H;W$$$^$9!#(J
 |
 |$@:#N6C+$K$$$k(J Andreas $@$N(J D $@O@(J $@!J#1#9#9#0(J$@G/$K=P$?$H;W$$$^$9!K$,$=$&$$$&(J
 |$@OC$N$h$&$G$9$M!#$=$l$h$jA0$KCN$i$l$F$$$?$N$G$9$+!)(J

Andreas $@$5$s$NOC(J$@$O!"3N$+2D;;$J(J combinatory algebra $@$r0l5s$KA4ItKd$a9~(J
$@$a$k%b%G%k$,$"$k!"$H$$$&$h$&$J46$8$N$3$H$G$7$?$h(J$@$M!#(J($@@%ED%;%_%J!<$GJ9(J
$@$$$?$N$O$=$&$$$&$N$@$C$?$H;W$$$^$9!#5-21$,$"$d$U$d$G$9$,!#(J)$@;d$O(J D $@O@$O(J
$@$b$i$C$F(J$@$J$$$N$G$9$1$I!#$=$&$$$&7A$NDjM}$O$=$l$^$G$J$+$C$?$s$@$H;W$$$^(J
$@$9!#$=$l$O$?$@(J X = X -> X $@$N$h$&$J$b$N(J$@$,(J(non-trivial $@$J(J)$@2r$r;}$D!"$H$$(J
$@$&$N$H$OBgJ,0c$$$^$9$+$i!#(J

$@$G!"A0$N5-;v$G;d$,=q$$$?=89gO@$N%b%G%k$N(J$@OC$G$9$,!":Y$+$$;v$OA4A33P$($F(J
$@$J$$$s$G$9!#$9$_$^$;$s!#(J

 |>$@$(!<!"$3$NItJ,$K$b%3%a%s%H$7$?$$$N$G$9$,!"(J$@:#$A$g$C$H;~4V$,$J$/$J$C$F$-(J
 |>$@$?$N$G!":#EY$b$7;~4V$,$"$C$?$i2?$+=q$-$^$9!#$G$O!#(J
 |
 |$@3Z$7$_$K$7$F$$(J$@$^$9!#!J>.NS$5$s$N5-;v$N0&FI<T$G$9(J :-$@!K7w$G$d$k$H!"ET9g(J

$@$3$l$O$I$&$b!#$*CQ$7$$!#(J

 |$@$N$$$$$H$-$K$@$1(J element $@$r;H$C$?5DO@$,$G$-$k$+$i$$$$$s$@!"$H$$$&%3%a(J
 |$@%s%H$O(J Barr & Wells $@$N652J=q$K$b$"$j$^$7$?!#(J

$@$J$k$[$I!#(J
--
$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(J $@>.NS(J  $@Ao(J |
satoshi@rins.ryukoku.ac.jp            | <- $@%"%I(J$@%l%9$rJQ$($^$7$?$,!"EvJ,$O(J
0775-43-7523($@3X2J;vL3<<(J) 7528($@8&5f<<(J) |    $@A0$N(J satoshi@whale.ryukoku.ac.jp
        7524(FAX)                     |    $@$G$bFO$-$^$9!#(J