数学基礎論・論理学・数理哲学


【タイトル】
数学的世界観
【推薦者】
regusupe
【おすすめ】
とてもおすすめ
【コメント】
いい本です。
この本ではじめて竹内外史の存在を知りました。
完全に読み物ですけど、よいです。

数学的世界観―現代数学の思想と展望
竹内 外史
紀伊國屋書店
売り上げランキング: 516,010

【タイトル】
情報科学における論理
【推薦者】
regusupe
【おすすめ】
とてもおすすめ
【コメント】
有志で、この本を使ってゼミをやっています(11/17日現在)。
まだ全部は読んでいませんが、全体を眺めたとき厳密さと具体的さのバランスがいいかんじだと思います。
内容も古典論理から様相論理、直観主義論理まで幅広いです。
エルブランの定理ものっています。

情報科学における論理 (情報数学セミナー)
小野 寛晰
日本評論社
売り上げランキング: 356,579

コメントを残す

以下に詳細を記入するか、アイコンをクリックしてログインしてください。

WordPress.com ロゴ

WordPress.com アカウントを使ってコメントしています。 ログアウト / 変更 )

Twitter 画像

Twitter アカウントを使ってコメントしています。 ログアウト / 変更 )

Facebook の写真

Facebook アカウントを使ってコメントしています。 ログアウト / 変更 )

Google+ フォト

Google+ アカウントを使ってコメントしています。 ログアウト / 変更 )

%s と連携中