{"title":"Dirk Van Dalen","description":null,"products":[{"product_id":"l-e-j-brouwer-topologist-intuitionist-philosopher-book-dirk-van-dalen-9781447146155","title":"L.E.J. Brouwer  Topologist, Intuitionist, Philosopher","description":"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 often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer's main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name 'intuitionism'. This made him one of the main protagonists in the 'foundation crisis' of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ('The war of the frogs and the mice'). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49735231439121,"sku":"NGR9781447146155","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52673673265425,"sku":"NLS9781447146155","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52749302071569,"sku":"NIN9781447146155","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1447146158.jpg?v=1751019902"},{"product_id":"logic-and-structure-book-dirk-van-dalen-9781447145578","title":"Logic and Structure","description":"Dirk van Dalens popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Godels famous incompleteness theorem. The discussion of classical logic is concluded with a concise exposition of second-order logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49786669793553,"sku":"NGR9781447145578","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51026561106193,"sku":"NIN9781447145578","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51412526661905,"sku":"GOR007454035","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52655569666321,"sku":"NLS9781447145578","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ WELL_READ \/ SBYB","offer_id":53211226046737,"sku":"CIN1447145577A","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1447145577.jpg?v=1751305770"},{"product_id":"logic-and-structure-book-dirk-van-dalen-9783540208792","title":"Logic and Structure","description":"New corrected printing of a well-established text on logic at the introductory level.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50175440027921,"sku":"GOR006654733","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":52107685101841,"sku":"CIN3540208798G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540208798.jpg?v=1751253008"},{"product_id":"l-e-j-brouwer-topologist-intuitionist-philosopher-book-dirk-van-dalen-9781447169901","title":"L.E.J. Brouwer - Topologist, Intuitionist, Philosopher","description":"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 often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer's main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name 'intuitionism'. This made him one of the main protagonists in the 'foundation crisis' of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ('The war of the frogs and the mice'). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50374379536657,"sku":"CIN1447169905G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1447169905.jpg?v=1750858052"},{"product_id":"logica-e-estrutura-book-dirk-van-dalen-9781848902626","title":"Logica e Estrutura","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50791479410961,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":50791479509265,"sku":"NGR9781848902626","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52135714226449,"sku":"NLS9781848902626","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52755780698385,"sku":"NIN9781848902626","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/184890262X.jpg?v=1751434201"},{"product_id":"l-e-j-brouwer-intuitionismus-book-dirk-van-dalen-9783662613887","title":"L. E. J. Brouwer: Intuitionismus","description":"Der mathematische Intuitionismus war die Schöpfung des niederländischen Mathematikers L. E. J. Brouwer, der damit am Anfang des zwanzigsten Jahrhunderts eine konstruktive Neubegründung der Mathematik anstieß.     Dieses Buch enthält drei Arbeiten Brouwers aus den 1920er-Jahren, die seine Ansichten und Methoden in ausgereifter Form wiedergeben, sowie Kommentare dazu. Teil I besteht aus seinen im Jahre 1927 gehaltenen Berliner Gastvorlesungen, die die Ouvertüre zu einem erweiterten und vertieften Intuitionismus darstellen. Teil II entstammt einer geplanten aber unvollendeten Monographie über die Neubegründung der Theorie der reellen Funktionen. Teil III bringt abschließend Brouwers Wiener Vortrag „Mathematik, Wissenschaft und Sprache“, in dem er auf Fragen zur philosophischen Grundlage des Intuitionismus einging.     Zusammengenommen geben diese drei Texte ein Gesamtbild von Brouwers intuitionistischen Auffassungen zum Höhepunkt des Grundlagenstreits in der Mathematik.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51372323832081,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51372323995921,"sku":"NGR9783662613887","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52671403589905,"sku":"NLS9783662613887","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3662613883.jpg?v=1751127308"},{"product_id":"computer-science-logic-book-dirk-van-dalen-9783540631729","title":"Computer Science Logic","description":"This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996. The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52145420304657,"sku":"NLS9783540631729","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540631729.jpg?v=1757593535"},{"product_id":"logic-and-structure-book-dirk-van-dalen-9783540578390","title":"Logic and Structure","description":"A book which efficiently presents the basics of propositional and predicate logic, van Dalen s popular textbook contains a complete treatment of elementary classical logic, using Gentzen s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-L wenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the G del translation, the disjunction and existence property have been incorporated. The power and elegance of natural deduction is demonstrated best in the part of proof theory called cut-elimination' or normalization'. Chapter 6 is devoted to this topic; it contains the basic facts on the structure of derivations, both classically and intuitionistically. Finally, this edition contains a new chapter on G del's first incompleteness theorem. The chapter is self-contained, it provides a systematic exposition of primitive recursion and partial recursive functions, recursive by enumerable sets, and recursive separability. The arithmetization of Peano's arithmetic is based on the natural deduction system.","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":52739713532177,"sku":"GOR009820372","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":52774418645265,"sku":"GOR006718774","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540578390.jpg?v=1763476163"},{"product_id":"intuitionistic-analysis-book-dirk-van-dalen-9783032164902","title":"Intuitionistic Analysis","description":"This book introduces the core ideas of L.E.J. Brouwer’s approach to constructivity in mathematics, focusing on analysis, set theory, and topology, while considering his philosophical motivations. Brouwer’s “intuitionism” offers a coherent alternative to classical (nonconstructive) mathematics.   Starting with the rejection of the Principle of the Excluded Middle, the book reconstructs number systems and analysis using Cauchy sequences. It compares constructive and classical methods, highlights where classical theorems fail through “weak counterexamples”, and examines Brouwer’s classical and constructive versions of the Fixed-Point Theorem. Intuitionistic concepts like choice sequences and the Creating Subject lead to surprising results, such as the continuity of all total real functions and the existence of effective but non-recursive functions. Brief but fundamental comparisons are made with the later alternatives of Markov and Bishop.   Intended as an introduction for undergraduates, this book is suitable for mathematics students interested in philosophy as well as philosophers with some mathematical background.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":53339152548113,"sku":"NGR9783032164902","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783032164902.jpg?v=1774395076"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-dirk-van-dalen.oembed","provider":"World of Books ","version":"1.0","type":"link"}