Interpreting G?del, Kennedy

Автор: Feferman
Название: Kurt G?del
ISBN: 1107683467 ISBN-13(EAN): 9781107683464
Издательство: Cambridge Academ
Рейтинг:
Цена: 6970.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Papers examining aspects of Godel`s work gathered from a symposium celebrating Goedel`s centennial and papers from a 2004 ASL symposium.

Автор: Erich Gr?del; Reinhard Kahle
Название: Computer Science Logic
ISBN: 3642040268 ISBN-13(EAN): 9783642040269
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL.

Автор: Baaz
Название: Kurt G?del and the Foundations of Mathematics
ISBN: 1107677998 ISBN-13(EAN): 9781107677999
Издательство: Cambridge Academ
Рейтинг:
Цена: 9821.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume commemorates the life, work and foundational views of Kurt Goedel by exploring the impact of his work on current research and its future implications not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science.

Автор: Janiak
Название: Interpreting Newton
ISBN: 1107624878 ISBN-13(EAN): 9781107624870
Издательство: Cambridge Academ
Рейтинг:
Цена: 8395.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This collection of specially commissioned essays by leading scholars presents research on Isaac Newton and his main philosophical interlocutors and critics. Topics discussed include the laws of nature, the notion of force, the relation of mathematics to nature, Newton`s argument for universal gravitation and his attitude toward philosophical empiricism.

Автор: H?jek
Название: G?del `96
ISBN: 1107168023 ISBN-13(EAN): 9781107168022
Издательство: Cambridge Academ
Рейтинг:
Цена: 17581.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of the conference `Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Goedel`s Legacy`, held in Brno, Czech Republic, on the 90th anniversary of Goedel`s birth. The papers in this volume cover the wide range of topics Goedel`s work touched, and affirm its continuing importance.