Il est tout de même beaucoup plus probable, que si Einstein n'avait pas mangé les carottes de tel paysan, il aurait mangé celles d'un autre paysan, voire même mangé autre chose.
Bien sûr, mais mon propos est que Einstein (ou n'importe quel autre célèbre penseur) a eu le temps de concevoir sa théorie, car tout son temps n'était pas consacré à la survie.
Pour ce qui est de l'axiomatisation des mathématiques, elle aurait peut-être eu lieu beaucoup plus tard et sous une forme bien différente, donc ce n'est tout de même pas du même ordre.
Certes l'axiomatisation aurait pu être autre, qu'elle pu arriver beaucoup plus tard, j'en doute. Dès lors qu'il y a l'écriture, il y a des écrits mathématiques (les plus anciennes traces d'écriture serait de la comptabilité en Mésopotamie, d'après ce que j'ai pu lire dans Du zéro à l'informatique).
« est-ce qu'une autre personne aurait fait le même travail si on le lui avait demandé ».
Vu qu'il y a une infinité de façon d'exprimer une même idée, la forme peut différer. Cela étant on peut se ramener à des formes canoniques des principales idées exprimées. De même les travaux en logique et « métamathématique » font bien ressortir les constantes d'inférences utilisées dans les raisonnements humains. Au final les preuves assistées/(semi-)automatisées par ordinateur nous offre aujourd'hui des démonstrations d'une rigueur indépassable (mais pas forcément humainement compréhensible).
Donc d'un coté, je dirait oui, puisqu'un « simple » ordinateur peut démontrer tous les problèmes décidables. D'un autre coté, un être humain qui n'a aucun intérêt pour un problème non-trivial donné, ne fera pas preuve de la persévérance nécessaire à sa résolution. Et l'ordinateur ne fera que les calculs qu'on lui demande de faire ; donc il faut déjà savoir exprimer son problème de façon cohérente (si il ne s'avère pas absurde), ce qui constitue en fait déjà une énorme parti du boulot.
Aussi la formulation une autre personne ne désigne personne, c'est un problème dénotationnel, cf On Denoting.
[^] # Re: Un travail d'équipe
Posté par psychoslave__ (site web personnel) . En réponse au journal Qui a révolutionné le monde ?. Évalué à 2.
Bien sûr, mais mon propos est que Einstein (ou n'importe quel autre célèbre penseur) a eu le temps de concevoir sa théorie, car tout son temps n'était pas consacré à la survie.
Certes l'axiomatisation aurait pu être autre, qu'elle pu arriver beaucoup plus tard, j'en doute. Dès lors qu'il y a l'écriture, il y a des écrits mathématiques (les plus anciennes traces d'écriture serait de la comptabilité en Mésopotamie, d'après ce que j'ai pu lire dans Du zéro à l'informatique).
Vu qu'il y a une infinité de façon d'exprimer une même idée, la forme peut différer. Cela étant on peut se ramener à des formes canoniques des principales idées exprimées. De même les travaux en logique et « métamathématique » font bien ressortir les constantes d'inférences utilisées dans les raisonnements humains. Au final les preuves assistées/(semi-)automatisées par ordinateur nous offre aujourd'hui des démonstrations d'une rigueur indépassable (mais pas forcément humainement compréhensible).
Donc d'un coté, je dirait oui, puisqu'un « simple » ordinateur peut démontrer tous les problèmes décidables. D'un autre coté, un être humain qui n'a aucun intérêt pour un problème non-trivial donné, ne fera pas preuve de la persévérance nécessaire à sa résolution. Et l'ordinateur ne fera que les calculs qu'on lui demande de faire ; donc il faut déjà savoir exprimer son problème de façon cohérente (si il ne s'avère pas absurde), ce qui constitue en fait déjà une énorme parti du boulot.
Aussi la formulation une autre personne ne désigne personne, c'est un problème dénotationnel, cf On Denoting.