Kurt G?del, Feferman

Автор: 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.

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

Описание: In this groundbreaking volume, leading philosophers and mathematicians explore almost every aspect of Kurt Goedel`s work on the foundations and philosophy of mathematics. It will be invaluable to students, historians, logicians and philosophers who wish to understand the current thinking on Goedel`s intellectual legacy.

Автор: 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.

Автор: 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.