ゲーデルと20世紀の論理学【全4巻】：シリーズ・講座：東京大学出版会
ゲーデルと20世紀の 論理学 （ ロジック ） ［全4巻］ 第1巻 ゲーデルの20世紀 ［執筆者］田中一之／田中尚夫／鈴木登志雄／飯田隆／竹内外史／八杉満利子 19世紀中葉まで時代の動きに取り残され，中世スコラ学の形骸と化していた論理学は，ブール，フレーゲら数学者たちの突然の参入によって，見事な復興をとげた．そして20世紀．ゲーデルを筆頭に，個性豊かで才気煥発な数学者や哲学者たちがつぎつぎと壇上に現れた．彼らはしのぎを削って優れた技法を開発し，ドグマをぶつけ合って思考を深化させ，高度な学問領域としての「ロジック」を形成していった．本巻では，日本を代表するロジシャンたちが，自らの体験を踏まえ，20世紀のロジックの生きた姿を語る． 第2巻 完全性定理とモデル理論 ［執筆者］田中一之／坪井明人／野本和幸 ゲーデルが最初に証明した重要定理は，１階述語論理の完全性である．この定理は，
数学のためのRuby入門
はじめに このサイトは、プログラミング初心者にスクリプト言語Rubyを使えるようになってもらうことを目的としています。多くの入門書や解説ページと違い、プログラミングの主眼を数学に置いています。 解説の内容や順番は、もちろん数学をするために必要なものを優先しています。それだけでなく、例や演習問題にも、数学っぽいことを多く採り入れていく予定です。数学のトピックとして難しいと感じたところは飛ばして読んでもらって構いませんし、興味があれば調べてみるのもいいでしょう。 なお、プログラミングの解説ということもあり、OS（WindowsやLinuxなど）の基本的な動作や、ディレクトリ、圧縮ファイルの解凍といった程度の基礎知識は仮定します。そのあたりでつまずいているのでしたら、まずはそれらの基本操作を学ぶことをお勧めします。解説は主にWindowsを基調としていますが、Linuxでもあまり問題はないと思い
dblp: computer science bibliography
case-insensitive prefix search: default e.g., sig matches "SIGIR" as well as "signal"exact word search: append dollar sign ($) to word e.g., graph$ matches "graph", but not "graphics"boolean and: separate words by space e.g., codd modelboolean or: connect words by pipe symbol (|) e.g., graph|networkUpdate May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolea
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
