Chapters from Gцdel`s Unfinished Book on Foundational Research in Mathematics, Von Plato Jan

Автор: Giovanni Sommaruga
Название: Foundational Theories of Classical and Constructive Mathematics
ISBN: 9400735618 ISBN-13(EAN): 9789400735613
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated.

Автор: Werner DePauli-Schimanovich; Eckehart K?hler; F. S
Название: The Foundational Debate
ISBN: 9048146178 ISBN-13(EAN): 9789048146178
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. This `foundational debate` in computer science, mathematics and physics was already fully developed in 1930 in the Vienna Circle.

Автор: Von Plato Jan
Название: Can Mathematics Be Proved Consistent?: Gцdel`s Shorthand Notes & Lectures on Incompleteness
ISBN: 3030508781 ISBN-13(EAN): 9783030508784
Издательство: Springer
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Kurt Goedel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules.

Автор: Von Plato Jan
Название: Can Mathematics Be Proved Consistent?: Gцdel`s Shorthand Notes & Lectures on Incompleteness
ISBN: 3030508757 ISBN-13(EAN): 9783030508753
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Kurt Goedel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules.

Автор: Halbeisen Lorenz, Krapf Regula
Название: Gцdel`s Theorems and Zermelo`s Axioms: A Firm Foundation of Mathematics
ISBN: 3030522784 ISBN-13(EAN): 9783030522780
Издательство: Springer
Рейтинг:
Цена: 43780.00 T
Наличие на складе: Поставка под заказ.
Описание: A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory.

Автор: Halbeisen Lorenz, Krapf Regula
Название: Gцdel`s Theorems and Zermelo`s Axioms: A Firm Foundation of Mathematics
ISBN: 3030522814 ISBN-13(EAN): 9783030522810
Издательство: Springer
Рейтинг:
Цена: 43780.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory.