Jump to main content

yr 〜
yr

Search results 56

Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical foundations

Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical foundations
Paper図書
Danny A.J. Gómez RamírezSpringer Naturec2020
Other Libraries in Japan

Dag Prawitz on proofs and meaning : pbk

Dag Prawitz on proofs and meaning : pbk
Paper図書
editor, Heinrich WansingSpringerc2015
Other Libraries in Japan

Metamathematics : foundations & physicalization First edition

Metamathematics : foundations & physicalization First edition
Paper図書
Stephen WolframWolfram Media, INC.[2022]
Other Libraries in Japan

Memetakan metamatematik

Memetakan metamatematik
Paper図書
Abdul Latif SamianPenerbit Universiti Kebangsaan Malaysia2012
Other Libraries in Japan

Undecidable theories Dover ed

Undecidable theories Dover ed
Paper図書
Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. RobinsonDover Publications2010, c1953
Other Libraries in Japan

Introduction to metamathematics

Introduction to metamathematics
Paper図書
by Stephen Cole Kleene ; with a foreword by Michael BeesonIshi Press Internationalc2009
Other Libraries in Japan

Thinking about Gödel and Turing : essays on complexity 1970-2007

Thinking about Gödel and Turing : essays on complexity 1970-2007
Paper図書
Gregory J Chaitin ; with a foreword by Paul DaviesWorld Scientificc2007
Other Libraries in Japan

Algorithmic information theory : pbk

Algorithmic information theory : pbk
Paper図書
Gregory J. ChaitinCambridge University Press2004, c1987
Other Libraries in Japan

Gödel, Escher, Bach : an eternal golden braid 20th anniversary ed

Gödel, Escher, Bach : an eternal golden braid 20th anniversary ed
Paper図書
Douglas R. HofstadterBasic Booksc1999
Other Libraries in Japan

Gödel, Escher, Bach : an eternal golden braid : [pbk.] 20th-anniversary ed

Gödel, Escher, Bach : an eternal golden braid : [pbk.] 20th-anniversary ed
Paper図書
Douglas R. HofstadterPenguin2000, c1999
Other Libraries in Japan

証明論と計算量

証明論と計算量
Paper図書
竹内外史 著裳華房1995.11<MA41-G9>
National Diet LibraryOther Libraries in Japan

Mechanism, mentalism, and metamathematics : an essay on finitism / Judson Chambers Webb. (Synthese library ; v. 137)

Mechanism, mentalism, and metamathematics : an essay on finitism / Judson Chambers Webb. (Synthese library ; v. 137)
Paper図書
D. Reidelc1980.<MA41-177>
National Diet Library
  • Subject HeadingMetamathematics. Incompleteness theorems. Göde...

Foundations of mathematics : questions of analysis, geometry & algorithmics : gw : us

Foundations of mathematics : questions of analysis, geometry & algorithmics : gw : us
Paper図書
Erwin Engeler ; translated by Charles B. ThomasSpringerc1993
Other Libraries in Japan

A relational theory of computing / John G. Sanderson. (Lecture notes in computer science ; 82)

A relational theory of computing / John G. Sanderson. (Lecture notes in computer science ; 82)
Paper図書
Springer-Verlag1980.<M159-121>
National Diet Library
  • Subject HeadingComputer programming. Metamathematics. Teoria Da Computacao. Logica ...

Gödel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter.

Gödel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter.
Paper図書
Basic Booksc1979.<H151-5>
National Diet Library
  • Subject Heading.... Gödel, Kurt. Metamathematics. Symmetry. Artificial intellig...

Algorithmic information theory Reprinted with revisions

Algorithmic information theory Reprinted with revisions
Paper図書
Gregory J. ChaitinCambridge University Press1992, c1987
Other Libraries in Japan

証明論入門

証明論入門
PaperDigital図書
竹内外史, 八杉満利子 共著共立出版1988.2<MA41-E8>
National Diet LibraryOther Libraries in Japan

Unvollständigkeit und Unentscheidbarkeit. Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung. 2., berichtigte Aufl.

Unvollständigkeit und Unentscheidbarkeit. Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung. 2., berichtigte Aufl.
Paper図書
Springer1970.<MA41-39>
National Diet Library
  • Subject HeadingMetamathematics. Incompleteness theorems.

The metamathematics of algebraic systems, collected papers: 1936-1967 [by] Anatoliĭ Ivanovic Mal'cev. Translated [from the Russian], ed. and provided with supplementary notes by Benjamin Franklin Wells, III. (Studies in logic and the foundations of mathematics, v. 66)

The metamathematics of algebraic systems, collected papers: 1936-1967 [by] Anatoliĭ Ivanovic Mal'cev. Translated [from the Russian], ed. and provided with supplementary notes by Benjamin Franklin Wells, III. (Studies in logic and the foundations of mathematics, v. 66)
Paper図書
North-Holland Pub. Co.1971.<MA67-83>
National Diet Library
  • Subject HeadingMetamathematics. Model theory. Algebra.

Gödel, Escher, Bach : an eternal golden braid : pbk.

Gödel, Escher, Bach : an eternal golden braid : pbk.
Paper図書
Douglas R. HofstadterVintage Books1989, c1979
Other Libraries in Japan
RSS