Описание: This book explains the first published consistency proof of PA. A notable aspect of the proof is the representation of ordinal numbers that was developed by Gentzen. The topic should interest researchers and students who work on proof theory, history of proof theory or Hilbert`s program and who do not mind reading mathematical texts.ГЇВїВЅ
Описание: 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.
Автор: Giovanni Sommaruga Название: History and Philosophy of Constructive Type Theory ISBN: 9048154030 ISBN-13(EAN): 9789048154036 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive survey of Martin-Lof`s constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.
Автор: Dov M. Gabbay; Heinrich Wansing Название: What is Negation? ISBN: 9048151694 ISBN-13(EAN): 9789048151691 Издательство: Springer Рейтинг: Цена: 30467.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Michael Dunn in Chapter 2 (A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation) surveys a detailed correspondence-theoretic classifcation of various notions of negation in terms of properties of a binary relation interpreted as incompatibility.
Автор: Giovanni Sommaruga Название: History and Philosophy of Constructive Type Theory ISBN: 0792361806 ISBN-13(EAN): 9780792361800 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive survey of Martin-Lof`s constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.
Автор: Theo A.F. Kuipers Название: From Instrumentalism to Constructive Realism ISBN: 9048153697 ISBN-13(EAN): 9789048153695 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable.
Автор: Dov M. Gabbay; Heinrich Wansing Название: What is Negation? ISBN: 0792355695 ISBN-13(EAN): 9780792355694 Издательство: Springer Рейтинг: Цена: 30467.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Michael Dunn in Chapter 2 (A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation) surveys a detailed correspondence-theoretic classifcation of various notions of negation in terms of properties of a binary relation interpreted as incompatibility.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru