検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます

書誌情報サマリ

書名

逆数学 定理から公理を「証明」する

著者名 ジョン・スティルウェル／著
著者名ヨミ ジョン スティルウェル
出版者 森北出版
出版年月 2019.2

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

マイ本棚へ追加ログインするとマイ本棚を利用できます。

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1000050199279
書誌種別 図書
書名 逆数学 定理から公理を「証明」する
書名ヨミ ギャクスウガク テイリ カラ コウリ オ ショウメイ スル
著者名 ジョン・スティルウェル／著 　 田中 一之／監訳・解説 　 川辺 治之／訳
著者名ヨミ ジョン スティルウェル　タナカ カズユキ　カワベ ハルユキ
出版者 森北出版
出版年月 2019.2
ページ数・枚数 8,217p
大きさ・形態 22cm
ISBN 978-4-627-05451-6
分類記号 410.9
内容紹介 定理の証明には、いったいどれくらいの公理が必要なのだろう? 与えられた定理を証明するために必要な公理を探し求める「逆数学」。解析学の基礎を通して、逆数学の基本的な考え方を解説。歴史的な話題も取り上げる。
著者紹介 サンフランシスコ大学教授。著書に「数学のあゆみ」「不可能へのあこがれ」「初等数学論考」など。
件名1 数学基礎論



目次


内容細目

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館資料番号請求記号資料種別配架場所帯出区分状態 貸出
1 中央　0114298412410.9//図書一般自動化書庫貸出可在庫　  ○

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

