An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs, Mancosu Paolo, Galvan Sergio, Zach Richard
Автор: Anna Horsk? Название: Where is the G?del-point hiding: Gentzen`s Consistency Proof of 1936 and His Representation of Constructive Ordinals ISBN: 3319021702 ISBN-13(EAN): 9783319021706 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.ГЇВїВЅ
Автор: K. Dosen Название: Cut Elimination in Categories ISBN: 0792357205 ISBN-13(EAN): 9780792357209 Издательство: Springer Рейтинг: Цена: 144370.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.
Автор: K. Dosen Название: Cut Elimination in Categories ISBN: 9048152267 ISBN-13(EAN): 9789048152261 Издательство: Springer Рейтинг: Цена: 144370.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.
Автор: Walter Carnielli; Jacek Malinowski Название: Contradictions, from Consistency to Inconsistency ISBN: 3030075346 ISBN-13(EAN): 9783030075347 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions.
Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction, inconsistency, and triviality, and concern one of the above mentioned threads of the broadly understood non-contradiction principle and the related principle of explosion. Some others take a perspective that is not too far away from such themes, but with the freedom to tread new paths.
Readers should understand the title of this book in a broad way,because it is not so obvious to deal with notions like contradictions, consistency, inconsistency, and triviality. The papers collected here present groundbreaking ideas related to consistency and inconsistency.
Автор: Walter Carnielli; Jacek Malinowski Название: Contradictions, from Consistency to Inconsistency ISBN: 3319987968 ISBN-13(EAN): 9783319987965 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions.
Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction, inconsistency, and triviality, and concern one of the above mentioned threads of the broadly understood non-contradiction principle and the related principle of explosion. Some others take a perspective that is not too far away from such themes, but with the freedom to tread new paths.
Readers should understand the title of this book in a broad way,because it is not so obvious to deal with notions like contradictions, consistency, inconsistency, and triviality. The papers collected here present groundbreaking ideas related to consistency and inconsistency.
Автор: McCall Storrs Название: The Consistency of Arithmetic: And Other Essays ISBN: 0199316546 ISBN-13(EAN): 9780199316540 Издательство: Oxford Academ Рейтинг: Цена: 77090.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume contains six new and fifteen previously published essays - plus a new introduction - by Storrs McCall. Some of the essays were written in collaboration with E. J. Lowe of Durham University. The essays discuss controversial topics in logic, action theory, determinism and indeterminism, and the nature of human choice and decision.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
