The Selected Correspondence Of L E J Brouwer

Author : Dirk von Dalen
Publisher : Springer Science & Business Media
Page : 531 pages
File Size : 44,7 Mb
Release : 2011-07-25
Category : Mathematics
ISBN : 9780857295378

Get Book

The Selected Correspondence of L.E.J. Brouwer by Dirk von Dalen Pdf

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, Poincaré, 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.

Author : Dirk von Dalen
Publisher : Springer
Page : 532 pages
File Size : 48,8 Mb
Release : 2011-07-25
Category : Mathematics
ISBN : 0857295276

Get Book

The Selected Correspondence of L.E.J. Brouwer by Dirk von Dalen Pdf

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, Poincaré, 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.

Author : Dirk van Dalen
Publisher : Springer Science & Business Media
Page : 877 pages
File Size : 43,6 Mb
Release : 2012-12-04
Category : Mathematics
ISBN : 9781447146162

Get Book

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher by Dirk van Dalen Pdf

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.

Author : Bharath Sriraman
Publisher : Springer Nature
Page : 3221 pages
File Size : 41,9 Mb
Release : 2024-07-01
Category : Electronic
ISBN : 9783031408465

Get Book

Handbook of the History and Philosophy of Mathematical Practice by Bharath Sriraman Pdf

Author : Jacques Dubucs,Michel Bourdeau
Publisher : Springer
Page : 223 pages
File Size : 42,8 Mb
Release : 2014-08-27
Category : Philosophy
ISBN : 9789401792172

Get Book

Constructivity and Computability in Historical and Philosophical Perspective by Jacques Dubucs,Michel Bourdeau Pdf

Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day. Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the developments following Turing’s ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics. This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability’s adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic.

Author : Mark van Atten
Publisher : Springer
Page : 336 pages
File Size : 43,5 Mb
Release : 2014-11-21
Category : Philosophy
ISBN : 9783319100319

Get Book

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer by Mark van Atten Pdf

This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of that project, and then evaluates it, with an emphasis on the second stage. The book is organised around Gödel's use of Leibniz, Husserl and Brouwer. Far from considering past philosophers irrelevant to actual systematic concerns, Gödel embraced the use of historical authors to frame his own philosophical perspective. The philosophies of Leibniz and Husserl define his project, while Brouwer's intuitionism is its principal foil: the close affinities between phenomenology and intuitionism set the bar for Gödel's attempt to go far beyond intuitionism. The four central essays are `Monads and sets', `On the philosophical development of Kurt Gödel', `Gödel and intuitionism', and `Construction and constitution in mathematics'. The first analyses and criticises Gödel's attempt to justify, by an argument from analogy with the monadology, the reflection principle in set theory. It also provides further support for Gödel's idea that the monadology needs to be reconstructed phenomenologically, by showing that the unsupplemented monadology is not able to found mathematics directly. The second studies Gödel's reading of Husserl, its relation to Leibniz' monadology, and its influence on his publishe d writings. The third discusses how on various occasions Brouwer's intuitionism actually inspired Gödel's work, in particular the Dialectica Interpretation. The fourth addresses the question whether classical mathematics admits of the phenomenological foundation that Gödel envisaged, and concludes that it does not. The remaining essays provide further context. The essays collected here were written and published over the last decade. Notes have been added to record further thoughts, changes of mind, connections between the essays, and updates of references.

Author : David Binder,Thomas Piecha,Peter Schroeder-Heister
Publisher : Springer Nature
Page : 552 pages
File Size : 47,5 Mb
Release : 2022-08-07
Category : Philosophy
ISBN : 9783030949266

Get Book

The Logical Writings of Karl Popper by David Binder,Thomas Piecha,Peter Schroeder-Heister Pdf

This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics. This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work.

Author : Reinhard Kahle,Michael Rathjen
Publisher : Springer
Page : 561 pages
File Size : 49,6 Mb
Release : 2015-11-02
Category : Mathematics
ISBN : 9783319101033

Get Book

Gentzen's Centenary by Reinhard Kahle,Michael Rathjen Pdf

Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.

Author : Laurent Mazliak,Rossana Tazzioli
Publisher : Springer Nature
Page : 373 pages
File Size : 45,8 Mb
Release : 2021-03-27
Category : Science
ISBN : 9783030616830

Get Book

Mathematical Communities in the Reconstruction After the Great War 1918–1928 by Laurent Mazliak,Rossana Tazzioli Pdf

