Détail de l'auteur
Auteur Jean-Paul Delahaye |
Documents disponibles écrits par cet auteur (151)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![]()
Article : texte imprimé
Présentation de différents scénarios envisagés par les chercheurs en intelligence artificielle (IA) concernant la création d'une superintelligence et ses conséquences sur l'avenir de l'homme : les progrès de l'intelligence artificielle ; le déba[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07461 Disponible ![]()
Article : texte imprimé
Analyse, en 2012, par un mathématicien, des caractéristiques d'une démonstration mathématique et des différentes formes qu'elle peut prendre : preuves sans mots, preuves par la physique, preuves mentales, démonstrations par manipulation, par ord[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05656 Disponible ![]()
Article : texte imprimé
Le point sur la remise en cause, formulée par le philosophe et logicien Daniel Isaacson, de l'incomplétude du système d'axiomes de Peano : le principe du raisonnement par récurrence, le système d'axiomes de Peano, les théorèmes d'incomplétude én[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Pério documentaire CDI 015952 Disponible ![]()
Article : texte imprimé
Jean-Paul Delahaye, Auteur ; Philippe Mathieu, Auteur | Pour la science |Analyse, en mathématiques, des différentes stratégies possibles dans le jeu du dilemme du prisonnier.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07879 Disponible ![]()
Article : texte imprimé
Point sur les preuves de travail en informatique, procédures demandant à un ordinateur de résoudre un problème avant d'accéder à l'action demandée, afin de le ralentir, pour limiter les attaques sur Internet : fonctionnement des deux types de pr[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 06156 Disponible ![]()
Article : texte imprimé
Illustration, en 2011, par un mathématicien, du principe de Peter, maxime reposant sur l'absurde, appliquée notamment dans le cadre de la promotion.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 05505 Disponible ![]()
Article : texte imprimé
Présentation, par un mathématicien, du problème dit des n reines : le problème des 8 reines posé par Max Bezzel au 19e siècle puis sa généralisation ; la possibilité de trouver sans ordinateur une solution pour n> 4 mais la complexité de trouver[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 06633 Disponible ![]()
Article : texte imprimé
Point sur les recherches réalisées par l'équipe de Gary McGuire, de l'université de Dublin, en Irlande, concernant le nombre minimal de données nécessaires pour disposer d'une grille de sudoku correcte : théorème démontré par ordinateur, appelé [...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 06374 Disponible ![]()
Article : texte imprimé
Le point sur l'avancée des recherches en cryptologie grâce aux découvertes concernant l'existence des fonctions "à sens unique" : définition d'une fonction "à sens unique", des fonctions présumées "à sens unique" en l'absence de démonstration, l[...]Exemplaires
Cote Section Localisation Code-barres Disponibilité aucun exemplaire ![]()
Article : texte imprimé
Présentation de figures géométriques particulières, les golygones, ainsi que les golyèdres en trois dimensions, et du contexte de leur découverte ; questions restant en suspens à propos des golyèdres. Schémas commentés : golygone d'ordre 1 ; gol[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 06231 Disponible ![]()
Article : texte imprimé
Le point sur l'utilisation en psychologie de la théorie de la complexité : la notion de complexité en mathématiques (la complexité de Kolmogorov, le théorème de codage proposé par Leonid Levin), l'élaboration des tables de complexité calculées p[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 07530 Disponible ![]()
Article : texte imprimé
Analyse, par un chercheur en mathématiques, de la notion de complexité (complexité des objets, des processus et des interactions), grâce à une approche mathématique, s'appuyant notamment sur les travaux de Charles Bennett (concept de profondeur [...]Exemplaires
Cote Section Localisation Code-barres Disponibilité aucun exemplaire ![]()
Article : texte imprimé
Le point, avec l'exemple du grand théorème de Fermat, sur l'importance d'obtenir pour chaque théorème une preuve vérifiable par ordinateur pour éliminer le risque d'erreur : l'utilisation des assistants de preuves et leurs limites ; la démonstra[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 06992 Disponible ![]()
Article : texte imprimé
Le point sur l'utilisation de l'intelligence artificielle pour découvrir de nouveaux théorèmes mathématiques intéressants : les premiers programmes visant à produire des découvertes mathématiques ; le projet Cyc et son évolution ; le programme H[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives étagère périodiques CDI 07711 Disponible ![]()
Article : texte imprimé
Analyse, par un chercheur en mathématiques, des problèmes posés par le pavage de plan avec des ensembles de pavés non périodiques.Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archives réserve CDI 06048 Disponible