4,862円 This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and foc...

6,360円 David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. Setzt er dazu eine formalistische Philosophie der Mathematik voraus? Die überraschende Antwort des ersten Teils dieses Buches ist ein differenziertes Nein. Hilberts Position schließt logizistische und ...

3,453円 Wie ist ein Ring definiert, wann kann man Grenzprozesse vertauschen, was sind lineare Ordnungen und wozu benötigt man das Zornsche Lemma in der Linearen Algebra? Das Buch will seinen Lesern helfen, sich in der Fülle der grundlegenden mathematischen Definitionen zurecht zu finden und exemplarische...

3,064円 Ende des 19. Jahrhunderts, als Georg Cantor in Halle die Mengenlehre entwickelte, korrespondierte der Mathematiker lebhaft mit zahlreichen französischen Fachkollegen. Diese Briefe nimmt die Autorin zur Grundlage, um im Detail zu beschreiben, wie die Briefpartner um mathematische Begriffe gerungen...

14,585円 This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on gen...

12,154円 The book answers long-standing questions on scientific modeling and inference across multiple perspectives and disciplines, including logic, mathematics, physics and medicine. The different chapters cover a variety of issues, such as the role models play in scientific practice; the way science sh...

404円 TO MY PUPIL. Beloved pupil! Tamed by thee, Addish-, Subtrac-, Multiplica-tion, Division, Fractions, Rule of Three, Attest thy deft manipulation! Then onward! Let the voice of Fame From Age to Age repeat thy story, Till thou hast won thyself a name Exceeding even Euclid's glory! This Tale original...

22,552円 Arising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. Themes range from phi...

18,231円 The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about ...

9,723円 The prize-winning essays in this book address the fascinating but sometimes uncomfortable relationship between physics and mathematics. Is mathematics merely another natural science? Or is it the result of human creativity? Does physics simply wear mathematics like a costume, or is math the lifeb...

6,076円 This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he ...

6,482円 This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy. It traces the root of postmodern theory to a debate on the foundations o...