Автор: Barker-Plummer Dave Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition ISBN: 1575866323 ISBN-13(EAN): 9781575866321 Издательство: Wiley Рейтинг: Цена: 16051.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.
Автор: P. Fletcher Название: Truth, Proof and Infinity ISBN: 0792352629 ISBN-13(EAN): 9780792352624 Издательство: Springer Рейтинг: Цена: 27245.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. This monograph offers definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic.
Автор: Sheppard Название: The Logic of Infinity ISBN: 1107678668 ISBN-13(EAN): 9781107678668 Издательство: Cambridge Academ Рейтинг: Цена: 7762.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Few mathematical results capture the imagination like Georg Cantor`s theory of infinity. Bridging the gap between technical accounts of mathematical foundations and popular accounts of logic, this book conveys to the novice the big ideas in the rigorous mathematical theory of infinite sets.
Автор: Sheppard Название: The Logic of Infinity ISBN: 1107058317 ISBN-13(EAN): 9781107058316 Издательство: Cambridge Academ Рейтинг: Цена: 22018.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Few mathematical results capture the imagination like Georg Cantor`s theory of infinity. Bridging the gap between technical accounts of mathematical foundations and popular accounts of logic, this book conveys to the novice the big ideas in the rigorous mathematical theory of infinite sets.
Автор: Philip Hackney; Marcy Robertson; Donald Yau Название: Infinity Properads and Infinity Wheeled Properads ISBN: 3319205463 ISBN-13(EAN): 9783319205465 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The topic of this book sits at the interface of the theory of higher categories (in the guise of (ГЇВїВЅ ,1)-categories) and the theory of properads.
Автор: M. Huemer Название: Approaching Infinity ISBN: 1137560851 ISBN-13(EAN): 9781137560858 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Approaching Infinity addresses seventeen paradoxes of the infinite, most of which have no generally accepted solutions. Along the way, the author addresses the nature of numbers, sets, geometric points, and related matters.The book addresses the need for a theory of infinity, and reviews both old and new theories of infinity.
Автор: Maor, Eli Название: To infinity and beyond ISBN: 1461253969 ISBN-13(EAN): 9781461253969 Издательство: Springer Рейтинг: Цена: 11173.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The infinite! No other question has ever moved so profoundly the spirit of man; no other idea has so fruitfully stimulated his intellect; yet no other concept stands in greater need of clarification than that of the infinite. . .
- David Hilbert (1862-1943) Infinity is a fathomless gulf, There is a story attributed to David Hilbert, the preeminent mathe- into which all things matician whose quotation appears above. A man walked into a vanish. hotel late one night and asked for a room.
"Sorry, we don't have o Marcus Aurelius (121- 180), Roman Emperor any more vacancies," replied the owner, "but let's see, perhaps and philosopher I can find you a room after alL" Leaving his desk, the owner reluctantly awakened his guests and asked them to change their rooms: the occupant of room #1 would move to room #2, the occupant of room #2 would move to room #3, and so on until each occupant had moved one room over. To the utter astonish- ment of our latecomer, room #1 suddenly became vacated, and he happily moved in and settled down for the night. But a numbing thought kept him from sleep: How could it be that by merely moving the occupants from one room to another, the first room had become vacated? (Remember, all of the rooms were occupied when he arrived.
Автор: Beall, Jc; Glanzberg, Michael; Ripley, David Название: Formal Theories of Truth ISBN: 0198815689 ISBN-13(EAN): 9780198815686 Издательство: Oxford Academ Рейтинг: Цена: 3800.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.
Описание: 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.ГЇВїВЅ
Автор: Huemer Michael Название: Approaching Infinity ISBN: 113756086X ISBN-13(EAN): 9781137560865 Издательство: Springer Рейтинг: Цена: 4191.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Approaching Infinity addresses seventeen paradoxes of the infinite, most of which have no generally accepted solutions. Along the way, the author addresses the nature of numbers, sets, geometric points, and related matters. The book addresses the need for a theory of infinity, and reviews both old and new theories of infinity.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
