Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy (Lecture Notes in Logic)

Petr Hájek

  • 出版商: Cambridge
  • 出版日期: 2017-03-02
  • 售價: $5,240
  • 貴賓價: 9.5$4,978
  • 語言: 英文
  • 頁數: 330
  • 裝訂: Hardcover
  • ISBN: 1107168023
  • ISBN-13: 9781107168022
  • 相關分類: 物理學 PhysicsComputer-Science
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them.

商品描述(中文翻譯)

自創刊以來,《邏輯觀點》和《邏輯講義》系列已出版了許多領先邏輯學家的開創性著作。該系列中的許多原版書籍多年來一直無法獲得,但現在再次印刷。本卷是《邏輯講義》系列的第六本出版物,收錄了在捷克共和國布爾諾舉行的「數學、計算機科學和物理學的邏輯基礎 - 庫爾特·哥德爾的遺產」會議的論文,該會議恰逢哥德爾誕辰90周年。參加此次活動的廣泛講者證實了哥德爾在邏輯、物理學以及數學和計算機科學的哲學與基礎方面持續的重要性。本卷中的論文涵蓋了所有這些主題,並對我們當前對它們的理解做出了貢獻。