OK pour cette définition. Pour en revenir à la distinction précédente, la différence entre les buts d'une machine et les buts d'un homme est alors que pour un homme, personne d'autre que lui n'a conçu ses buts.
il n'y a pas de différence, mais la proposition en débat estMachine = algorithmique
Cerveau = non algorithmique
Donc, machine <> cerveau
Je n'ai toujours pas perçu la différence avec :
machine = machine
Cerveau = non machine
donc, cerveau <> machine
(machine = algorithmique) donc
((cerveau = algorithmique) => (cerveau=machine))
Il n'est pas définitivement prouvé que le cerveau est, ou n'est pas algorithmique. Ma position (pour laquelle j'ai donné plusieurs fois un certain nombre d'arguments) est qu'il ne l'est pas, et donc l'inférence ci-dessus est en pratique inutilisable (bien que trivialement exacte).
Cordialement
Gilles
-----