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: 5322

DOWNLOAD NOW »
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: 340

DOWNLOAD NOW »
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: 873

DOWNLOAD NOW »
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: 6798

DOWNLOAD NOW »
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: 3716

DOWNLOAD NOW »

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: 1613

DOWNLOAD NOW »

Grundlagen der Mathematik II

Author: David Hilbert,Paul Bernays

Publisher: Springer-Verlag

ISBN: 3642868967

Category: Mathematics

Page: 568

View: 4526

DOWNLOAD NOW »
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: 3307

DOWNLOAD NOW »
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.

Wiener Ausgabe Studien Texte

Band 2: Philosophische Betrachtungen. Philosophische Bemerkungen.

Author: L. Wittgenstein

Publisher: Springer

ISBN: 9783211832677

Category: Philosophy

Page: 334

View: 1788

DOWNLOAD NOW »
Wittgensteins "Philosophische Bemerkungen" und seine "Philosophische Grammatik" basieren auf den zwischen 1929 und 1932 entstandenen Manuskriptbänden I–X. Diese Texte wurden erstmals vollständig und absolut werktreu in der "Wiener Ausgabe" veröffentlicht: ein netzwerkartiges Gedankengeflecht, in dem der Leser, kreuz und quer wandernd, eigene Pfade der Erkenntnis erkunden kann. Die "Studien Texte" sind seitengleich mit den jeweiligen Texten der Gesamtausgabe und somit komplett in die "Wiener Ausgabe" mitsamt ihren Apparaten und zukünftigen Kommentaren integriert. Band 2 enthält die Manuskriptbände III und IV – Mss 107 und 108, geschrieben zwischen 6. Oktober 1929 und 9. August 1930.

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: 6199

DOWNLOAD NOW »
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.