Logo CCIC
CCIC
CENTRE CULTUREL INTERNATIONAL DE CERISY

Publication 2008 : un des ouvrages







Mot exact
Choix du nombre
de résultats par
page:
ONE HUNDRED YEARS OF INTUITIONISM
(1907-2007)

CARACTÉRISTIQUES

Direction : Mark van Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann
Editeur : Birkhäuser Verlag AG (site internet)
Collection : « Publications des Archives Henri-Poincarré »
ISBN : 978-3-7643-8652-8
Année de publication : 2008
Année du colloque : 2007
Présentation du colloque : cliquer ici

MATIÈRES
Préface, par Mark van ATTEN, Pascal BOLDINI, Michel BOURDEAU & Gerhard HEINZMANN


I. Brouwer and Brouwerian intuitionism

Another look at Brouwer's dissertation, par Dirk van DALEN

Brouwerian infinity, par Carl POSY

The new intuitionism, par Charles McCARTY

Truth and experience of truth, par Jacques DUBUCS

The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem, par Göran SUNDHOLM & Mark van ATTEN

The intersection of intuitionism (Brouwer) and phenomenology (Husserl), par Richard TIESZEN

Brouwer on 'hypotheses' and the middle Wittgenstein, par Mathieu MARION

Brouwer's notion of intuition and theory of knowledge by presence, par Mohammad ARDESHIR

Buddhist models of the mind and the common core thesis on mysticism, par Henk BARENDREGT


II. Kindred spirits

Remarks on the supposed French 'semi-' or 'pre-intuitionism', par Alain MICHEL

Poincarré: intuitionism, intuition, and convention, par Gerhard HEINZMANN & Philippe NABONNAND

Some of Julius König's mathematical dreams in his New Foudations of Logic, Arithmetic, and Set Theory, par Marcel GUILLAUME

Gödel, constructivity, impredicativity, and feasibility, par Jean FICHOT

Lorenzen's operative justification of intuitionistic logic, par Peter SCHROEDER-HEISTER


III. Mathematical perspectives

The Hilbert-Brouwer controversy resolved?, par Per MARTIN-LÖF

Proof theory and Martin-Löf Type Theory, par Anton SETZER

Some remarks on linear logic, par Mitsuhiro OKADA

Two applications of dynamic constructivism: Brouwer's continuity principle and choice sequences in formal topology, par Giovanni SAMBIN

A reverse look at Brouwer's Fan Theorem, par Douglas BRIDGES

Some applications of Brouwer's Thesis on Bars, par Wim VELDMAN



Concluding remarks at the Cerisy conference, par Michael DUMMETT

A bibliography of L.E.J. Brouwer, par Dirk van DALEN