🚀 go-pugleaf

In article <1993Mar16.025147.27136@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes:
>$B$H$7$?5?Ld$G$7$?$N$G!"$=$l$O$b$&==J,G<F@$$$-$^$7$?!#?t3X$rIaDL$d$C$F$$(B
>$B$/>e$G$O!"=89gO@$N$3$H$O$[$H$s$I5$$K$7$^$;$s$N$G!"$I$s$J8xM}$bI,MW$J$$(B
>$B$H$b$$$($k$+$bCN$l$^$;$s!#!J$G$b!"$=$l$G5s$2B-$H$i$l$k$3$H$O$"$j$^$9$h(B

$B!V=89gO@$r!J=89gO@0J30$N!K?t3X$N4pAC$H$9$k$3$H$K5?Ld$,$"$k!W$H$$$&4QE@(B
$B$+$i!"(Bnon-well-founded set $B$X$N(B objection $B$H$7$F<!$NO@J8$,LLGr$+$C$?$N(B
$B$G>R2p$7$^$9!#(B

	Michael Barr: Functional set theory

	FTP-able from `triples.math.mcgill.ca' (132.206.150.30),
	directory `Barr', file `math_intelligencer.ps'

Mathematical intelligencer $B$H$$$&;(;o$K=P$?5-;v$N$h$&$G$9!#(B

Barwise & Moss $B$K$h$k!V(BA$B!_(BX$B!a(BX $B$N$h$&$JNN0hJ}Dx<0$r(B non-well-founded
set $B$G2r$1$k$h!W$H$$$&O@J8$rFI$s$G!"(B

	The purpose of this note is to suggest that the whole
	enterprise is wrong-headed

$B$H$$$&$3$H$@$=$&$G$9!#6/Nu$d$J$"!#(BNon-well-founded sets $B$G$NK\Ev$NLdBj(B
$BE@$O!"(B

	the irrelevance of actual elements in mathematics

$B$@!"$H$$$&$N$,O@E@$G!"$3$NO@J8$G$O!"=89g$N$D$/$k7w$N8xM}$rM?$($F!J%H%](B
$B%9!\&A!K!"$=$N8xM}$N$b$H$GNN0hJ}Dx<0$r2r$$$F$_$;$F$$$^$9!#$3$l<+BN$O0l(B
$BDj$N>r7o$rK~$?$97w$GNN0hJ}Dx<0$r2r$/$H$$$&$3$H$G!"FC$KL\?7$7$/$O$"$j$^(B
$B$;$s$,!"$H$K$+$/(B non-well-founded set $B$K$h$k0J30$N2r$K$J$C$F$$$^$9!#!_(B
$B!\"*$/$i$$$+$i$J$kNN0hJ}Dx<0$J$i(B Scott $BM}O@$G$b2r$1$^$9$,!#(B

$B=89g$G$d$k$H!"6qBNE*$9$.$k!"(Bsets have too much structure $B$H$$$&$N$,H`(B
$B$N7kO@$G$9!#(B


$B$-$N$7$?(B
-- 
KINOSHITA Yoshiki [KINOSHITA is my family name]
Department of Computer Science, University of Edinburgh
James Clark Maxwell Building, The King's Buildings, Edinburgh EH9 3JZ, Scotland
[On leave from Electrotechnical Laboratory, 1-1-4 Umezono, Tsukuba, 305 Japan]


-- 
KINOSHITA Yoshiki [KINOSHITA is my family name]
Department of Computer Science, University of Edinburgh
James Clark Maxwell Building, The King's Buildings, Edinburgh EH9 3JZ, Scotland
[On leave from Electrotechnical Laboratory, 1-1-4 Umezono, Tsukuba, 305 Japan]