La logique utilisée dans les ordinateur n'était pas si ancienne à l'époque : c'est dans les années 20-30 que se sont développées la plupart des logiques utilisées dans nos machines (lambda-calcul, machine de Turing, ...). Par ailleurs, la notion fondamentale de la logique étant qu'on peut parler de mathématique avec les mathématiques elles-même n'a rien d'évident et a été un saut conceptionnel très important, saut qui n'a été réalisé complètement que vers 1930 par Gödel (avec finalement le théorème d'incomplétude de Gödel) alors qu'il est le résultat d'un projet scientifique débuté au milieu du XIXème siècle.
Alors il ne faut JAMAIS oublié que ce qui nous parrait naturel car on nous l'a inculqué à l'école depuis longtemps ne l'était pas forcément auparavent.
Qui te dit que dans 30 ou 40 ans la logique quantique ne sera pas aussi naturelle que les autres pour nos petit-enfant ?
[^] # Re: incroyable.
Posté par harbort1 . En réponse à la dépêche Traduction en français du "Encourage Women in Linux HOWTO". Évalué à 0.
Alors il ne faut JAMAIS oublié que ce qui nous parrait naturel car on nous l'a inculqué à l'école depuis longtemps ne l'était pas forcément auparavent.
Qui te dit que dans 30 ou 40 ans la logique quantique ne sera pas aussi naturelle que les autres pour nos petit-enfant ?