This book is a consequence of the international meeting organized in Marseilles in November 2018 devoted to the aftermath of the Great War for mathematical communities. It features selected original research presented at the meeting offering a new perspective on a period, the 1920s, not extensively considered by historiography. After 1918, new countries were created, and borders of several others were modified. Territories were annexed while some countries lost entire regions. These territorial changes bear witness to the massive and varied upheavals with which European societies were confronted in the aftermath of the Great War. The reconfiguration of political Europe was accompanied by new alliances and a redistribution of trade – commercial, intellectual, artistic, military, and so on – which largely shaped international life during the interwar period. These changes also had an enormous impact on scientific life, not only in practice, but also in its organization and communication strategies. The mathematical sciences, which from the late 19th century to the 1920s experienced a deep disciplinary evolution, were thus facing a double movement, internal and external, which led to a sustainable restructuring of research and teaching. Concomitantly, various areas such as topology, functional analysis, abstract algebra, logic or probability, among others, experienced exceptional development. This was accompanied by an explosion of new international or national associations of mathematicians with for instance the founding, in 1918, of the International Mathematical Union and the controversial creation of the International Research Council. Therefore, the central idea for the articulation of the various chapters of the book is to present case studies illustrating how in the aftermath of the war, many mathematicians had to organize their personal trajectories taking into account the evolution of the political, social and scientific environment which had taken place at the end of the conflict.

Author : Alexander Soifer
Publisher : Springer
Page : 475 pages
File Size : 43,7 Mb
Release : 2014-11-12
Category : Mathematics
ISBN : 9783034807128

Get Book

The Scholar and the State: In Search of Van der Waerden by Alexander Soifer Pdf

Bartel Leendert van der Waerden made major contributions to algebraic geometry, abstract algebra, quantum mechanics, and other fields. He liberally published on the history of mathematics. His 2-volume work Modern Algebra is one of the most influential and popular mathematical books ever written. It is therefore surprising that no monograph has been dedicated to his life and work. Van der Waerden’s record is complex. In attempting to understand his life, the author assembled thousands of documents from numerous archives in Germany, the Netherlands, Switzerland and the United States which revealed fascinating and often surprising new information about van der Waerden. Soifer traces Van der Waerden’s early years in a family of great Dutch public servants, his life as professor in Leipzig during the entire Nazi period, and his personal and professional friendship with one of the great physicists Werner Heisenberg. We encounter heroes and villains and a much more numerous group in between these two extremes. One of them is the subject of this book. Soifer’s journey through a long list of archives, combined with an intensive correspondence, had uncovered numerous details of Van der Waerden’s German intermezzo that raised serious questions and reproaches. Dirk van Dalen (Philosophy, Utrecht University) Professor Soifer’s book implicates the anthropologists’ and culture historians’ core interest in the evolution of culture and in the progress of human evolution itself on this small contested planet. James W. Fernandez (Anthropology, University of Chicago) The book is fascinating. Professor Soifer has done a great service to the discipline of history, as well as deepening our understanding of the 20th century. Peter D. Johnson, Jr. (Mathematics, Auburn University) This book is an important contribution to the history of the twentieth century, and reads like a novel with an ever-fascinating cast of characters. Harold W. Kuhn (Mathematics, Princeton University) This is a most impressive and important book. It is written in an engaging, very personal style and challenges the reader’s ability of moral and historical judgment. While it is not always written in the style of ‘objective’ professional historiography, it satisfies very high standards of scholarly documentation. Indeed the book contains a wealth of source material that allows the reader to form a highly detailed picture of the events and personalities discussed in the book. As an exemplar of historical writing in a broader sense it can compete with any other historical book. Moritz Epple (History of Mathematics, Frankfurt University)

Author : Frédéric Brechenmacher,Guillaume Jouve,Laurent Mazliak,Rossana Tazzioli
Publisher : Birkhäuser
Page : 316 pages
File Size : 45,9 Mb
Release : 2016-10-13
Category : Mathematics
ISBN : 9783319400822

Get Book

Images of Italian Mathematics in France by Frédéric Brechenmacher,Guillaume Jouve,Laurent Mazliak,Rossana Tazzioli Pdf

