|
Showing 1 - 7 of
7 matches in All Departments
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.
L.E.J. Brouwer (1881-1966) is best known for his revolutionary
ideas on topology and foundations of mathematics (intuitionism).
The present collection contains a mixture of letters; university
and faculty correspondence has been included, some of which shed
light on the student years, and in particular on the exchange of
letters with his PhD adviser, Korteweg.
Acting as the natural sequel to the publication of Brouwer's
biography, this book provides instrumental reading for those
wishing to gain a deeper understanding of Brouwer and his role in
the twentieth century. Striking a good balance of biographical and
scientific information, the latter deals with innovations in
topology (Cantor-Schoenflies style and the new topology) and
foundations. The topological period in his research is well
represented in correspondence with Hilbert, Schoenflies, Poincare,
Blumenthal, Lebesgue, Baire, Koebe, and foundational topics are
discussed in letters exchanged with Weyl, Fraenkel, Heyting, van
Dantzig and others. There is also a large part of correspondence on
matters related to the interbellum scientific politics.
This book will appeal to both graduate students and researchers
with an interest in topology, the history of mathematics, the
foundations of mathematics, philosophy and general science."
L.E.J. Brouwer (1881-1966) is best known for his revolutionary
ideas on topology and foundations of mathematics (intuitionism).
The present collection contains a mixture of letters; university
and faculty correspondence has been included, some of which shed
light on the student years, and in particular on the exchange of
letters with his PhD adviser, Korteweg. Acting as the natural
sequel to the publication of Brouwer's biography, this book
provides instrumental reading for those wishing to gain a deeper
understanding of Brouwer and his role in the twentieth century.
Striking a good balance of biographical and scientific information,
the latter deals with innovations in topology (Cantor-Schoenflies
style and the new topology) and foundations. The topological period
in his research is well represented in correspondence with Hilbert,
Schoenflies, Poincare, Blumenthal, Lebesgue, Baire, Koebe, and
foundational topics are discussed in letters exchanged with Weyl,
Fraenkel, Heyting, van Dantzig and others. There is also a large
part of correspondence on matters related to the interbellum
scientific politics. This book will appeal to both graduate
students and researchers with an interest in topology, the history
of mathematics, the foundations of mathematics, philosophy and
general science.
|
Computer Science Logic - 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers (Paperback, 1997 ed.)
Dirk Van Dalen, Marc Bezem
|
R1,802
Discovery Miles 18 020
|
Ships in 10 - 15 working days
|
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.
Der mathematische Intuitionismus war die Schoepfung des
niederlandischen Mathematikers L. E. J. Brouwer, der damit am
Anfang des zwanzigsten Jahrhunderts eine konstruktive Neubegrundung
der Mathematik anstiess. Dieses Buch enthalt 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 Ouverture zu einem erweiterten und
vertieften Intuitionismus darstellen. Teil II entstammt einer
geplanten aber unvollendeten Monographie uber die Neubegrundung der
Theorie der reellen Funktionen. Teil III bringt abschliessend
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 Hoehepunkt des
Grundlagenstreits in der Mathematik.
|
|