One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference

Portada
Mark van Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann
Springer Science & Business Media, 9 de nov. 2008 - 422 pàgines

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.

 

Què opinen els usuaris - Escriviu una ressenya

No hem trobat cap ressenya als llocs habituals.

Continguts

Another look at Brouwers dissertation
3
Brouwerian infinity
21
The new intuitionism
37
Truth and experience of truth
50
on Brouwers demonstration of the Bar Theorem
60
The intersection of intuitionism Brouwer and phenomenology Husserl
78
Brouwer on hypotheses and the middle Wittgenstein
96
Brouwers notion of intuition and theory of knowledge by presence
115
Lorenzens operative justification of intuitionistic logic
214
Mathematical perspectives
241
The HilbertBrouwer controversy resolved?
243
Proof theory and MartinLöf Type Theory
257
Some remarks on linear logic
280
Brouwers continuity principle and choice sequences in formal topology
301
A reverse look at Brouwers Fan Theorem
316
Some applications of Brouwers Thesis on Bars
326

Buddhist models of the mind and the common core thesis on mysticism
131
Kindred spirits
146
Remarks on the supposed French semi or preintuitionism
147
intuitionism intuition and convention
163
Some of Julius Königs mathematical dreams in his New Foundations of Logic Arithmetic and Set Theory
178
Gödel constructivity impredicativity and feasibility
198
Concluding remarks at the Cerisy conference
341
A bibliography of LEJ Brouwer
343
References
391
Index of citations
417
Copyright

Altres edicions - Mostra-ho tot

Frases i termes més freqüents

Informació bibliogràfica