The contributions in this proceedings volume offer a new perspective on the mathematical ties between France and Italy, and reveal how mathematical developments in these two countries affected one another. The focus is above all on the Peninsula’s influence on French mathematicians, counterbalancing the historically predominant perception that French mathematics was a model for Italian mathematicians. In the process, the book details a subtle network of relations between the two countries, where mathematical exchanges fit into the changing and evolving framework of Italian political and academic structures. It reconsiders the issue of nationalities in all of its complexity, an aspect often neglected in research on the history of mathematics. The works in this volume are selected contributions from a conference held in Lille and Lens (France) in November 2013 on Images of Italian Mathematics in France from Risorgimento to Fascism. The authors include respected historians of mathematics, philosophers of science, historians, and specialists for Italy and intellectual relations, ensuring the book will be of great interest to their peers.

Author : Jan von Plato
Publisher : Princeton University Press
Page : 400 pages
File Size : 48,7 Mb
Release : 2017-08-02
Category : Science
ISBN : 9781400885039

Get Book

The Great Formal Machinery Works by Jan von Plato Pdf

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution. Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schröder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt Gödel conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later. Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.

Author : Jan von Plato
Publisher : Springer
Page : 315 pages
File Size : 54,6 Mb
Release : 2017-03-31
Category : Mathematics
ISBN : 9783319421209

Get Book

Saved from the Cellar by Jan von Plato Pdf

Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarrassing situation created by Gödel's incompleteness results, especially the second one about the unprovability of consistency of elementary arithmetic. After these successes, Gentzen dedicated the rest of his short life to the main problem of Hilbert's proof theory, the question of the consistency of analysis. He was arrested in the summer of 1945 with other professors of the German University of Prague and died soon afterward of starvation in a prison cell. Attempts at locating his lost manuscripts failed at the time, but several decades later, two slim folders of shorthand notes were found. In this volume, Jan von Plato gives an overview of Gentzen's life and scientific achievements, based on detailed archival and systematic studies, and essential for placing the translations of shorthand manuscripts that follow in the right setting. The materials in this book are singular in the way they show the birth and development of Gentzen's central ideas and results, sometimes in a well-developed form, and other times as flashes into the anatomy of the workings of a unique mind.

Author : Christopher D. Hollings,Reinhard Siegmund-Schultze
Publisher : American Mathematical Soc.
Page : 338 pages
File Size : 41,9 Mb
Release : 2020-04-08
Category : Education
ISBN : 9781470443535

Get Book

Meeting under the Integral Sign?: The Oslo Congress of Mathematicians on the Eve of the Second World War by Christopher D. Hollings,Reinhard Siegmund-Schultze Pdf

This book examines the historically unique conditions under which the International Congress of Mathematicians took place in Oslo in 1936. This Congress was the only one on this level to be held during the period of the Nazi regime in Germany (1933–1945) and after the wave of emigrations from it. Relying heavily on unpublished archival sources, the authors consider the different goals of the various participants in the Congress, most notably those of the Norwegian organizers, and the Nazi-led German delegation. They also investigate the reasons for the absence of the proposed Soviet and Italian delegations. In addition, aiming to shed light onto the mathematical dimension of the Congress, the authors provide overviews of the nineteen plenary presentations, as well as their planning and development. Biographical information about each of the plenary speakers rounds off the picture. The Oslo Congress, the first at which Fields Medals were awarded, is used as a lens through which the reader of this book can view the state of the art of mathematics in the mid-1930s.

Author : Linda Keen,Irwin Kra,Rubí E. Rodríguez
Publisher : American Mathematical Soc.
Page : 329 pages
File Size : 44,8 Mb
Release : 2015-09-15
Category : Mathematicians
ISBN : 9781470420567

Get Book

Lipman Bers, a Life in Mathematics by Linda Keen,Irwin Kra,Rubí E. Rodríguez Pdf

The book is part biography and part collection of mathematical essays that gives the reader a perspective on the evolution of an interesting mathematical life. It is all about Lipman Bers, a giant in the mathematical world who lived in turbulent and exciting times. It captures the essence of his mathematics, a development and transition from applied mathematics to complex analysis--quasiconformal mappings and moduli of Riemann surfaces--and the essence of his personality, a progression from a young revolutionary refugee to an elder statesman in the world of mathematics and a fighter for global human rights and the end of political torture. The book contains autobiographical material and short reprints of his work. The main content is in the exposition of his research contributions, sometimes with novel points of view, by students, grand-students, and colleagues. The research described was fundamental to the growth of a central part of 20th century mathematics that, now in the 21st century, is in a healthy state with much current interest and activity. The addition of personal recollections, professional tributes, and photographs yields a picture of a man, his personal and professional family, and his time.