Logic 4

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. Th……続きを見る

(This ebook contains a limited number of illustrations.) The ebook of the critically-acclaimed popular science book by a writer who is fast becoming a celebrity mathematician. Prime numbers are the ……続きを見る

Dirk van Dalen’s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and oft……続きを見る

In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematica……続きを見る

A good title should be informative enough to illuminate a potential reader on the content of a book. We hope that the present title gives at least some hints of what this book is about. The notion o……続きを見る

"The best introduction to logic you will find."ーMartin Gardner "Professor Bennett entertains as she instructs," writes Publishers Weekly about the penetrating yet practical Logic Made Easy. This br……続きを見る

While most texts on real analysis are content to assume the real numbers, or to treat them only briefly, this text makes a serious study of the real number system and the issues it brings to light. ……続きを見る

This book explains the first published consistency proof of PA. It contains the original Gentzen's proof, but it uses modern terminology and examples to illustrate the essential notions. The author ……続きを見る

This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Leśniewski focuses exclusively on primary texts and explores the full range of output by one of the master lo……続きを見る

Two prisoners are told that they will be brought to a room and seated so that each can see the other. Hats will be placed on their heads; each hat is either red or green. The two prisoners must simu……続きを見る

Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aime……続きを見る

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computatio……続きを見る

ELIJAH'S MESSAGE The Book of Mormon teaches the New World's native population descended from an immigrant Jewish tribe. So the Mayan, who see the Zodiac changing on 21 December 2012 (Newton says 206……続きを見る

This undergraduate textbook is intended primarily for a transition course into higher mathematics, although it is written with a broader audience in mind. The heart and soul of this book is problem ……続きを見る

Mathematics and the Divine seem to correspond to diametrically opposed tendencies of the human mind. Does the mathematician not seek what is precisely defined, and do the objects intended by the mys……続きを見る

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is t……続きを見る

Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological……続きを見る

If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the ……続きを見る

This second edition of A Beginner’s Guide to Finite Mathematics: For Business, Management, and the Social Sciences takes a distinctly applied approach to finite mathematics at the freshman and sopho……続きを見る

Forever Undecided is the most challenging yet of Raymond Smullyan’s puzzle collections. It is, at the same time, an introductionーingenious, instructive, entertainingーto Gödel’s famous theorems. Wi……続きを見る

Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, which is used in quantum physics to describe the total ……続きを見る

Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Inf……続きを見る

In 1992 we published a book entitled Fuzzy Measure Theory (Plenum Press, New York), in which the term ‘‘fuzzy measure’’ was used for set functions obtained by replacing the additivity requirement of……続きを見る

The algebra of logic was founded by George Boole (1815-1864); it was developed and perfected by Ernst Schroder (1841-1902) The fundamental laws of this calculus were devised to express the principle……続きを見る

This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally a……続きを見る

The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, a……続きを見る

While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content,……続きを見る

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of seman……続きを見る

From the author of The Music of the Primes and Finding Moonshine comes a short, lively book on five mathematical problems that just refuse be solved – and on how many everyday problems can be solved……続きを見る

The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a ……続きを見る