Volltextsuche nutzen

B O O K SCREENER

Aktuelle Veranstaltungen

Events
  • versandkostenfrei ab € 30,–
  • 11x in Wien, NÖ und Salzburg
  • 6 Mio. Bücher
Menü
One Hundred Years of Intuitionism (1907-2007)

One Hundred Years of Intuitionism (1907-2007)

The Cerisy Conference

One Hundred Years of Intuitionism (1907-2007)
Hardcover 109,99
weitere Formateab 96,29
Hardcover
109,99
inkl. gesetzl. MwSt.
Besorgungstitel
Lieferzeit 1-2 Wochen
Versandkostenfreibestellen in Österreich
Deutschland: € 10,00
EU & Schweiz: € 20,00
In den Warenkorb
Click & Collect
Artikel online bestellen und in der Filiale abholen.
Artikel in den Warenkorb legen, zur Kassa gehen und Wunschfiliale auswählen. Lieferung abholen und bequem vor Ort bezahlen.
Derzeit in keiner facultas Filiale lagernd. Jetzt online bestellen!
Auf die Merkliste

Veröffentlicht 2008, von Mark van Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann bei Springer Basel

ISBN: 978-3-7643-8652-8
Auflage: 1. Auflage
Reihe: Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives, Science autour de / around 1900
XIII, 422 Seiten
XIII, 422 p.
23.5 cm x 15.5 cm

 

With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science.

The aim of the book is threefold: to review and complete the historical ...
Beschreibung

With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science.



The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation.