Choix d'un sujet lié
Algèbre abstraite Logique Mathématiques -- Fondements Mathématiques à rebours
Choix de relance de recherche
Les bibliothèques 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 médiathèque de la Philharmonie de Paris

Recherche simple :

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

Documents en rayon : 37

Voir tous les résultats les documents en rayons
Introduction à la logique
Livre Introduction à la logique

par Tarski, Alfred (1901-1983)

J. Gabay

2008 -

  • Disponible - 510.1TAR

    Niveau 2 - Sciences

Résumé : L'auteur présente les plus importants concepts de la logique mathématique, créée dans le but d'assurer aux mathématiques un fondement plus solide et plus profond. Les concepts de la logique admettent tous les concepts mathématiques comme cas particuliers et les logiques sont toujours appliquées dans les raisonnements mathématiques.

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

Introduction à la logique
Livre Introduction à la logique

par Leroux, Jean

Diderot

1998

  • Disponible - 510.1 LER

    Niveau 2 - Sciences

Explorer les sujets liés :

Fondements des mathématiques, axiomatique, logique mathématique

510.1 - Fondements des mathématiques, axiomatique, logique mathématique

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