Fondements des mathématiques, 2. Fondements des mathématiques / David Hilbert

Public ISBD Titre de série : Fondements des mathématiques, 2 Titre : Fondements des mathématiques Type de document : texte imprimé Auteurs : David Hilbert (1862-1943), Auteur ; Paul Bernays (1888-1977), Auteur ; François Gaillard (1925-....), Traducteur ; Eugène Guillaume (1896-1983), Traducteur ; Marcel Guillaume (1928-....)), Traducteur Editeur : Paris : l'harmattan Année de publication : 2001 Importance : 624 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-7475-1519-1 Note générale : Index Langues : Français (fre) Langues originales : Allemand (ger) Catégories : Mathématique Mots-clés : Mathématiques : Fondements Index. décimale : 510.1 Philosophie et théorie des mathématiques (fondements des mathématiques, métamathémathiques) Résumé : Les Fondements des mathématiques ont été rédigés par Bernays en suivant fidèlement les vues de Hilbert. Publiés par Springer en 1934 et 1939, ils retracent les conceptions visionnaires de Hilbert sur la mathématisation de la logique et le développement technique de celle-ci. Le premier tome retrace les motivations philosophiques de l'entreprise, traite des propositions, des prédicats du premier ordre, de la récursivité primitive, et de la formalisation de l'arithmétique. Le second tome présente les résultats les plus pointus de son temps dans la recherche en théorie de la preuve. Fondements des mathématiques, 2. Fondements des mathématiques [texte imprimé] / David Hilbert (1862-1943), Auteur ; Paul Bernays (1888-1977), Auteur ; François Gaillard (1925-....), Traducteur ; Eugène Guillaume (1896-1983), Traducteur ; Marcel Guillaume (1928-....)), Traducteur . - Paris : l'harmattan, 2001 . - 624 p. ; 24 cm. ISBN : 978-2-7475-1519-1 Index Langues : Français (fre) Langues originales : Allemand (ger) Catégories : Mathématique Mots-clés : Mathématiques : Fondements Index. décimale : 510.1 Philosophie et théorie des mathématiques (fondements des mathématiques, métamathémathiques) Résumé : Les Fondements des mathématiques ont été rédigés par Bernays en suivant fidèlement les vues de Hilbert. Publiés par Springer en 1934 et 1939, ils retracent les conceptions visionnaires de Hilbert sur la mathématisation de la logique et le développement technique de celle-ci. Le premier tome retrace les motivations philosophiques de l'entreprise, traite des propositions, des prédicats du premier ordre, de la récursivité primitive, et de la formalisation de l'arithmétique. Le second tome présente les résultats les plus pointus de son temps dans la recherche en théorie de la preuve.

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/0479	Fs/0479-0481	Livre	Bibliothèque des sciences	Français	Disponible Disponible
Fs/0480	Fs/0479-0481	Livre	Bibliothèque des sciences	Français	Disponible Disponible
Fs/0481	Fs/0479-0481	Livre	Bibliothèque des sciences	Français	Disponible Disponible

Logique mathématique / Jean-François Pabion

Public ISBD Titre : Logique mathématique Type de document : texte imprimé Auteurs : Jean-François Pabion, Auteur ; Marcel Guillaume (1928-....)), Préfacier, etc. Editeur : Paris : Hermann Année de publication : 1976 Collection : Collection Méthodes (Paris. 1966), ISSN 0588-2303 num. 16 Importance : 1 v. (263 p.) Présentation : ill. Format : 22 cm ISBN/ISSN/EAN : 978-2-7056-5830-4 Note générale : Bibliogr. p. 261-263. Index Langues : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 - Logique mathématique Résumé : Afin de ne pas manquer la simplicité fondamentale des concepts étudiés, ce manuel présente les éléments de la logique mathématique dans un style volontairement simple, dégagé du souci de la forme. Loin de prétendre couvrir le sujet, seuls ont été sélectionnés quelques thèmes importants, abordés par des méthodes instructives et illustrés par des applications non gratuites. Des exercices complètent le texte et abordent quelques questions d'un niveau plus élevé. Note de contenu : Sommaire : 1-Lres matériaux fondamentaux -Le cacul propositionnel -Le calcul des propostions analysées 2-Etude de la déduction -Théories des déduction -Une théorie des ensembles -La complétude sémantique -La théorie des définitions -Application à la géométrie -Élimination des quantificateurs -Les théorèmes de limitation -Relations et fonctions récursives. Côte titre : Fs/25409 Logique mathématique [texte imprimé] / Jean-François Pabion, Auteur ; Marcel Guillaume (1928-....)), Préfacier, etc. . - Paris : Hermann, 1976 . - 1 v. (263 p.) : ill. ; 22 cm. - (Collection Méthodes (Paris. 1966), ISSN 0588-2303; 16) . ISBN : 978-2-7056-5830-4 Bibliogr. p. 261-263. Index Langues : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 511.3 - Logique mathématique Résumé : Afin de ne pas manquer la simplicité fondamentale des concepts étudiés, ce manuel présente les éléments de la logique mathématique dans un style volontairement simple, dégagé du souci de la forme. Loin de prétendre couvrir le sujet, seuls ont été sélectionnés quelques thèmes importants, abordés par des méthodes instructives et illustrés par des applications non gratuites. Des exercices complètent le texte et abordent quelques questions d'un niveau plus élevé. Note de contenu : Sommaire : 1-Lres matériaux fondamentaux -Le cacul propositionnel -Le calcul des propostions analysées 2-Etude de la déduction -Théories des déduction -Une théorie des ensembles -La complétude sémantique -La théorie des définitions -Application à la géométrie -Élimination des quantificateurs -Les théorèmes de limitation -Relations et fonctions récursives. Côte titre : Fs/25409

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/25409	Fs/25409	livre	Bibliothèque des sciences	Français	Disponible Disponible

---

1 (1 - 2 / 2)