Brouwer's Cambridge Lectures on Intuitionism


Author: Luitzen Egbertus Jan Brouwer,D. van Dalen,Brouwer
Publisher: Cambridge University Press
ISBN: 9780521177368
Category: Mathematics
Page: 122
View: 2453

Continue Reading →

Luitzen Egburtus Jan Brouwer founded a school of thought whose aim was to include mathematics within the framework of intuitionistic philosophy; mathematics was to be regarded as an essentially free development of the human mind. What emerged diverged considerably at some points from tradition, but intuitionism has survived well the struggle between contending schools in the foundations of mathematics and exact philosophy. Originally published in 1981, this monograph contains a series of lectures dealing with most of the fundamental topics such as choice sequences, the continuum, the fan theorem, order and well-order. Brouwer's own powerful style is evident throughout the work.

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher

How Mathematics Is Rooted in Life
Author: Dirk van Dalen
Publisher: Springer Science & Business Media
ISBN: 1447146166
Category: Mathematics
Page: 875
View: 4090

Continue Reading →

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.

One Hundred Years of Intuitionism (1907-2007)

The Cerisy Conference
Author: Mark van Atten,Pascal Boldini,Michel Bourdeau,Gerhard Heinzmann
Publisher: Springer Science & Business Media
ISBN: 3764386533
Category: Science
Page: 422
View: 324

Continue Reading →

Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today's leading authors on intuitionism.

Encyclopedia of Philosophy: Abbagnano - Byzantine philosophy


Author: Donald M. Borchert
Publisher: Thomson Gale/MacMillan Reference USA
ISBN: 9780028657813
Category: Philosophy
Page: 10
View: 1387

Continue Reading →

Containing material from hundreds of highly distinguished contributors representing the world's top universities and institutions, the second edition has a truly global perspective. It contains more than 2,100 entries -- including more than 450 new articles. Among the many topics covered are African, Islamic, Jewish, Russian, Chinese, and Buddhist philosophies; bioethics and biomedical ethics; art and aesthetics; epistemology; metaphysics; peace and war; social and political philosophy; the Holocaust; feminist thought; and much more. Additionally, the second edition also features 1,000 biographical entries on major figures in philosophical thought throughout history.

Polynesian Paradox

Essays in Honour of Professor 'I. Futa Helu
Author: Ian Christopher Campbell,Eve Coxon,'I. Futa Helu
Publisher: N.A
ISBN: N.A
Category: Tonga
Page: 267
View: 5626

Continue Reading →

Proceedings of the Section of Sciences


Author: Koninklijke Nederlandse Akademie van Wetenschappen. Afdeling Natuurkunde
Publisher: N.A
ISBN: N.A
Category: Science
Page: N.A
View: 5943

Continue Reading →

Proceedings of the Section of Sciences


Author: Koninklijke Akademie van Wetenschappen. Afdeeling voor de Wis- en Natuurkundige Wetenschappen,Koninklijke Nederlandse Akademie van Wetenschappen. Afdeling Natuurkunde,Koninklijke Akademie van Wetenschappen (Netherlands). Afdeeling Natuurkunde,Koninklijke Nederlandse Akademie van Wetenschappen
Publisher: N.A
ISBN: N.A
Category: Science
Page: N.A
View: 395

Continue Reading →

Grundlagen der Mathematik II


Author: David Hilbert,Paul Bernays
Publisher: Springer-Verlag
ISBN: 3642868967
Category: Mathematics
Page: 568
View: 1776

Continue Reading →

Der vorliegende Band schließt die Darstellung der Beweistheorie ab, die ich vor einigen Jahren zusammen mit P. BERNAYS begann. Auf meinen Wunsch hat P. BERNAYS wieder die Abfassung des Textes über nommen. Ich danke ihm für die Sorgfalt und Treue, mit der er meine Gedanken wiedergegeben hat, an deren Entwicklung er in jahrelanger Zusammenarbeit aufs stärkste beteiligt war. Ohne seine Mithilfe wäre die Vollendung dieses Buches unmöglich gewesen. Den Herren W. ACKERMANN, G. GENTZEN, A. SCHMIDT, H. SCHOLZ danke ich für ihre freundliche Mitwirkung bei den Korrekturen. Göttingen, im März 1939 HILBERT Zur Einführung Das vorliegende Buch soll einer eingehenden Orientierung über den gegenwärtigen Stoff der HILBERTschen Beweistheorie dienen. Wenn gleich das bisher hier Erreichte gemessen an den Zielen der Theorie sehr bescheiden ist, so liegt doch ein reichlicher Stoff an prägnanten Ergebnissen, an Gesichtspunkten und Beweisgedanken vor, die zur Kenntnis zu bringen als lohnend erscheint. Für die inhaltliche Gestaltung dieses zweiten Bandes waren durch den Zweck des Buches zwei Hauptthemata vorgezeichnet. - Es handelte sich einmal darum, die hauptsächlichen, an das e-Symbol sich knüpfenden beweistheoretischen Ansätze HILBERTS und ihre Durchführung zur ein gehenden Darstellung zu bringen.

Die Mathematische Methode

Logisch Erkenntnistheoretische Untersuchungen im Gebiete der Mathematik Mechanik und Physik
Author: Otto Hölder
Publisher: Springer-Verlag
ISBN: 3642485510
Category: Mathematics
Page: 566
View: 6120

Continue Reading →

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Klarheit in Religionsdingen

Aktuelle Beiträge zur Religionsphilosophie
Author: Wolfgang Deppert,Michael Rahnfeld
Publisher: N.A
ISBN: 9783936522440
Category: Religion
Page: 383
View: 8748

Continue Reading →

Zehn Vorlesungen Über die Grundlegung der Mengenlehre

Gehalten in Kiel auf Einladung der Kant-Gesellschaft, Ortsgruppe Kiel, vom 8.–12. Juni 1925
Author: Adolf Fraenkel
Publisher: Springer-Verlag
ISBN: 3663157415
Category: Mathematics
Page: 186
View: 2441

Continue Reading →

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Einleitung in die Mengenlehre


Author: Abraham Adolf Fraenkel
Publisher: Springer-Verlag
ISBN: 3662420295
Category: Mathematics
Page: 426
View: 1685

Continue Reading →

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.