🚀 go-pugleaf

In article <4gesq2$9du@kudpc.kudpc.kyoto-u.ac.jp> 
a50348@sakura.kudpc.kyoto-u.ac.jp (masayoshi kiguchi) writes:

 | Penrose $B$NCx=q!V(BShadows of the Mind$B!W$N(B 2$B>O$G$O(B, Turing machine $B$r@0(B$BNs(B
 | $B$5$;!"BP3Q@~O@K!$GIT40A4@-DjM}$r>ZL@$7!"(B $BH`$N7kO@(B
 | 
 | $B!V?t3X<T$O?t3XE*$J??$r3N$+$a$k$?$a@5Ev(B(sound)$B$G$"$k$3$H$,J,$+$k$h$&$J(B
 | $B%"%k%4%j%:%`$r;H$C$F$O$$$J$$!W(B
 | 
 | $B$rF3$$$?5DO@(B

Penrose $B$N$3$3(B$B$G$N5DO@$O@N$+$i$"$k<!$N$h$&$J<gD%$N>F$-D>$7(B
$B$G$7$g$&!#@53N$JFbMF$O3P$($F$$$^$;$s!#(B15 $BG/$[$IA0$K8=(B $BN6(B$BC+(B
$BBg$N>.NS$5$s$+$i$3$N$h$&$J<gD%$,$"$k$HJ9$$$?$N$@$H;W$$$^$9!#(B

	G\"{o}del $B$N>ZL@$K8=$l$k7hDjITG=L?Bj(B G $B$O$=$NBN7O(B
	$B$G$O>ZL@$G$-$J$$$K$b$+$+$o$i$:?M4V$O$=$l$r@5$7$$$H(B
	$B$$$&$3$H$,$o$+$k!#$3$l$O?M4V$NG=NO(B$B$,7A<02=$G$-$J$$(B
	$B$3$H$N>Z5r$G$"$k!#(B

Penrose $B$O$3$l$r(B Turing $B5!3#$NDd;_LdBj$N7A$G=R$Y$F$$$^$9$,!"(B
$B<g(B$BD%$H$7$F$O$5$[$IJQ$o$i$J$$$h$&$K;W$($^$7$?!#(B

$B$3$N5DO@$N$$$$$+$2$s$5$K$D$$$F$O!"$A$g$C$H5$$N$-$$$?=$;N(B$B2](B
$BDx$N3X@8$J$i$P$?$@$A$K;XE&$G$-$k$H;W$$$^$9!#(B

"Shadows of the Mind" $B$N3:Ev8D=j$K$@$1L\$rDL$7$?$N$G(B$B!"A4BN(B
$B$N<gD%$K$D$$$F$O2?$b8@$($^$;$s$,!">/$J$/$H$b$3$NItJ,$+$i$O!"(B
$BCx<T$OE,@Z$J%"%I%P%$%9$rM?$($F$/$l(B$B$k@lLg2H$r;}$C$F$$$J$$$@(B
$B$m$&$H$$$&0u>]$r<u$1$^$7$?!#(B


	T.Shimura: shimura@math.cst.nihon-u.ac.jp