「参考文献」タグアーカイブ

マンガ10.d 論理学4 ソクラテス/参考文献 − 哲学者編

プラトンによるとソクラテスは、混乱する政治の中で人々に、人の持つべき良い性質とは何か、その考えは正しいのかどうか、などの議論を投げかけたようです。

この話は準備中ですが、漫画のページはこちら

続きを読む マンガ10.d 論理学4 ソクラテス/参考文献 − 哲学者編

マンガ10.a 論理学-1/参考文献 − 古代ギリシア編

ここまで色々と数学や将棋空間の探索などを見てきましたが、これらと関係の深い「論理」について見てゆきたいと思います。

とにかく、奥が深くてたいへんです…。

この話は準備中ですが、漫画のページはこちら

続きを読む マンガ10.a 論理学-1/参考文献 − 古代ギリシア編

マンガ-5.b 「計算機と意味」中国語の部屋

中国語の部屋は、サールという哲学者が持ち出した議論です。

この話はよく見るのですが、正直なんだかよくわからなくなる話です。本編にも書いたとおり、一見関係がありそうだが、論理的には関係のないことの様な気がしています。中の人が理解してないのがいけないのなら、理解できるようにすればいいですが、それに意味があるとも思えません。

この話は準備中ですが、漫画のページはこちら

続きを読む マンガ-5.b 「計算機と意味」中国語の部屋

マンガ-3.a 「チューリングマシン① チューリングマシン」

チューリングマシンに突入です。

数学とはなにか、という議論をする中で、「形式化」というアイデアが出てきました。形式化によって数学の完全性や無矛盾性を証明することはできませんでしたが、数学をきっちりと定義したり、機械で実行するのにはとても有用な方法で、このアイデアを応用してコンピュータが作られました。

この話は準備中ですが、漫画のページはこちら

続きを読む マンガ-3.a 「チューリングマシン① チューリングマシン」