The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions

著者

• Davis, Martin

書誌事項

The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions

edited by Martin Davis

Dover Publication, 2004

• : pbk.

注記

Originally published: Hewlett, N.Y. : Raven Press, 1965

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA67270275
• ISBN:
  • 9780486432281
• LCCN: 2003067180
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Mineola, N.Y.
• ページ数/冊数: 413 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9.65
  • DC22 : 511.3
• 件名:
  • LCSH : Gödel's theorem
  • LCSH : Unsolvability (Mathematical logic)
  • LCSH : Recursive functions
  • LCSH : Turing machines
  • LCSH : Computable functions