Can Mathematics Be Proved Consistent?: Gцdel`s Shorthand Notes & Lectures on Incompleteness, Von Plato Jan

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

Автор: Von Plato Jan
Название: Saved from the Cellar: Gerhard Gentzen`s Shorthand Notes on Logic and Foundations of Mathematics
ISBN: 331982502X ISBN-13(EAN): 9783319825021
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.

Автор: Lindstr?m
Название: Aspects of Incompleteness
ISBN: 1107167922 ISBN-13(EAN): 9781107167926
Издательство: Cambridge Academ
Рейтинг:
Цена: 121440.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents some of the main areas and results of general metamathematics. In addition to standard results of Goedel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, the book contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization also plays an important role.