Réflexions diverses
Quelques réflexions éparpillées pouvant présenter un intérêt.
Commentaire sur cette page
--- Aucun commentaire pour l'instant. Ajoutez le premier... ---
Commentaire à ajouter
Traduction
En quelques mots
Chaque forme de la réalité à laquelle nous avons accès n'est manifestement qu'une contingence de cette forme inaccessible. (Morphologie de la réalité)
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 ]
| Haut de page | Mentions légales | Du même auteur : Site Mike°soft |
Contact | Privé' |