ご注文前に必ずご確認ください第1章 証明の形式化(命題の形式化証明の形式化、LKについて ほか)第2章 自然数論の無矛盾性の証明(自然数論の公理系無矛盾性の証明の準備 ほか)第3章 自然数論の無矛盾性:G¨odelの考察(自然数論の、直観主義的自然数論(HA)への翻訳計算可能なfunctional ほか)第4章 二階論理(二階論理の意味と問題二階論理の基礎 ほか)第5章 最近の話題(序論、第1章、第2章についての追加哲学と数学基礎論)商品番号：NEOBK-785696Takeuchi Gaishi Yasugi Mariko / Shomei Ron Nyumon Fukkanメディア：本/雑誌重量：382g発売日：2010/06JAN：9784320019355証明論入門 復刊[本/雑誌] (単行本・ムック) / 竹内外史/共著 八杉満利子/共著2010/06発売

出荷目安の詳細はこちら内容詳細「集合」抜きに現代数学は展開できない。集合とはなにかという問題は、新しい集合の公理の探究という問題をはらんで、現代数学の最も深い問題といってよい。集合概念がもたらす深遠な謎、集合論の中に潜むロマンチックな創造の精神、これらを数学の訓練を経ていない人々に説明した名著にカントールの評伝を追加して復刊。目次 : 第1章　立場の変換—翻訳語としての集合/ 第2章　天地創造—楽園追放/ 第3章　公理的集合論—現代数学の基盤/ 第4章　現代集合論—華麗なる展開/ 第5章　未来への招待—私の立場から/ カントール

ご注文前に必ずご確認ください数学基礎論—それは20世紀とともに始まった、新しい数学の分野である。その黎明期には、カントルやラッセルによって相次いで見出された集合論のパラドックス、そして、ゲーデルの不完全性定理など、数学の根幹を揺るがす発見が続いた。しかし数学基礎論は、決して数学の息の根を止めてしまったのではない。「ミレニアム懸賞問題」として知られるP=NP問題(P≠NP予想)やファジー論理、さらには人工知能との関わりなど、数学の最先端を切り開く分野でもあるのだ。日本を代表する数学基礎論の大家がその歴史、および現代的なトピックについて平易に解説した入門書。数学における集合論的方法集合論の公理数学的命題の形式化数学的推論の形式化数学的証明の形式化ゲーデル数不完全性定理自然数論の形式化自然数論に対する無矛盾性証明の必要性自然数論の無矛盾性証明のアイディア直観論理ファジー論理計算論集合論の課題基礎論の将来商品番号：NEOBK-2044837Maehara Shoji / Cho Takeuchi Gaishi / Cho / Sugaku Kiso Ron (Chiku Ma Gakugei Bunko Ma 41-1 Math & Science)メディア：本/雑誌重量：125g発売日：2017/01JAN：9784480097637数学基礎論[本/雑誌] (ちくま学芸文庫 マ41-1 Math & Science) / 前原昭二/著 竹内外史/著2017/01発売

現代数学の思想と展望 竹内外史 紀伊國屋書店スウガクテキ セカイカン タケウチ,ガイシ 発行年月：1982年02月 ページ数：189p サイズ：単行本 ISBN：9784314003841 本 科学・技術 数学

著者前原昭二(著) 竹内外史(著)出版社筑摩書房発売日2017年01月ISBN9784480097637ページ数202Pキーワードすうがくきそろんちくまがくげいぶんこまー41ー1ま スウガクキソロンチクマガクゲイブンコマー41ー1マ まえはら しようじ たけうち マエハラ シヨウジ タケウチ9784480097637内容紹介集合をめぐるパラドックス、ゲーデルの不完全性定理からファジー論理、P＝NP問題などのより現代的な話題まで。大家による入門書…※本データはこの商品が発売された時点の情報です。目次数学における集合論的方法/集合論の公理/数学的命題の形式化/数学的推論の形式化/数学的証明の形式化/ゲーデル数/不完全性定理/自然数論の形式化/自然数論に対する無矛盾性証明の必要性/自然数論の無矛盾性証明のアイディア/直観論理/ファジー論理/計算論/集合論の課題/基礎論の将来

■ジャンル：理学>数学>代数・幾何■ISBN：9784785311261■商品名：線形代数と量子力学 竹内外史/著★日時指定・銀行振込・コンビニ支払を承ることのできない商品になります商品情報商品名線形代数と量子力学　竹内外史/著フリガナセンケイ　ダイスウ　ト　リヨウシ　リキガク　キソ　スウガク　センシヨ　24著者名竹内外史/著出版年月198103出版社裳華房大きさ165P　22cm

著者竹内外史(著)出版社講談社発売日2001年05月ISBN9784062573320ページ数246Pキーワードしゆうごうとわなにかはじめてまなぶひとの シユウゴウトワナニカハジメテマナブヒトノ たけうち がいし タケウチ ガイシ9784062573320内容紹介名著、新装復刊！ 現代数学でどんな役割を果たしているのか？ 「集合」抜きに現代数学は展開できない。集合とはなにかという問題は、新しい集合の公理の探究という問題をはらんで、現代数学の最も深い問題といってよい。集合概念がもたらす、深遠な謎、集合論の中に潜むロマンチックな創造の精神、これらを数学の訓練を経ていない人々に説明した名著にカントールの評伝を追加して復刊！名著、新装復刊！現代数学でどんな役割を果たしているのか？「集合」抜きに現代数学は展開できない。集合とはなにかという問題は、新しい集合の公理の探究という問題をはらんで、現代数学の最も深い問題といってよい。集合概念がもたらす、深遠な謎、集合論の中に潜むロマンチックな創造の精神、これらを数学の訓練を経ていない人々に説明した名著にカントールの評伝を追加して復刊！※本データはこの商品が発売された時点の情報です。目次第1章 立場の変換—翻訳語としての集合/第2章 天地創造—楽園追放/第3章 公理的集合論—現代数学の基盤/第4章 現代集合論—華麗なる展開/第5章 未来への招待—私の立場から/カントール

    集合とはなにか 新書 の詳細 カテゴリ: 中古本 ジャンル: 産業・学術・歴史 数学 出版社: 講談社 レーベル: ブルーバックス 作者: 竹内外史 カナ: シュウゴウトワナニカ / タケウチガイシ サイズ: 新書 ISBN: 4062573326 発売日: 2001/05/01 関連商品リンク : 竹内外史 講談社 ブルーバックス

竹内外史(著者)販売会社/発売会社：講談社発売年月日：2001/05/20JAN：9784062573320

著者竹内外史(著)出版社裳華房発売日1981年03月ISBN9784785311261ページ数165Pキーワードせんけいだいすうとりようしりきがくきそすうがく センケイダイスウトリヨウシリキガクキソスウガク たけうち がいし タケウチ ガイシ9784785311261内容紹介 講義におけるオーソドックスな内容とは別に、数学と物理学を結ぶ興味ある問題として、線形代数が量子力学現象をいかに表現するかを解説したものである。 第1章では、ユニタリー作用素と自己共役作用素など線形空間の数学的理論を解説した。第2章では、線形代数の一番よい応用例として量子力学の入門を解説してある。また、付録として、量子論理の小文を載せてある。※本データはこの商品が発売された時点の情報です。