Dirk van Dalen – författare
Visar alla böcker från författaren Dirk van Dalen. Handla med fri frakt och snabb leverans.
15 produkter
Logic and Structure
Häftad, 2012
822 kr
Lägg i varukorg
Dirk van Dalen’s 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 Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read …
Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer
Volume 1: The Dawning Revolution
E-bok, 2005
925 kr
Lägg i varukorg
Luitzen Egbertus Jan Brouwer is a remarkable figure, both in the development of mathematics and in wider Dutch history. A mathematical genius with strong mystical and philosophical leanings, he advocated the intuitionist view of mathematics and science as a constructive mental activity. This drew …
Logic and Structure
E-bok, 2012
1076 kr
Lägg i varukorg
Dirk van Dalen’s 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 Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read …
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher
How Mathematics Is Rooted in Life
Inbunden, 2012
903 kr
Lägg i varukorg
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 …
L.E.J. Brouwer - Topologist, Intuitionist, Philosopher
How Mathematics Is Rooted in Life
E-bok, 2012
900 kr
Lägg i varukorg
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 …
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher
How Mathematics Is Rooted in Life
Häftad, 2016
654 kr
Lägg i varukorg
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 …
Intuitionistic Analysis
A Constructive Frame of Mind
Av Dirk van Dalen, Mark van Atten m. fl.
Häftad, 2026
605 kr
Lägg i varukorg
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) …
Computer Science Logic
10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers
Häftad, 1997
567 kr
Lägg i varukorg
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 …
Logic and Structure
E-bok, 2008
1174 kr
Lägg i varukorg
From the reviews : "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen''s book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to …
Logic and Structure
E-bok, 2013
1148 kr
Lägg i varukorg
Logic appears in a ''sacred'' and in a ''profane'' form. The sacred form is dominant in proof theory, the profane form in model theory. The phenomenon is not unfamiliar, one observes this dichotomy also in other areas, e.g. set theory and recursion theory. For one reason or another, such as the …
Logic and Structure
E-bok, 2013
1148 kr
Lägg i varukorg
From the reviews : "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen''s book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to …
Logic and Structure
E-bok, 2013
1174 kr
Lägg i varukorg
Logic appears in a ''sacred'' and in a ''profane'' form. The sacred form is dominant in proof theory, the profane form in model theory. The phenomenon is not unfamiliar, one observes this dichotomy also in other areas, e.g. set theory and recursion theory. For one reason or another, such as the …
L. E. J. Brouwer: Intuitionismus
Av Dirk van Dalen, David E. Rowe
Häftad, 2020
465 kr
Lägg i varukorg
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 …
L. E. J. Brouwer: Intuitionismus
Av David E. Rowe, Dirk van Dalen
E-bok, 2020
489 kr
Lägg i varukorg
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 …
