[pdf]線形論理の誕生
���������� � � �� �� � ��������� ����� � � �� �� �� ����� �� � � ��� ��� ����� �� � � �� �� ������ ��� ���� ����� � ���� � ���� �� � � � � � � � � � � � �� � ��� ! � � � � � � � � � � � � � � � � �� �� " # " # ����� � � ������� ����� � � ������� �� $��%� � � � &� �� �� � � � �� ��� � " # �" # � " # " #� � � �" # �" # � " #� � " #� � � �� � � ��� ! � � �� � � �� �� ���� ��� '� � ��'� � � � � � � �
Introduction to Mathematical Logic
数理論理学入門 高崎金久（京都大学） 〜京都大学での全学共通科目講義に基づく〜 目次 読み物 参考書 講義資料 読み物 E.T. ベル「数学をつくった人々（下）」（田中勇・銀林浩訳，東京図書） 著名な数学者の生涯と仕事を紹介するベルのこの有名な本は 19世紀のイギリス・アイルランドの数学者（ハミルトン，ケイリー， シルベスター，ブール）にかなりのページを費やしている． ジョージ・ブールについても生い立ちから数学以外の教養も含めて 詳しく紹介している． 竹内外史「現代集合論入門」（日本評論社，1971） これはもともと公理的集合論の本格的な解説を目的とした本であり， その意味でも重要だが，序章の「Logician小伝」はゲーデル以降の 有名な数理論理学者の履歴や業績を紹介していて，評伝としても読める． 筆者はほとんどの人たちと直接・間接に交流があったので， かなり生々しい話も出てくる． ダグ
Daily Life:演繹と帰納についてのノート
July 09, 2015 演繹と帰納についてのノート 以前他の分野の研究者の方と仕事をしていて、演繹というのを「普遍命題から個別命題を導く推論」と理解している方がいて、現代ではその意味で演繹を使うことはまずないです、とコメントしたことがある。しかしそういえば、演繹と帰納という言葉の用法はどのように変遷してきているのか、調べたことはなかった。今後綿密な調査は必要になると思うがとりあえず目立つものをならべておく。（数学的帰納法についてベインとサモンの項及び結論部分に追記しました。誤記をいくつか修正しました） (1) Mill, J.S. Systems of Logic (1843) 英米の科学方法論の教科書として19世紀には非常に大きな影響力を持った本。ただし、演繹と帰納の関係についてのミルの解釈は独特で、あらゆる推論は帰納であると主張して論争をまきおこした。「演繹」と「帰納」という言葉
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.logic.info.waseda.ac.jp/~eda/pdf/negation.pdf
