Les mathématiques sont-elles découvertes ou inventées ? Où existent les nombres et les figures : platonisme, formalisme, structuralisme et « déraisonnable efficacité »
Catégories
170 pages
Mathématiques
Anatomie complète du problème P vs NP : Le summum de la théorie de la complexité et un abîme non résolu
Biologie mathématique et modèles de Turing : Les mathématiques de l'auto-organisation et de la morphogenèse léguées par le génie dans ses dernières années
Dimension fractale et mesure de Hausdorff : les dimensions décimales au-delà du mur des entiers et la science de l'autosimilarité
Le Mystère de la Géométrie de l'Information : L'Espace Riemannien Tissé par les Distributions de Probabilité et l'Avenir de la Statistique et de l'IA
Le théorème des quatre couleurs et la révolution des mathématiques assistées par ordinateur : Un problème centenaire et la philosophie de la preuve par machine
Théorie des supercordes et le monde des dimensions supplémentaires : la physique à 10 et 11 dimensions en quête de la théorie du tout (TOE)
Théorie des types et isomorphisme de Curry-Howard : la profonde harmonie entre propositions = types et preuves = programmes
Histoire de la cryptographie : De la bataille d'Enigma à la naissance de la cryptographie à clé publique (RSA)
La quête sans fin du calcul de Pi : d'Archimède aux superordinateurs
Le Théorème des Nombres Premiers : La Belle Loi Cachée dans la Distribution Apparemment Aléatoire des Nombres Premiers
Les débuts de la théorie des graphes : Les ponts de Königsberg et les mathématiques du tracé continu
L'acquisition comprimée : pourquoi nous pouvons reconstruire le signal original à partir de peu d'observations
L'Algorithme de Grover : Jusqu'où les ordinateurs quantiques peuvent-ils accélérer la recherche ?
Théorie spectrale des graphes : Lire les propriétés d'un réseau à partir de ses valeurs propres
La Méthode Probabiliste : La Magie d'Erdős pour Prouver l'Existence par le 'Hasard'
Théorie des Matrices Aléatoires : Les Mathématiques Apparaissant des Noyaux Atomiques aux Prix des Actions et aux Réseaux de Neurones
Comment fonctionnent les codes correcteurs d'erreurs : des CD rayés aux codes QR
Conjecture de Kakeya : quelle est l'aire minimale pour faire tourner une aiguille d'un tour complet ?
Introduction à la théorie des nœuds : distinguer mathématiquement les boucles qui se dénouent de celles qui ne le font pas
