conjectures

Conjectures mathématiques sont des affirmations considérées vraisemblables sans démonstration, jouant un rôle moteur dans le développement des théories. La genèse d'une conjecture peut venir de motifs récurrents, d'expérimentation computationnelle, d'analogies entre domaines ou d'heuristiques probabilistes. Les catégories de conjectures incluent théorie des nombres, géométrie, combinatoire, analyse, logique et complexité. Exemples de conjectures ouvertes comprennent l'Hypothèse de Riemann, la Conjecture de Goldbach et la Conjecture abc. Des méthodes d'approche incluent la réduction à des cas particuliers, la conception d'outils conceptuels, les approches probabilistes et l'expérimentation computationnelle. La vérification formelle et le calcul symbolique jouent un rôle crucial. Des résultats conditionnels peuvent être obtenus sous des hypothèses fortes. L'indépendance vis-à-vis des axiomes standard et les aspects logiques et épistémologiques sont également abordés.