Newsgroups: fj.sci.math,fj.books
Path: galaxy.trc.rwcp.or.jp!jaist-news!cs.titech!wnoc-tyo-news!news.u-tokyo.ac.jp!s.u-tokyo!kuis!wd
From: wd@kurims.kyoto-u.ac.jp (Kamo Hiroyasu)
Subject: Re: philosophy of mathematics (Re: What use ?)
In-Reply-To: asoh@etl.go.jp's message of 30 Apr 93 04:41:02 GMT
Message-ID: <WD.93May1041314@suiren.kurims.kyoto-u.ac.jp>
Sender: news@kuis.kyoto-u.ac.jp
Nntp-Posting-Host: suiren.kurims.kyoto-u.ac.jp
Organization: Research Institute for Mathematical Sciences, Kyoto, Japan.
References: <1993Apr27.114318.3374@naragw.nara-wu.ac.jp>
	<ASOH.93Apr30134102@etlsu0.etl.go.jp>
Date: Fri, 30 Apr 1993 19:13:14 GMT
Lines: 27
Xref: galaxy.trc.rwcp.or.jp fj.sci.math:1745 fj.books:3344
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.books&nb=3344&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.

  $B$"$j$,$H$&$4$6$$$^$9!#(B

In article <ASOH.93Apr30134102@etlsu0.etl.go.jp>
 asoh@etl.go.jp (Hideki Asoh) writes:
 >$B$$$o$f$k?tM}E/3X$H$$$&$N$H$O$A$g$C$H0c$&$+$b$7$l$^$;$s$7!"(B
 >$B?t3X$=$N$b$N$K$D$$$F$N35@b$H8@$C$?$[$&$,$$$$$+$b$7$l$^$;$s$,!"(B
 >
 > S.Mac Lane: Mathematics, Form and Function, 1986, Springer-Verlag
 >
 >$B$O$I$&$G$7$g$&!)(B $BK.Lu$b=P$F$$$^$9!#(B
 >
 >  [$B5]<$(B]$B1J>;5H4F=$!?@VHxOBCK!"2,K\<~0l(B $B6&Lu!V?t3X(B --$B$=$N7A<0$H5!G=!W(B
 >  $B?9KL=PHG(B 1992

  $B<B$O$3$NK\$OGc$C$F$$$^$9!#$^$@!"$-$A$s$H$OFI$s$G$$$J$$$N$G$9$,!#(B
  $B$H$j$"$($:%Q%i%Q%i$H8+$?$H$3$m!"?t3X$r%M%?$K2?$+$r9T$J$&$?$a$KI,MW:G(B
$B>.8B$N?t3XCN<1$rBN7OE*$K$^$H$a$k$3$H$rL\E*$H$7$?K\$@$H$N0u>]$r$b$A$^$7(B
$B$?!#$@$+$i!"$3$NK\$N07$C$F$$$kFbMF$O?tM}E/3X$NAG:`$G$"$C$F!"$3$NK\$NFb(B
$BMF$=$N$b$N$,?tM}E/3X$G$"$k$H$$$&$3$H$G$O$J$$$N$G$O$J$$$+$H46$8$^$7$?!#(B
$B$D$^$j!"?t3X$,A4A3$o$+$C$F$$$J$$$N$K!"%G%?%i%a$J?tM}E/3X$b$I$-$r?b$lN.(B
$B$7$F$$$kFsN.$NE/3X<T$rL[$i$;$k$?$a$K!"!V$3$l$rFI$s$GM}2r$7$F$+$i=PD>$7(B
$B$FMh$$!W$H$D$-$D$1$k$K$OJXMx$JK\$G$7$g$&$,!"$3$l$rFI$a$P?tM}E/3X$,$o$+(B
$B$k$H$$$&$b$N$G$b$J$$$h$&$J5$$,$7$^$7$?!#(B
  $B$^$"!"<P$aFI$_$7$?$@$1$N0u>]$G$9$+$i!"4V0c$C$F$$$k$+$b$7$l$^$;$s!#$-(B
$B$A$s$HFI$s$G$+$i$b$&0lEY9M$($^$9!#(B

$B3{(B $B9@Lw(B@$B>pJs2J3X2J(B.$BF`NI=w;RBg3X(B
