IRMA - Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

calcul ; forme ; Chine ; théorème de Kleene ; algorithme ; histoire des mathématiques ; équation algébrique ; philosophie des mathématiques ; preuve ; rigueur ; Brouwer L. E. J. ; probabilité ; logique ; intuitionnisme ; constructivisme

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Accès fermé à l'ouvrage depuis la migration du portail BiblioSciences.
contient une bibliographie de Brouwer.

Brouwer L. E. J. ; intuitionnisme

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

contient : Intuisionnisme 84 de J. Harthong et G. Reeb

intuitionnisme ; psychanalyse

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

complétude de Kolmogorov ; probabilité ; mécanique céleste ; système dynamique ; population ; équation de Volterra ; série de Fourier ; intuitionnisme ; 3e problème de Hilbert

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Brouwer L. E. J. ; histoire des mathématiques ; intuitionnisme ; biographie

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

histoire des mathématiques ; analyse ; intuitionnisme ; concept de nombre

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

philosophie des mathématiques ; heuristique ; intuitionnisme

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve ; algorithme génétique ; intuitionnisme ; complexité algorithmique ; logique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

fondements des mathématiques ; Hilbert ; Kronecker ; Cantor ; Frege ; Husserl ; Weyl Hermann ; intuitionnisme ; histoire de la physique ; philosophie des mathématiques

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Brouwer L. E. J. ; histoire des mathématiques ; intuitionnisme ; biographie

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

mathématiques constructives ; intuitionnisme

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

mathématiques constructives ; intuitionnisme

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

prédicativité ; intuitionnisme

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

intuitionnisme

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

intuitionnisme ; théorie des modèles

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

intuitionnisme

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

intuitionnisme ; logique ; récursivité ; Gödel

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents intuitionnisme | enregistrements trouvés : 17

Calculs et formes : de l'activité mathématique Coord. Boniface, Jacqueline. -Paris : Ellipses , 2003 . - 222 p. ; 24 cm
ISBN 9782729815868
Nouveau

Logique intuitionniste et clinique psychanalytique Malengreau, Pierre ; Zaloszyc, Armand ; Harthong, Jacques ; Reeb, Georges ; et al.. -Strasbourg : UFORCA Strasbourg , 2008 . - 253 p. ; 22 cm
Nouveau

Kolmogorov's heritage in mathematics Ed. Charpentier, Eric ; Ed. Lesne, Annick ; Ed. Nikolski, Nicolaï K.. -Berlin : Springer , 2007 . - viii, 217 p. ; 24 cm
ISBN 9783540363491
https://link.springer.com/book/10.1007/978-3-540-36351-4
Nouveau

Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 2 : hope and disillusion Dalen, Dirk van. -Oxford : Oxford university Press ; Clarendon Press , 2005 . - x, pp. 441-946 ; 24 cm
ISBN 9780198516200
Nouveau

Musings of the masters : an anthology of mathematical reflections Ed. Ayoub, Raymond. -Washington DC : Mathematical Association of America , 2004 . - xvi, 277 p. ; 24 cm
ISBN 9780883855492
Nouveau

Mathematical logic and algebra : collected papers dedicated to the 100th birthday of Academician Petr Sergeevich Novikov Ed. Adian, Sergei I. ; Ed. Nikitin, Ivan P. ; Steklov Institute of mathematics. -Moscow : Maik Nauka ; Interperiodica publishing , 2003 . - 196 p. ; 28 cm
Nouveau

Internal logic : foundations of mathematics from Kronecker to Hilbert Gauthier, Yvon. -Boston MA, Dordrecht, London : Kluwer Academic Publishers , 2002 . - x, 237 p. ; 25 cm
Nouveau

Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 1 : the dawning revolution Dalen, Dirk van. -Oxford : Oxford university Press ; Clarendon Press , 1999 . - xv, 440 p. ; 24 cm
ISBN 9780198502975
Nouveau

