Saved from the Cellar: Gerhard Gentzen`s Shorthand Notes on Logic and Foundations of Mathematics, Von Plato Jan
Автор: Jan von Plato Название: Saved from the Cellar ISBN: 3319421190 ISBN-13(EAN): 9783319421193 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru