Catégories
> 2. Science > 2.15 Mathématiques et statistiques > Mathématiques > Logique mathématique
Logique mathématiqueVoir aussi |
Documents disponibles dans cette catégorie (45)
Affiner la recherche
[article]
Titre : Un algorithme à un million de dollars ? Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Année de publication : 2005 Article en page(s) : p.90-95 : Langues : Français (fre)
in Pour la science > 334 (08/2005)Catégories : Logique mathématique Mots-clés : recherche fondamentale 2001-2009 Résumé : Réflexion, en 2005, du problème posé par la conjecture appelée "P=NP ?" et des recherches menées par les théoriciens des mathématiques et de l'informatique pour tenter de le résoudre (il s'agit de rechercher un algorithme polynomial pouvant résoudre les problèmes NP-complets). Schémas. Nature du document : documentaire Genre : Article de périodique [article] Un algorithme à un million de dollars ? [texte imprimé] / Jean-Paul Delahaye, Auteur . - 2005 . - p.90-95 :.
Langues : Français (fre)
in Pour la science > 334 (08/2005)
Catégories : Logique mathématique Mots-clés : recherche fondamentale 2001-2009 Résumé : Réflexion, en 2005, du problème posé par la conjecture appelée "P=NP ?" et des recherches menées par les théoriciens des mathématiques et de l'informatique pour tenter de le résoudre (il s'agit de rechercher un algorithme polynomial pouvant résoudre les problèmes NP-complets). Schémas. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 18596 PER Périodique CPGE documentaire Exclu du prêt
[article]
Titre : L'analyse logique des langues naturelles Type de document : texte imprimé Auteurs : Paul Egré, Auteur Année de publication : 2005 Article en page(s) : p.45-50 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique mathématique
Mathématicien
PhilosopheMots-clés : raisonnement philosophique étude linguistique 1950-1959 Résumé : Origine et évolution, depuis 1950, du rapport entre logique et linguistique : structure du langage naturel et analyse de la théorie du syllogisme d'Aristote ; langage formel reposant sur l'idéographie de Gottlob Frege et analyse logique de Bertrand Russel ; formalisation de la syntaxe par Noam Chomsky qui introduit la grammaire générative et formalisation de la sémantique par Richard Montague. Etude des relations entre ces modèles logiques. Bibliographie, schémas, tablea Nature du document : documentaire Genre : Article de périodique [article] L'analyse logique des langues naturelles [texte imprimé] / Paul Egré, Auteur . - 2005 . - p.45-50 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique mathématique
Mathématicien
PhilosopheMots-clés : raisonnement philosophique étude linguistique 1950-1959 Résumé : Origine et évolution, depuis 1950, du rapport entre logique et linguistique : structure du langage naturel et analyse de la théorie du syllogisme d'Aristote ; langage formel reposant sur l'idéographie de Gottlob Frege et analyse logique de Bertrand Russel ; formalisation de la syntaxe par Noam Chomsky qui introduit la grammaire générative et formalisation de la sémantique par Richard Montague. Etude des relations entre ces modèles logiques. Bibliographie, schémas, tablea Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
[article]
Titre : Brouwer et Gödel : deux frères ennemis Type de document : texte imprimé Auteurs : Mark Van Atten, Auteur Année de publication : 2005 Article en page(s) : p.24-29 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique
Logique mathématique
MathématicienMots-clés : loi et principe scientifique 20e siècle Résumé : Exposé des conceptions des mathématiques et de la logique énoncées à la fin du 19e siècle et au début du 20e siècle par Luitzen Brouwer et Kurt Gödel qui s'appuyaient sur des fondements philosophiques différents. Historique, divergences et convergences de leurs constructions mentales : "intuitionnisme" chez Brouwer ; primauté de la découverte chez Gödel qui énonce son théorème d'incomplétude en 1931. Bibliographie, schémas. Nature du document : documentaire Genre : Article de périodique [article] Brouwer et Gödel : deux frères ennemis [texte imprimé] / Mark Van Atten, Auteur . - 2005 . - p.24-29 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique
Logique mathématique
MathématicienMots-clés : loi et principe scientifique 20e siècle Résumé : Exposé des conceptions des mathématiques et de la logique énoncées à la fin du 19e siècle et au début du 20e siècle par Luitzen Brouwer et Kurt Gödel qui s'appuyaient sur des fondements philosophiques différents. Historique, divergences et convergences de leurs constructions mentales : "intuitionnisme" chez Brouwer ; primauté de la découverte chez Gödel qui énonce son théorème d'incomplétude en 1931. Bibliographie, schémas. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
[article]
Titre : Ceci n'est pas le titre Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Année de publication : 2005 Article en page(s) : p.88-92 : Langues : Français (fre)
in Pour la science > 327 (01/2005)Catégories : Création artistique
Logique
Logique mathématiqueMots-clés : jeu (loisirs) Résumé : Présentation d'un problème de logique : les phrases qui se rapportent à elles-mêmes (autoréférentes) et qui peuvent être aussi vraies que fausses. L'autoréférence en mathématiques, en littérature, dans les jeux et en art (Magritte, Escher...). Les structures fractales. Le pangramme. En encadrés, suites infinies autoréférentes, raisonnement mathématique autoréférent. Bibliographie. Nature du document : documentaire Genre : Article de périodique [article] Ceci n'est pas le titre [texte imprimé] / Jean-Paul Delahaye, Auteur . - 2005 . - p.88-92 :.
Langues : Français (fre)
in Pour la science > 327 (01/2005)
Catégories : Création artistique
Logique
Logique mathématiqueMots-clés : jeu (loisirs) Résumé : Présentation d'un problème de logique : les phrases qui se rapportent à elles-mêmes (autoréférentes) et qui peuvent être aussi vraies que fausses. L'autoréférence en mathématiques, en littérature, dans les jeux et en art (Magritte, Escher...). Les structures fractales. Le pangramme. En encadrés, suites infinies autoréférentes, raisonnement mathématique autoréférent. Bibliographie. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 10572 PER Périodique CPGE documentaire Exclu du prêt Les chemins de la logique in Pour la science. Dossier, 049 (10/2005)
[article]
Titre : Les chemins de la logique Type de document : texte imprimé Année de publication : 2005 Article en page(s) : p.1-120 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique
Logique mathématique
Période historiqueRésumé : Dossier sur la logique : ses fondements antiques et médiévaux ; les nouvelles interrogations qu'elle suscite dès lors qu'elle rencontre les mathématiques au début du 20e siècle ; examen de la cohabitation contemporaine des différents aspects de la logique : mathématiques, philosophie et informatique, qui fondent les différentes manières de raisonner. Bibliographie, cartes, graphiques, schémas, tableaux, webogr. Nature du document : documentaire Genre : Article de périodique [article] Les chemins de la logique [texte imprimé] . - 2005 . - p.1-120 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique
Logique mathématique
Période historiqueRésumé : Dossier sur la logique : ses fondements antiques et médiévaux ; les nouvelles interrogations qu'elle suscite dès lors qu'elle rencontre les mathématiques au début du 20e siècle ; examen de la cohabitation contemporaine des différents aspects de la logique : mathématiques, philosophie et informatique, qui fondent les différentes manières de raisonner. Bibliographie, cartes, graphiques, schémas, tableaux, webogr. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt PermalinkPermalinkLes délicats paradoxes de Berry et de Skolem / Jean-Paul Delahaye / Paris : Pour la science (2021) in Pour la science, 525 (07/2021)
PermalinkDémonstrations et certitude en mathématiques / Jean-Paul Delahaye in Pour la science. Dossier, 049 (10/2005)
PermalinkEnigmes mathématiques labyrinthiques / Sylvain Lhullier / Paris Cedex 15 : MARABOUT (Hachette) (2010)
PermalinkL'ensemble de tous les ensembles / Jean-Paul Delahaye / Paris : Pour la science (2010) in Pour la science, 397 (11/2010)
PermalinkEn finir avec l'hypothèse du continu / Jean-Paul Delahaye / Paris : Pour la science (2019) in Pour la science, 504 (10/2019)
PermalinkPermalinkGödel et l'indécidabilité : des mythes à la réalité / Antoine Houlou-Garcia / Sciences et avenir (2025) in Sciences et avenir (1949), 945 (11/2025)
PermalinkPermalink



