Demander un code

@ Adresse de contact :
Vous pouvez envoyer un mail en cliquant sur écrire au webmaster
(si la sécurité de votre systeme le permet) ou sur l'adresse :
Traduction --

En quelques mots

Pour connaître les choses, on a le choix entre la recherche d'une réalité incarnée qui parle probablement au moins autant de l'homme que des choses et une réalité formelle autonome dont on ne connait pas la proximité avec les choses dont elle parle.(Objectivité de la Science)

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 ]