Constructivism in mathematics. Vol. 2 : an introduction Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland , 1988 . - xvii, pag. mult. ; 23 cm
Nouveau

Constructivism in mathematics. Vol. 1 : an introduction Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland , 1988 . - xx, 342 p. ; 23 cm
Nouveau

Entre intuition et analyse : Poincaré et le concept de prédicativité Heinzmann, Gerhard. -Paris : Albert Blanchard , 1985 . - 104
Nouveau

Brouwer's cambridge lectures on intuitionism Ed. Dalen, Dirk van. -Cambridge : Cambridge university Press , 1981 . - xii, 109
Nouveau

Intuitionistic logic model theory and forcing Fitting, Melvin Chris. -Amsterdam, London : North-Holland , 1969 . - 191 p. ; 23 cm
Nouveau

Formalismus und Intuitionismus in der Mathematik Baldus, Richard. -Karlsruhe : Verlag G. Braun , 1924 . - 45
Nouveau

Gödel's theorems : a workbook on formalization Huber-Dyson, Verena. -Leipzig, Stuttgart : Teubner , 1991 . - 292 p. ; 21 cm
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents intuitionnisme | enregistrements trouvés : 17

Calculs et formes : de l'activité mathématique Coord. Boniface, Jacqueline. -Paris : Ellipses , 2003 . - 222 p. ; 24 cm ISBN 9782729815868 Nouveau

Logique intuitionniste et clinique psychanalytique Malengreau, Pierre ; Zaloszyc, Armand ; Harthong, Jacques ; Reeb, Georges ; et al.. -Strasbourg : UFORCA Strasbourg , 2008 . - 253 p. ; 22 cm Nouveau

Kolmogorov's heritage in mathematics Ed. Charpentier, Eric ; Ed. Lesne, Annick ; Ed. Nikolski, Nicolaï K.. -Berlin : Springer , 2007 . - viii, 217 p. ; 24 cm ISBN 9783540363491 https://link.springer.com/book/10.1007/978-3-540-36351-4 Nouveau

Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 2 : hope and disillusion Dalen, Dirk van. -Oxford : Oxford university Press ; Clarendon Press , 2005 . - x, pp. 441-946 ; 24 cm ISBN 9780198516200 Nouveau

Musings of the masters : an anthology of mathematical reflections Ed. Ayoub, Raymond. -Washington DC : Mathematical Association of America , 2004 . - xvi, 277 p. ; 24 cm ISBN 9780883855492 Nouveau

Mathematical logic and algebra : collected papers dedicated to the 100th birthday of Academician Petr Sergeevich Novikov Ed. Adian, Sergei I. ; Ed. Nikitin, Ivan P. ; Steklov Institute of mathematics. -Moscow : Maik Nauka ; Interperiodica publishing , 2003 . - 196 p. ; 28 cm Nouveau

Internal logic : foundations of mathematics from Kronecker to Hilbert Gauthier, Yvon. -Boston MA, Dordrecht, London : Kluwer Academic Publishers , 2002 . - x, 237 p. ; 25 cm Nouveau

Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 1 : the dawning revolution Dalen, Dirk van. -Oxford : Oxford university Press ; Clarendon Press , 1999 . - xv, 440 p. ; 24 cm ISBN 9780198502975 Nouveau

Constructivism in mathematics. Vol. 2 : an introduction Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland , 1988 . - xvii, pag. mult. ; 23 cm Nouveau

Constructivism in mathematics. Vol. 1 : an introduction Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland , 1988 . - xx, 342 p. ; 23 cm Nouveau

Entre intuition et analyse : Poincaré et le concept de prédicativité Heinzmann, Gerhard. -Paris : Albert Blanchard , 1985 . - 104 Nouveau

Brouwer's cambridge lectures on intuitionism Ed. Dalen, Dirk van. -Cambridge : Cambridge university Press , 1981 . - xii, 109 Nouveau

