Demander un code
Traduction --

En quelques mots


Le propre du génie est d'énoncer des idées impressionnantes. Le propre du fou est de proposer des idées surprenantes. Le propre du savant est de comprendre à qui il a affaire. (modèle d'IA)

Texte au hasard


Une fonction d'arrêt constructive... Introduction Le théorème d'arrêt nous dit qu'il n'existe pas d'algorithme permettant de calculer l'arrêt des machines de Turing. La différence entre mathématiques classiques et mathématiques constructives est que la première accepte de raisonner sur des concepts de façon extérieure, sur un mode logique utilisant le tiers-exclu face à la totalité des possibles, sans aucune...
[...la suite ]