close
1.

図書

図書
L.ヴィトゲンシュタイン [著] ; 藤本隆志, 坂井秀寿訳
出版情報: 東京 : 法政大学出版局, 1968.7  ii, 344p ; 20cm
シリーズ名: 叢書・ウニベルシタス ; 6
所蔵情報: loading…
目次情報:
ヴィトゲンシュタイン小伝 / 坂井秀寿著
論理哲学論考(一九二一年) / [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 坂井秀寿訳
哲学探究(一九五三年)抄 / [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 藤本隆志訳
ヴィトゲンシュタイン小伝 / 坂井秀寿著
論理哲学論考(一九二一年) / [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 坂井秀寿訳
哲学探究(一九五三年)抄 / [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 藤本隆志訳
2.

図書

図書
G.スペンサー=ブラウン著 ; 大澤真幸, 宮台真司訳
出版情報: 東京 : 朝日出版社, 1987.4  xxiv, 171p ; 22cm
所蔵情報: loading…
3.

図書

図書
ヒルベルト, アッケルマン共著 ; 伊藤誠訳
出版情報: 東京 ; 大阪 : 大阪教育図書, 1954.5  9, 207p ; 22cm
所蔵情報: loading…
4.

図書

図書
Peter B. Andrews [著] ; 小川原倫子訳
出版情報: 東京 : 丸善, 1987.12  xv, 316p ; 22cm
所蔵情報: loading…
5.

図書

図書
G.ポリア著 ; 柴垣和三雄訳
出版情報: 東京 : 丸善, 1959.1  22, 310p ; 22cm
シリーズ名: 数学における発見はいかになされるか / ポリア [著] ; 1
所蔵情報: loading…
6.

図書

図書
竹内外史著
出版情報: 東京 : 培風館, 1973.4  iv, 118p ; 22cm
シリーズ名: 数理科学シリーズ / 山内恭彦, 弥永昌吉企画編集 ; 7
所蔵情報: loading…
7.

図書

図書
米谷達也, 数理哲人著
出版情報: 京都 : 現代数学社, 2018.1  219p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 : ロジックの基礎
第2章 : ことばの中の論理
第3章 : 三段論法の特訓
第4章 : 法科大学院適性試験での実践例
第5章 : 数学における含意命題
第6章 : 整数問題に挑戦
第1章 : ロジックの基礎
第2章 : ことばの中の論理
第3章 : 三段論法の特訓
概要: 数学的思考を必要とする方々へ。物事を筋道立てて考えられるように頭脳を鍛え、賢明な思考を働かすことが出来れば、新しい世界が開けます。
8.

図書

図書
板井昌典著
出版情報: 東京 : 共立出版, 2017.8  xi, 200p ; 21cm
シリーズ名: 数学のかんどころ ; 31
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 命題論理
第2章 : 述語論理
第3章 : 計算可能性とチューリング機械
第4章 : 命題論理の充足可能性問題
第5章 : 述語論理の決定不能性
第6章 : ブール代数
第7章 : 形式手法と数理論理学
第1章 : 命題論理
第2章 : 述語論理
第3章 : 計算可能性とチューリング機械
9.

図書

図書
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2018.9  v, 312p ; 22cm
シリーズ名: スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻
所蔵情報: loading…
目次情報: 続きを見る
第1部 命題論理と一階述語論理の進んだ話題 : 命題論理の進んだ話題
一階述語論理の進んだ話題
第2部 再帰的関数論とメタ数学 : 再帰的関数論、決定不能性、不完全性
初等形式体系と再帰的枚挙可能性
再帰的関数論
二重化による一般化
メタ数学とのつながり
第3部 コンビネータ論理の構成要素 : コンビネータ論理事始め
さまざまなコンビネータ
賢者、預言者、それらの二重化
完全体系と部分体系
コンビネータ、再帰的関数論、決定不能性
第1部 命題論理と一階述語論理の進んだ話題 : 命題論理の進んだ話題
一階述語論理の進んだ話題
第2部 再帰的関数論とメタ数学 : 再帰的関数論、決定不能性、不完全性
概要: スマリヤンが追求した不完全性定理後の数理論理学。数学者レイモンド・M・スマリヤン(1919‐2017)。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学(数学基礎論)の入門書。得意のジョークも交えた独特の筆致で読者 を数理論理学の深い理解へと誘います。 続きを見る
10.

図書

図書
ロジャー・ペンローズ [著] ; 林一訳
出版情報: 東京 : みすず書房, 2016.11  2冊 ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
第1部 心の理解になぜ新しい物理学が必要なのか意識的思考の計算不可能性 : 意識と計算(心と科学
ロボットはこの面倒な世界を救うことができるか?
計算と意識的思考のA、B、C、D ほか
ゲーデル的論法 : ゲーデルの定理とテューリング機械
計算
非停止計算 ほか
数学的思考における計算不可能性の論拠 : ゲーデルとテューリングは何を考えたのか?
不健全なアルゴリズムは数学的理解を可知的な仕方でシミュレートできるか?
可知的アルゴリズムは数学的理解を不可知の仕方でシミュレートできるか? ほか)
第2部 心を理解するのにどんな新しい物理学が必要なのか心のための計算不可能な物理学の探究 : 古典物理学には心のための場所はあるのか(心と物理法則
今日の物理学における計算可能性とカオス ほか
量子世界の構造 : 量子論—パズルとパラドクス
エリツァー‐ヴァイドマン爆弾テスト問題 ほか
量子論と実在 : Rは実在の過程であるか
多世界型の観点 ほか
量子論と脳 : 脳の機能における大規模量子活動?
ニューロン、シナプス、そしてコンピュータ ほか
含意は? : 人工知能「装置」
コンピュータにうまくできること、できないこと ほか)
第1部 心の理解になぜ新しい物理学が必要なのか意識的思考の計算不可能性 : 意識と計算(心と科学
ロボットはこの面倒な世界を救うことができるか?
計算と意識的思考のA、B、C、D ほか
概要: 『皇帝の新しい心』に続く“心”の理論。人間の脳はコンピュータでシミュレートできるのか?新しい物理学の姿が示される。<br />ゾウリムシはなぜ泳ぐのか?生物の振る舞いを支配する制御システムとは?宇宙の謎に立ち向かう気宇壮大な科学エッセイ。
11.

図書

図書
小島寛之著
出版情報: 東京 : 技術評論社, 2017.2  351p ; 19cm
シリーズ名: 知の扉シリーズ
所蔵情報: loading…
目次情報: 続きを見る
第1部 : 論理式に慣れよう
第2部 : 証明するとは何をすることか
第3部 : 自然数を舞台に公理系を学ぶ
第4部 : ゲーデルの定理の予告編で終わる
第1部 : 論理式に慣れよう
第2部 : 証明するとは何をすることか
第3部 : 自然数を舞台に公理系を学ぶ
概要: 論理式が難しく思えるのは単に慣れていないからだった!たった6個の論理記号といくつかの規則だけで証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する決定版。論理学の金子塔ゲーデルの定理の入口までご案内。
12.

図書

図書
J.N.クロスリー [ほか] 著 ; 田中尚夫訳
出版情報: 東京 : 共立出版, 1977.11  vi, 185p ; 19cm
シリーズ名: 共立全書 ; 553
所蔵情報: loading…
13.

図書

図書
吉田夏彦著
出版情報: 東京 : 岩波書店, 1986.10  154p ; 19cm
シリーズ名: New science age ; 21
所蔵情報: loading…
14.

図書

図書
ラディー・ラッカー著 ; 好田順治訳
出版情報: 京都 : 現代数学社, 1986.5  350p ; 22cm
所蔵情報: loading…
15.

図書

図書
清水義夫著
出版情報: 東京 : 東京大学出版会, 1984.11  ii, 181p ; 21cm
所蔵情報: loading…
16.

図書

図書
ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
出版情報: 東京 : 共立出版, 1985.6  11, 169p ; 19cm
所蔵情報: loading…
17.

図書

図書
長尾真, 淵一博 [著]
出版情報: 東京 : 岩波書店, 1983.1  ix, 202p ; 22cm
シリーズ名: 岩波講座情報科学 ; 7
所蔵情報: loading…
18.

図書

図書
荒畑靖宏著
出版情報: 東京 : 勁草書房, 2019.8  iv, 220p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 フレーゲ論理主義の母胎としての汎論理主義 : 論理の普遍性と論理主義
汎論理主義
個数言明と概念についての言明
汎論理主義、論理主義、値域、基本法則V
第2章 フレーゲの普遍主義と論理中心的窮境 : 推論計算としてのブールの計算論理と、普遍的記号言語としてのフレーゲの概念記法
計算としての論理と言語としての論理
フレーゲの形式主義批判における汎論理主義
汎論理主義と概念“馬”問題
普遍的媒体としての言語と意味論の表現不可能性
第3章 フレーゲの解明の方法 : フレーゲの「定義」
フレーゲの「解明」
解明と自然言語
『基本法則』第31節とメタ理論
『基本法則』第31節と解明
第4章 フレーゲの普遍主義とメタ論理 : フレーゲ論理学の普遍主義的解釈
フレーゲの真理観とメタ理論の可能性
フレーゲの反モデル論的論証
フレーゲの「新領域」と独立性証明
第1章 フレーゲ論理主義の母胎としての汎論理主義 : 論理の普遍性と論理主義
汎論理主義
個数言明と概念についての言明
概要: 形而上学との関連においてこそ見えてくる、時代を超えた哲学者フレーゲの真の姿!彼が最後まで手放さなかった「汎論理主義」とは。
19.

図書

図書
ニーボン著 ; 安藤洋美訳
出版情報: 東京 : 明治図書出版, 1970  181p ; 22cm
シリーズ名: 数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第1
所蔵情報: loading…
20.

図書

図書
中谷太郎著
出版情報: 東京 : 共立出版, 1967.11  2, 2, 188, 6p ; 22cm
シリーズ名: 新しい数学へのアプローチ ; 2
所蔵情報: loading…
21.

図書

図書
杉原丈夫著
出版情報: 東京 : 槙書店, 1975  126p ; 22cm
シリーズ名: 数学選書
所蔵情報: loading…
22.

図書

図書
ニーボン著 ; 安藤洋美訳
出版情報: 東京 : 明治図書出版, 1970  248p ; 22cm
シリーズ名: 数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第2
所蔵情報: loading…
23.

図書

図書
田村三郎著
出版情報: 京都 : 現代数学社, 1982.9  130p ; 22cm
所蔵情報: loading…
24.

図書

図書
ルイス・キャロル [著] ; 鈴木瑠璃子, 長島富太郎編訳
出版情報: 東京 : 大修館書店, 1987.2  viii, 180p ; 19cm
所蔵情報: loading…
25.

図書

図書
福山克著
出版情報: 東京 : 培風館, 1980.1  viii, 228p ; 22cm
シリーズ名: 現代数学レクチャーズ / 赤攝也監修 ; B-6
所蔵情報: loading…
26.

図書

図書
前原昭二著
出版情報: 東京 : 培風館, 1973.5  v, 236p ; 22cm
シリーズ名: 数理科学シリーズ / 山内恭彦, 弥永昌吉企画編集 ; 6
所蔵情報: loading…
27.

図書

図書
斎藤正彦著
出版情報: 東京 : 東京図書, 1980.10  vi,162p ; 22cm
所蔵情報: loading…
28.

図書

図書
斎藤晢郎著
出版情報: 東京 : 理想社, 1964.9  188p ; 22cm
所蔵情報: loading…
29.

図書

図書
倉田令二朗, 中村修著
出版情報: 東京 : 国土社, 1974.2  222p ; 19cm
シリーズ名: 数学ぶっくす ; 7
所蔵情報: loading…
30.

図書

図書
内井惣七著
出版情報: 京都 : ミネルヴァ書房, 1989.4  viii, 197p ; 21cm
所蔵情報: loading…
31.

図書

図書
白石光男著
出版情報: 東京 : 明玄書房, 1974.2  78p ; 22cm
所蔵情報: loading…
32.

図書

図書
リンコルン・K.ダースト[著] ; 玉木和之訳
出版情報: 東京 : 明治図書出版, 1975.3  212p ; 22cm
シリーズ名: 海外名著選 ; 59
所蔵情報: loading…
33.

図書

図書
永井成男著
出版情報: 東京 : 有信堂, 1964.9  371p ; 21cm
所蔵情報: loading…
34.

図書

図書
L.A.カルジェニン著 ; 日野寛三訳
出版情報: 東京 : 東京図書, 1966  168p ; 18cm
シリーズ名: 数学新書 ; 51
所蔵情報: loading…
35.

図書

図書
ゲオルク・クラウス著 ; 門上秀叡訳
出版情報: 東京 : 青木書店, 1960-1962  2冊 ; 18cm
シリーズ名: 唯物論叢書
所蔵情報: loading…
36.

図書

図書
矢野健太郎著
出版情報: 東京 : 共立出版, 1963  236,2p ; 22cm
シリーズ名: 市民の数学 / 黒田孝郎 [ほか] 編 ; 8
所蔵情報: loading…
37.

図書

図書
森下真一著
出版情報: 東京 : 共立出版, 1994.1  vi, 205p ; 22cm
シリーズ名: 情報数学講座 ; 10
所蔵情報: loading…
38.

図書

図書
D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 1993.10  xiii, 336p ; 22cm
シリーズ名: シュプリンガー数学クラシックス
所蔵情報: loading…
39.

図書

図書
ペー・エス・ノヴィコフ著 ; 石本新訳
出版情報: 東京 : 東京図書, 1965.8  iv, 314p ; 22cm
シリーズ名: 数学選書
所蔵情報: loading…
40.

図書

図書
ニーボン著 ; 安藤洋美訳
出版情報: 東京 : 明治図書出版, 1970.7  182p ; 22cm
シリーズ名: 数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第3
所蔵情報: loading…
41.

図書

図書
林晋著
出版情報: 東京 : コロナ社, 1989.12  viii, 177p ; 22cm
シリーズ名: コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3
所蔵情報: loading…
42.

図書

図書
エリ・マオール著 ; 三村護, 入江晴栄訳
出版情報: 京都 : 現代数学社, 1989.11  16, 317p ; 22cm
所蔵情報: loading…
43.

図書

図書
石谷茂著
出版情報: 大阪 : 大阪教育図書, 1967.1  v, 200p ; 22cm
所蔵情報: loading…
44.

図書

図書
細井勉著
出版情報: 東京 : 日本評論社, 1992.4  x, 249p ; 22cm
シリーズ名: 日評数学選書
所蔵情報: loading…
45.

図書

図書
大出晁著
出版情報: 東京 : 岩波書店, 1991.8  vi, 203p ; 19cm
所蔵情報: loading…
46.

図書

図書
吉永良正著
出版情報: 東京 : 講談社, 1992.12  293p ; 18cm
シリーズ名: ブルーバックス ; B-947
所蔵情報: loading…
47.

図書

図書
Dominique Snyers, André Thayse
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 125 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 271
所蔵情報: loading…
48.

図書

図書
J.A. Robinson
出版情報: Edinburgh : University Press, c1979  vi, 312 p. ; 23 cm
所蔵情報: loading…
49.

図書

図書
edited by J. Stern
出版情報: Amsterdam ; Oxford : North-Holland, 1982  xi, 384 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 107
所蔵情報: loading…
50.

図書

図書
G.フレーゲ著 ; 黒田亘, 野本和幸編
出版情報: 東京 : 勁草書房, 1999.9  iv, 358p ; 22cm
シリーズ名: フレーゲ著作集 / G.フレーゲ著 ; 4
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