Saved from the Cellar: Gerhard Gentzen`s Shorthand Notes on Logic and Foundations of Mathematics, Von Plato Jan

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

Автор: Jan von Plato
Название: Saved from the Cellar
ISBN: 3319421190 ISBN-13(EAN): 9783319421193
Издательство: Springer
Рейтинг:
Цена: 111790.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.