Jump to main content

yr 〜
yr

Search results 56

Foundations of probability and physics -- 5 : Vaxjo, Sweden 24-27 August 2008. : international conference foundations of probability and physics-5 : FPP-5 : conference "foundation of probability and physics 5" : Aug 2008, Vaxjo, Sweden. (AIP Conference Proceedings ; 1101)

Foundations of probability and physics -- 5 : Vaxjo, Sweden 24-27 August 2008. : international conference foundations of probability and physics-5 : FPP-5 : conference "foundation of probability and physics 5" : Aug 2008, Vaxjo, Sweden. (AIP Conference Proceedings ; 1101)
Paper図書
American Institute of Physics2009.<M17-09-1964>
National Diet Library
  • Subject HeadingProbabilities -- Congresses. Quantum theory -- Congresses. Incompleteness theorems -- Congresses.

スマリヤン不完全性定理 改訳版

スマリヤン不完全性定理 改訳版
Paper図書
Raymond Smullyan [著], 高橋昌一郎 監訳, 川辺治之, 村上祐子 訳丸善出版2019.12<MA41-M19>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems
  • Note (General)初版のタイトル等: ゲーデルの不完全性定理(丸善 1996年刊) 原タイトル: Gödel's Incompleteness Theorems
  • Additional TitleGödel's Incompleteness Theorems

Incompleteness for higher-order arithmetic : an example based on Harrington's principle

Incompleteness for higher-order arithmetic : an example based on Harrington's principle
Paper図書
Yong ChengSpringerc2019
Other Libraries in Japan
  • Subject HeadingIncompleteness theorems
  • Subject Heading (ID)Incompleteness theorems

不完全性定理

不完全性定理
Paper図書
菊池誠 著共立出版2014.10<MA41-L33>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems
  • Alternative TitleThe Incompleteness Theorems
  • Alternative TitleThe Incompleteness Theorems

スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ

スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
Paper図書
レイモンド・M・スマリヤン 著, 川辺治之 訳日本評論社2014.11<MA41-L38>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems

今度こそわかるゲーデル不完全性定理

今度こそわかるゲーデル不完全性定理
PaperDigital図書
本橋信義 著講談社2012.3<MA41-J63>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems

ゲーデルに挑む : 証明不可能なことの証明

ゲーデルに挑む : 証明不可能なことの証明
Paper図書
田中一之 著東京大学出版会2012.4<MA41-J73>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems

ゲーデルの定理 : 利用と誤用の不完全ガイド

ゲーデルの定理 : 利用と誤用の不完全ガイド
Paper図書
トルケル・フランセーン [著], 田中一之 訳みすず書房2011.3<MA41-J51>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems

山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌

山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
PaperDigital図書
田中一之 著, バラマツヒトミ 絵日本評論社2019.12<MA41-M18>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 論理代数学 Godel's theorem Incompleteness theorems 論理計算 数学的論理学 現代論理学 数理論理学 Logic...

不完全性定理とはなにか : ゲーデルとチューリングの考えたこと (ブルーバックス ; B-1810)

不完全性定理とはなにか : ゲーデルとチューリングの考えたこと (ブルーバックス ; B-1810)
PaperDigital図書
竹内薫 著講談社2013.4<MA41-L11>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems チューリング, アラン Turing, Alan Math...

数学基礎論 4訂版 (放送大学教材 ; 2008)

数学基礎論 4訂版 (放送大学教材 ; 2008)
Paper図書
隈部正博 著放送大学教育振興会2008.3<MA41-J6>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems

ゲーデル不完全性発見への道 (双書・大数学者の数学 ; 6)

ゲーデル不完全性発見への道 (双書・大数学者の数学 ; 6)
Paper図書
北田均 著現代数学社2011.5<MA41-J55>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems ゲーデル, クルト

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
Paper図書
レイモンド・スマリヤン 著, 田中朋之, 長尾確 訳白揚社2008.5<MA41-J8>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems

不完全性定理と算術の体系 (ゲーデルと20世紀の論理学 ; 3)

不完全性定理と算術の体系 (ゲーデルと20世紀の論理学 ; 3)
Paper図書
田中一之 編東京大学出版会2007.3<MA41-H46>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems

不完全性定理 (岩波文庫)

不完全性定理 (岩波文庫)
Paper図書
ゲーデル [著], 林晋, 八杉満利子 訳・解説岩波書店2006.9<MA41-H36>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems

不完全性定理 : 数学的体系のあゆみ (ちくま学芸文庫)

不完全性定理 : 数学的体系のあゆみ (ちくま学芸文庫)
PaperDigital図書
野崎昭弘 著筑摩書房2006.5<MA41-H32>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems

Incompleteness in the land of sets

Incompleteness in the land of sets
Paper図書
Melvin FittingCollege Publicationsc2007
Other Libraries in Japan
  • Subject HeadingSet theory Incompleteness theorems
  • Subject Heading (ID)Set theory Incompleteness theorems

There's something about Gödel : the complete guide to the incompleteness theorem : pbk : hbk

There's something about Gödel : the complete guide to the incompleteness theorem : pbk : hbk
Paper図書
Francesco BertoWiley-Blackwell2009.
Other Libraries in Japan
  • Subject HeadingIncompleteness theorems Gödel's theorem Mathematics -...
  • Subject Heading (ID)Incompleteness theorems Gödel's theorem Mathematics -...

数学基礎論 3訂版 (放送大学教材 ; 2003)

数学基礎論 3訂版 (放送大学教材 ; 2003)
Paper図書
隈部正博 著放送大学教育振興会2003.3<MA41-H9>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems

完全性定理とモデル理論 (ゲーデルと20世紀の論理学 ; 2)

完全性定理とモデル理論 (ゲーデルと20世紀の論理学 ; 2)
Paper図書
田中一之 編東京大学出版会2006.10<MA41-H40>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 モデル理論 Godel's theorem Incompleteness theorems Model theory
RSS