ジョン・スティルウェル　田中 一之　川辺 治之
K理論 K理論
M.F.アティヤ… スマリヤン不完全性定理 スマリヤン不完全性定理
Raymond … 山の上のロジック学園　：　不完全性… 山の上のロジック学園　：　不完全性…
田中 一之／著,… アラビアン・ナイトのチェスミステリ… アラビアン・ナイトのチェスミステリ…
Raymond … シングマスター教授の千思万考パズル… シングマスター教授の千思万考パズル…
David Si… 組合せ数学 組合せ数学
ロビン・ウィルソ… ディック・ヘスの圧倒的パズルワール… ディック・ヘスの圧倒的パズルワール…
Dick Hes… スマリヤン数理論理学講義下巻 スマリヤン数理論理学講義下巻
レイモンド・M.… 無限 無限
イアン・スチュア… 哲学の奇妙な書棚　：　パズル,パラ… 哲学の奇妙な書棚　：　パズル,パラ…
Roy Sore… 対称性　：　不変性の表現 対称性　：　不変性の表現
Ian Stew… スマリヤン数理論理学講義上巻 スマリヤン数理論理学講義上巻
レイモンド・M.… 100人の囚人と1個の電球　：　知… 100人の囚人と1個の電球　：　知…
ハンス・ファン・… Aha!ひらめきの幾何学　：　アル… Aha!ひらめきの幾何学　：　アル…
Tom M.Ap… ENIAC　：　現代計算技術のフロ… ENIAC　：　現代計算技術のフロ…
Thomas H… ひとけたの数に魅せられて ひとけたの数に魅せられて
マーク・チャンバ… ロジックの世界　：　論理学の哲人た… ロジックの世界　：　論理学の哲人た…
ダン・クライアン… 迷路の中のウシ　：　数学探検コレク… 迷路の中のウシ　：　数学探検コレク…
イアン・スチュア… 箱詰めパズルポリオミノの宇宙 箱詰めパズルポリオミノの宇宙
ソロモン・ゴロム… チューリングと超(メタ)パズル　：… チューリングと超(メタ)パズル　：…
田中 一之／著 この本の名は?　：　噓つきと正直者… この本の名は?　：　噓つきと正直者…
レイモンド・M.… 組合せゲーム理論入門　：　勝利の方… 組合せゲーム理論入門　：　勝利の方…
MICHAEL … 群論の味わい　：　置換群で解き明か… 群論の味わい　：　置換群で解き明か…
David Jo… ゲーデルと20世紀の論理学(ロジ…4 ゲーデルと20世紀の論理学(ロジ…4
田中 一之／編 ゲーデルと20世紀の論理学(ロジ…3 ゲーデルと20世紀の論理学(ロジ…3
田中 一之／編
2020
クスノキの番人 クスノキの番人
東野 圭吾／著 52ヘルツのクジラたち 52ヘルツのクジラたち
町田 そのこ／著 ブラック・ショーマンと名もなき町の… ブラック・ショーマンと名もなき町の…
東野 圭吾／著 かいけつゾロリのレッドダイヤをさが… かいけつゾロリのレッドダイヤをさが…
原 ゆたか／さく… お探し物は図書室まで お探し物は図書室まで
青山 美智子／著 かいけつゾロリきょうふのエイリアン かいけつゾロリきょうふのエイリアン
原 ゆたか／さく… 推し、燃ゆ 推し、燃ゆ
宇佐見 りん／著 あつかったらぬげばいい あつかったらぬげばいい
ヨシタケ シンス… 逆ソクラテス 逆ソクラテス
伊坂 幸太郎／著 おしりたんてい おしりたんていのこ… おしりたんてい おしりたんていのこ…
トロル／さく・え STRAY　SHEEP STRAY　SHEEP
米津玄師／Ｖ 本当の自由を手に入れるお金の大学 本当の自由を手に入れるお金の大学
両@リベ大学長／… 夜明けのすべて 夜明けのすべて
瀬尾 まいこ／著 さらに、やめてみた。　：　自分のま… さらに、やめてみた。　：　自分のま…
わたなべ ぽん／… どこからきたの?おべんとう どこからきたの?おべんとう
鈴木 まもる／作… 半沢直樹 アルルカンと道化師 半沢直樹 アルルカンと道化師
池井戸 潤／著 アンパンマンとつみきのしろ アンパンマンとつみきのしろ
やなせ たかし／… 雨の日の地下トンネル 雨の日の地下トンネル
鎌田 歩／作 今度生まれたら 今度生まれたら
内館 牧子／著 せかいでさいしょにズボンをはいた女… せかいでさいしょにズボンをはいた女…
キース・ネグレー… そして、バトンは渡された そして、バトンは渡された
瀬尾 まいこ／著 滅びの前のシャングリラ 滅びの前のシャングリラ
凪良 ゆう／著 おたすけこびととおべんとう　：　W… おたすけこびととおべんとう　：　W…
なかがわ ちひろ… カケラ カケラ
湊 かなえ／著 きたきた捕物帖 きたきた捕物帖
宮部 みゆき／著 自転しながら公転する 自転しながら公転する
山本 文緒／著 AIロボット、ひと月貸します! AIロボット、ひと月貸します!
木内 南緒／作,… 1%の努力 1%の努力
ひろゆき／著 スマホ脳 スマホ脳
アンデシュ・ハン… アンパンマンとうみのあくま アンパンマンとうみのあくま
やなせ たかし／… くつやさんとおばけ くつやさんとおばけ
いわさき さとこ… ふしぎ駄菓子屋銭天堂14 ふしぎ駄菓子屋銭天堂14
廣嶋 玲子／作,… ふしぎ駄菓子屋銭天堂13 ふしぎ駄菓子屋銭天堂13
廣嶋 玲子／作,… かしこいうさぎのローズバッド かしこいうさぎのローズバッド
ルドウィッヒ・ベ… おばけのアッチとコロッケとうさん おばけのアッチとコロッケとうさん
角野 栄子／さく… うごきません。 うごきません。
大塚 健太／作,… じごくにアイス じごくにアイス
ナカオ マサトシ… ねこはるすばん ねこはるすばん
町田 尚子／作 パスタのひみつ パスタのひみつ
宮原 美香／まん… まちがいなく名探偵 まちがいなく名探偵
杉山 亮／作,中… もりのかばんやさん もりのかばんやさん
ふくざわ ゆみこ… ぎょうれつのできるスパゲッティやさ… ぎょうれつのできるスパゲッティやさ…
ふくざわ ゆみこ… ねずみくんはめいたんてい ねずみくんはめいたんてい
なかえ よしを／… ザリガニの鳴くところ ザリガニの鳴くところ
ディーリア・オー… 素敵な日本人　：　短編集 素敵な日本人　：　短編集
東野 圭吾／著 NHK「おかあさんといっしょ」最新… NHK「おかあさんといっしょ」最新…
花田ゆういちろう… でんにゃ でんにゃ
大塚 健太／作,… アンパンマンとみかづきまん アンパンマンとみかづきまん
やなせ たかし／… そのときがくるくる そのときがくるくる
すず きみえ／作… まちのおばけずかん　：　マンホール… まちのおばけずかん　：　マンホール…
斉藤 洋／作,宮…
673.97　673.97
ファミレスへいこう ファミレスへいこう
キッチンミノル／… 国民的チェーンめし研究　：　○○の… 国民的チェーンめし研究　：　○○の…
東山 広樹／著,… ロイヤルホストで夜まで語りたい ロイヤルホストで夜まで語りたい
朝日新聞出版／編 実録日本食堂の正直改革　：　国鉄改… 実録日本食堂の正直改革　：　国鉄改…
竹田 正興／著 小さな飲食店のお客が減らない値上げ 小さな飲食店のお客が減らない値上げ
難波 三郎／著 飲食店繁盛マニュアル2025年版 飲食店繁盛マニュアル2025年版
日本経済新聞出版… レストラン接客英語　：　ワンランク… レストラン接客英語　：　ワンランク…
大森 智子／著 日本ご当地チェーン大全　：　地元な… 日本ご当地チェーン大全　：　地元な…
 「感動体験」で外食を変える　：　丸… 「感動体験」で外食を変える　：　丸…
粟田 貴也／著 外食業・これだけやれば強くなる 外食業・これだけやれば強くなる
神山 泉／著 イラストで見る接客の基本とコツ　：… イラストで見る接客の基本とコツ　：…
渡邊 忠司／著,… 飲食店の「売り方・販促」工夫集13… 飲食店の「売り方・販促」工夫集13…
いわさきグループ… これからの飲食店数字の教科書　：　… これからの飲食店数字の教科書　：　…
東海林 健太郎／… お客が殺到する飲…'24〜'25年版 お客が殺到する飲…'24〜'25年版
入江 直之／著 東京いい店はやる店　：　バブル前夜… 東京いい店はやる店　：　バブル前夜…
柏原 光太郎／著 最新外食業界の動向とカラクリがよ〜… 最新外食業界の動向とカラクリがよ〜…
中村 恵二／著,… 美しい小さな飲食店の間取り 美しい小さな飲食店の間取り
 これからの飲食店マネジメントの教科… これからの飲食店マネジメントの教科…
山川 博史／著 人が辞めない飲食店「定着力」の強化… 人が辞めない飲食店「定着力」の強化…
三ツ井 創太郎／… パーフェクトサービスレストラン パーフェクトサービスレストラン
小松田 勝／著 ウルトラ・ニッチ　：　小さく始めろ… ウルトラ・ニッチ　：　小さく始めろ…
浜田 寿人／著 人気店・繁盛店のヒットメニュー大全… 人気店・繁盛店のヒットメニュー大全…
旭屋出版「近代食… 小さなお店のDX導入&お店創りスト… 小さなお店のDX導入&お店創りスト…
宮本 ヒロシ／著 ワンオペ店の仕込み術　：　バル・ビ… ワンオペ店の仕込み術　：　バル・ビ…
柴田書店／編 ゼロから始める繁盛店のつくり方 ゼロから始める繁盛店のつくり方
畠山 央至／著 走る!居酒屋　：　営業利益58%の… 走る!居酒屋　：　営業利益58%の…
大政 大祐／著 お客さん物語　：　飲食店の舞台裏と… お客さん物語　：　飲食店の舞台裏と…
稲田 俊輔／著 お客が殺到する飲…'23〜'24年版 お客が殺到する飲…'23〜'24年版
入江 直之／著 地方に行っても気がつけばチェーン店… 地方に行っても気がつけばチェーン店…
村瀬 秀信／[著… おいしいをつくる思考法　：　すべて… おいしいをつくる思考法　：　すべて…
鳥羽 周作／著 ニッポン美食立国論　：　「フーディ… ニッポン美食立国論　：　「フーディ…
柏原 光太郎／著 東京で十年。　：　店をもつこと、続… 東京で十年。　：　店をもつこと、続…
井川 直子／文,… 日本再生のレシピ　：　地方再生のレ… 日本再生のレシピ　：　地方再生のレ…
奥田 政行／著,… いも子さんのお仕事　：　夢をかなえ… いも子さんのお仕事　：　夢をかなえ…
阿佐美や いも子… すき家Walker すき家Walker
 東京大田区・弁当屋のすごい経営 東京大田区・弁当屋のすごい経営
菅原 勇一郎／著 愛と情熱の山田うどん　：　まったく… 愛と情熱の山田うどん　：　まったく…
北尾 トロ／著,… 最新給食ビジネスの動向とカラクリが… 最新給食ビジネスの動向とカラクリが…
日本給食業経営総… 外食を救うのは誰か 外食を救うのは誰か
鷲尾 龍一／著 キッチンカービジネスのすべて キッチンカービジネスのすべて
山下 義／監修,… お金をかけずにお客様が戻ってくる繁… お金をかけずにお客様が戻ってくる繁…
下川部 康雄／著 「おいしい」を経済に変えた男たち 「おいしい」を経済に変えた男たち
加藤 一隆／著 日本マクドナルド「挑戦と変革」の経… 日本マクドナルド「挑戦と変革」の経…
日本マクドナルド… お客さんに“習慣化”してもらう!移… お客さんに“習慣化”してもらう!移…
平山 晋／著 繁盛する小飲食店のつくり方　：　な… 繁盛する小飲食店のつくり方　：　な…
亀山 純一／著・… ワンオペ完全マニュアル　：　バル・… ワンオペ完全マニュアル　：　バル・…
柴田書店／編 お客が殺到する飲…'22〜'23年版 お客が殺到する飲…'22〜'23年版
入江 直之／著 成功するキッチンカー移動販売開業法… 成功するキッチンカー移動販売開業法…
烏川 清治／著 海外出店のリアル　：　人気店外食経… 海外出店のリアル　：　人気店外食経…
日本フードビジネ… 外食業DX　：　業界標準の指南書 外食業DX　：　業界標準の指南書
三輪 大輔／著
飲食店　チェーンストア
ファミレスへいこう ファミレスへいこう
キッチンミノル／… ラーメンの神様が泣き虫だった僕に教… ラーメンの神様が泣き虫だった僕に教…
北尾 トロ／著,… 「無印のカレー」はなぜ売れたのか?… 「無印のカレー」はなぜ売れたのか?…
中村 新／著 国民的チェーンめし研究　：　○○の… 国民的チェーンめし研究　：　○○の…
東山 広樹／著,… 行きたくなる撮りたくなるくすぐられ… 行きたくなる撮りたくなるくすぐられ…
ゲシュタルテン／… 小さな飲食店のお客が減らない値上げ 小さな飲食店のお客が減らない値上げ
難波 三郎／著 飲食店繁盛マニュアル2025年版 飲食店繁盛マニュアル2025年版
日本経済新聞出版… レストラン接客英語　：　ワンランク… レストラン接客英語　：　ワンランク…
大森 智子／著 日本ご当地チェーン大全　：　地元な… 日本ご当地チェーン大全　：　地元な…
 はたらく中華料理店 はたらく中華料理店
吉田 亮人／写真… ルワンダでタイ料理屋をひらく ルワンダでタイ料理屋をひらく
唐渡 千紗／著 外食業・これだけやれば強くなる 外食業・これだけやれば強くなる
神山 泉／著 食堂車の明治・大正・昭和 食堂車の明治・大正・昭和
かわぐち つとむ… 料理人という仕事 料理人という仕事
稲田 俊輔／著 イラストで見る接客の基本とコツ　：… イラストで見る接客の基本とコツ　：…
渡邊 忠司／著,… 飲食店の「売り方・販促」工夫集13… 飲食店の「売り方・販促」工夫集13…
いわさきグループ… これからの飲食店数字の教科書　：　… これからの飲食店数字の教科書　：　…
東海林 健太郎／… お客が殺到する飲…'24〜'25年版 お客が殺到する飲…'24〜'25年版
入江 直之／著 フードデリバリーのひみつ フードデリバリーのひみつ
工藤 ケン／まん… 地球上の中華料理店をめぐる冒険　：… 地球上の中華料理店をめぐる冒険　：…
関卓中／著,斎藤… 東京いい店はやる店　：　バブル前夜… 東京いい店はやる店　：　バブル前夜…
柏原 光太郎／著 すごいローカルチェーン100 すごいローカルチェーン100
BUBBLE‐B… 最新外食業界の動向とカラクリがよ〜… 最新外食業界の動向とカラクリがよ〜…
中村 恵二／著,… 美しい小さな飲食店の間取り 美しい小さな飲食店の間取り
 これからの飲食店マネジメントの教科… これからの飲食店マネジメントの教科…
山川 博史／著 カレー移民の謎　：　日本を制覇する… カレー移民の謎　：　日本を制覇する…
室橋 裕和／著 肉ビジネス　：　食べるのが好きな人… 肉ビジネス　：　食べるのが好きな人…
小池 克臣／著 人が辞めない飲食店「定着力」の強化… 人が辞めない飲食店「定着力」の強化…
三ツ井 創太郎／… パーフェクトサービスレストラン パーフェクトサービスレストラン
小松田 勝／著 人気店・繁盛店のヒットメニュー大全… 人気店・繁盛店のヒットメニュー大全…
旭屋出版「近代食… 小さなお店のDX導入&お店創りスト… 小さなお店のDX導入&お店創りスト…
宮本 ヒロシ／著 ワンオペ店の仕込み術　：　バル・ビ… ワンオペ店の仕込み術　：　バル・ビ…
柴田書店／編 コーヒー至福の一杯を求めて　：　バ… コーヒー至福の一杯を求めて　：　バ…
島村 菜津／著 ライフという名のレストラン ライフという名のレストラン
相場 正一郎／著 夜のお店解剖図鑑　：　お酒を出す店… 夜のお店解剖図鑑　：　お酒を出す店…
高橋 哲史／著 ゼロから始める繁盛店のつくり方 ゼロから始める繁盛店のつくり方
畠山 央至／著 お客さん物語　：　飲食店の舞台裏と… お客さん物語　：　飲食店の舞台裏と…
稲田 俊輔／著 <図説>世界の外食文化とレストラン… <図説>世界の外食文化とレストラン…
ウィリアム・シッ… 今日もレストランの灯りに 今日もレストランの灯りに
岩永 直子／著 お客が殺到する飲…'23〜'24年版 お客が殺到する飲…'23〜'24年版
入江 直之／著 地方に行っても気がつけばチェーン店… 地方に行っても気がつけばチェーン店…
村瀬 秀信／[著… おいしいをつくる思考法　：　すべて… おいしいをつくる思考法　：　すべて…
鳥羽 周作／著 ニッポン美食立国論　：　「フーディ… ニッポン美食立国論　：　「フーディ…
柏原 光太郎／著 魚ビジネス　：　食べるのが好きな人… 魚ビジネス　：　食べるのが好きな人…
ながさき 一生／… 東京で十年。　：　店をもつこと、続… 東京で十年。　：　店をもつこと、続…
井川 直子／文,… 食堂車は復活できるのか? 食堂車は復活できるのか?
堀内 重人／著 日本再生のレシピ　：　地方再生のレ… 日本再生のレシピ　：　地方再生のレ…
奥田 政行／著,… 日本料理の接客サービス　：　サービ… 日本料理の接客サービス　：　サービ…
三谷 柚紀子／著 有名店・人気店の進化するうどんの技… 有名店・人気店の進化するうどんの技…
旭屋出版「近代食… お金をかけずにお客様が戻ってくる繁… お金をかけずにお客様が戻ってくる繁…
下川部 康雄／著
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。