ログインしていません

蔵書検索・予約

条件入力に戻る

ハイライト：ON OFF

出版者：講談社

出版年：2002年

分類：410

形態：図書

◎本のあらすじ: “カフェ・ド・ロンリ”へようこそ。カントルの集合のパラダイス、そこから噴出したパラドックス。数学をゲームにするための論理式。巨星ヒルベルトを打ちのめした青年ゲーデルの不完全性定理。京都のどこかにあるという“カフェ・ド・ロンリ”で弾む会話を聞いているうちに、いつのまにかロマンあふれる集合や論理の世界に引き込まれ、数学の基礎づけをめぐる論争＝数学基礎論論争の一番面白いところが手に取るようにわかります。

◎目次: 第１章　メニュー・集合のパラダイス（みかん一盛り
集合の工作　ほか）
第２章　メニュー・論理ゲーム（火星語で花見？
論理式で花見？　ほか）
第３章　メニュー・数学の基礎についての論争（梅シロップの夏
二〇世紀の夜明け　ほか）
第４章　エピローグ・わくわく２１世紀（健康の秋
天高く　ほか）

八杉満利子: １９３７年、東京都生まれ。東京大学数物系大学院修士課程修了、同博士課程中退。米イリノイ大学大学院留学。筑波大学電子・情報工学系助教授等を経て、現在、京都産業大学理学部計算機科学科教授。専門は数理論理学、計算可能解析学。理学博士（数学）。１９８５年、第五回猿橋賞受賞(本データはこの書籍が刊行された当時に掲載されていたものです)

林晋: １９５３年、広島県生まれ。立教大学大学院理学研究科博士課程前期修了。筑波大学大学院数学研究科博士課程後期修了。京都大学数理解析研究所助手等を経て、現在、神戸大学工学部情報知能工学科教授。専門は、計算機科学、ソフトウエア工学、数学史。理学博士（数学）(本データはこの書籍が刊行された当時に掲載されていたものです)

※予約できる点数は、１人１０点までです。
※長期未返却資料がある場合、お返しいただくまで新たな資料の予約申込みはできません。
※町田市に在住もしくは、多摩美術大学・東京工科大学・桜美林大学に在学、在勤で利用者登録されている方は、ホームページからの予約サービスは受けることができません。

所蔵件数は1件です。

現在の予約件数は0件です。

No.	所在場所	置き場所	分類	図書記号	巻冊記号	資料コード	形態	状態	禁帯
1	串川ひがし地域ｾﾝﾀｰ	開架	410			27724657	図書	在架

名称	書誌情報
書名	ｵﾊﾅｼｽｳｶﾞｸｷｿﾛﾝ
	お話・数学基礎論
副書名	ｽｳｶﾞｸﾃﾞﾜｶﾅﾗｽﾞﾀﾀﾞｼｲｹﾂﾛﾝﾆﾄｳﾀﾂﾃﾞｷﾙｶ
	数学では必ず正しい結論に到達できるか？
叢書名	ﾌﾞﾙ- ﾊﾞﾂｸｽ 1374
	ブルーバックス　１３７４
著者名１	ﾔｽｷﾞﾏﾘｺ
	八杉　満利子／著
著者名２	ﾊﾔｼｽｽﾑ
	林　晋／著
出版者	ｺｳﾀﾞﾝｼﾔ
	講談社
出版年	2002
ページ	243,4P
サイズ	18
ＩＳＢＮ	978-4-06-257374-0　(4-06-257374-1)
価格	0000900
内容紹介	“カフェ・ド・ロンリ”へようこそ。カントルの集合のパラダイス、そこから噴出したパラドックス。数学をゲームにするための論理式。巨星ヒルベルトを打ちのめした青年ゲーデルの不完全性定理。京都のどこかにあるという“カフェ・ド・ロンリ”で弾む会話を聞いているうちに、いつのまにかロマンあふれる集合や論理の世界に引き込まれ、数学の基礎づけをめぐる論争＝数学基礎論論争の一番面白いところが手に取るようにわかります。
個人件名	カントル
	ヒルベルト
	ゲーデル
件名	数学基礎論