Choix d'un sujet lié
Contribution aux mathématiques Culture mathématique Littérature et mathématiques Mathématiciens
Choix de relance de recherche
Les bibliothèques de prêt de la ville de Paris Les bibliothèques universitaires La BnF L'encyclopédie Wikipédia L'Encyclopædia Universalis La bibliothèque du film La bibliothèque du cinéma François Truffaut La médiathèque musicale de Paris La médiathèque de la Philharmonie de Paris

Recherche simple :

  •    Indice / Cote : 510
  • Aide
  • Eurêkoi Eurêkoi
Choix du tri des documents
Pertinence Titre A-Z Titre Z-A Auteur A-Z Auteur Z-A Les plus récents
Sélectionner le nombre de résultat par colonne
25 résultats par colonne 50 résultats par colonne

Documents en rayon : 423

Voir tous les résultats les documents en rayons
Logique, sémantique, métamathématique : 1923-1944
Livre Logique, sémantique, métamathématique : 1923-1944

par Tarski, Alfred (1901-1983)

A. Colin

1972 - 1945

  • Disponible - 168.512 TAR

    Niveau 2 - Philosophie

    • Disponible - 168.512 TAR

      Niveau 2 - Philosophie

Le concept de modèle
Livre Le concept de modèle

par Badiou, Alain (1937-....)

Maspéro

1972

  • Disponible - 1"4" BADI 1

    Niveau 2 - Philosophie

Kurt Gödel
Livre Kurt Gödel

par Wang, Hao

A. Colin

1990

  • Disponible - 510.1 WAN

    Niveau 2 - Sciences

Logique et fondements des mathématiques : anthologie : 1850-1914
Livre Logique et fondements des mathématiques : anthologie : 1850-1914

Payot

1992

  • Disponible - 510.1 LOG

    Niveau 2 - Sciences

Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
Livre Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques

par Ladrière, Jean (1921-2007)

J. Gabay

1992

  • Disponible - 510.1 LAD

    Niveau 2 - Sciences

La machine de Turing
Livre La machine de Turing

par Turing, Alan Mathison (1912-1954) ; Girard, Jean-Yves (1947-....)

Seuil

1995 -

  • Disponible - 510.1 TUR

    Niveau 2 - Sciences

Résumé : Ce livre comprend, traduits de l'anglais, deux articles d'Alan Turing : "On computable numbers" and "Computing machinery and intelligence", précédés chacun d'une introduction inédite de Jean-Yves Girard.La machine de Turing comme modèle de la calculabilité a sa source dans le premier article, qui date de 1936. Alan Turing (1912-1954) y démontre, entre autres, qu'il existe des nombres définissables qui ne sont pas calculables. Le second article est une réflexion sur les développements possibles de l'intelligence artificielle à partir de la question : "les machines peuvent-elles penser ?"

Le dixième problème de Hilbert : son indécidabilité
Livre Le dixième problème de Hilbert : son indécidabilité

par Matiiassevitch, Youri

Masson

1995

  • Disponible - 510.1 MAT

    Niveau 2 - Sciences

Cours sur les fondements des mathématiques : Cambridge, 1939
Livre Cours sur les fondements des mathématiques : Cambridge, 1939

par Wittgenstein, Ludwig (1889-1951)

Éd. TER

1995

  • Disponible - 510.1 WIT

    Niveau 2 - Sciences

Gödel, Escher, Bach : les brins d'une guirlande éternelle
Livre Gödel, Escher, Bach : les brins d'une guirlande éternelle

par Hofstadter, Douglas Richard (1945-....)

InterEditions

1996

  • Disponible - 510.1 HOF

    Niveau 2 - Sciences

Logiques classiques et non classiques : essai sur les fondements de la logique
Livre Logiques classiques et non classiques : essai sur les fondements de la logique

par Costa, Newton C. A. da (1929-....)

Masson

1997

  • Disponible - 510.1 COS

    Niveau 2 - Sciences

Explorer les sujets liés :

Traités, manuels et cours de mathématiques

510 - Traités, manuels et cours de mathématiques

  • Type d'autorité
    • Indice de classement
Haut de page