2013-03-01から1ヶ月間の記事一覧
今回の哲学道場では、人間機械論は証明も反証も原理的に出来ない、という話をダシにして数学に第0次内包があるという主張であった。発表者は@Tarouphoさん、以下Tarou氏と表記する。 内包とは、クリプキとチャーマーズが提唱し、永井均が拡張した概念でざっ…
今回の哲学道場では、人間機械論は証明も反証も原理的に出来ない、という話をダシにして数学に第0次内包があるという主張であった。発表者は@Tarouphoさん、以下Tarou氏と表記する。 内包とは、クリプキとチャーマーズが提唱し、永井均が拡張した概念でざっ…