Intuitionistic logic model theory and forcing Fitting, Melvin Chris. -Amsterdam, London : North-Holland , 1969 . - 191 p. ; 23 cm Nouveau

Formalismus und Intuitionismus in der Mathematik Baldus, Richard. -Karlsruhe : Verlag G. Braun , 1924 . - 45 Nouveau

Gödel's theorems : a workbook on formalization Huber-Dyson, Verena. -Leipzig, Stuttgart : Teubner , 1991 . - 292 p. ; 21 cm Nouveau

Calculs et formes : de l'activité mathématique Coord. Boniface, Jacqueline. -Paris : Ellipses , 2003 . - 222 p. ; 24 cm
ISBN 9782729815868
Nouveau

Logique intuitionniste et clinique psychanalytique Malengreau, Pierre ; Zaloszyc, Armand ; Harthong, Jacques ; Reeb, Georges ; et al.. -Strasbourg : UFORCA Strasbourg , 2008 . - 253 p. ; 22 cm
Nouveau

Kolmogorov's heritage in mathematics Ed. Charpentier, Eric ; Ed. Lesne, Annick ; Ed. Nikolski, Nicolaï K.. -Berlin : Springer , 2007 . - viii, 217 p. ; 24 cm
ISBN 9783540363491
https://link.springer.com/book/10.1007/978-3-540-36351-4
Nouveau

Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 2 : hope and disillusion Dalen, Dirk van. -Oxford : Oxford university Press ; Clarendon Press , 2005 . - x, pp. 441-946 ; 24 cm
ISBN 9780198516200
Nouveau

Musings of the masters : an anthology of mathematical reflections Ed. Ayoub, Raymond. -Washington DC : Mathematical Association of America , 2004 . - xvi, 277 p. ; 24 cm
ISBN 9780883855492
Nouveau

Mathematical logic and algebra : collected papers dedicated to the 100th birthday of Academician Petr Sergeevich Novikov Ed. Adian, Sergei I. ; Ed. Nikitin, Ivan P. ; Steklov Institute of mathematics. -Moscow : Maik Nauka ; Interperiodica publishing , 2003 . - 196 p. ; 28 cm
Nouveau

Internal logic : foundations of mathematics from Kronecker to Hilbert Gauthier, Yvon. -Boston MA, Dordrecht, London : Kluwer Academic Publishers , 2002 . - x, 237 p. ; 25 cm
Nouveau

Mystic, geometer, and intuitionist : the life of L. E. J. Brouwer. Vol. 1 : the dawning revolution Dalen, Dirk van. -Oxford : Oxford university Press ; Clarendon Press , 1999 . - xv, 440 p. ; 24 cm
ISBN 9780198502975
Nouveau

Constructivism in mathematics. Vol. 2 : an introduction Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland , 1988 . - xvii, pag. mult. ; 23 cm
Nouveau

Constructivism in mathematics. Vol. 1 : an introduction Troelstra, A.S. ; Dalen, Dirk van. -Amsterdam, New York, Oxford, Tokyo : North-Holland , 1988 . - xx, 342 p. ; 23 cm
Nouveau

Entre intuition et analyse : Poincaré et le concept de prédicativité Heinzmann, Gerhard. -Paris : Albert Blanchard , 1985 . - 104
Nouveau

Brouwer's cambridge lectures on intuitionism Ed. Dalen, Dirk van. -Cambridge : Cambridge university Press , 1981 . - xii, 109
Nouveau

Intuitionistic logic model theory and forcing Fitting, Melvin Chris. -Amsterdam, London : North-Holland , 1969 . - 191 p. ; 23 cm
Nouveau

Formalismus und Intuitionismus in der Mathematik Baldus, Richard. -Karlsruhe : Verlag G. Braun , 1924 . - 45
Nouveau

Gödel's theorems : a workbook on formalization Huber-Dyson, Verena. -Leipzig, Stuttgart : Teubner , 1991 . - 292 p. ; 21 cm
Nouveau