Posté par X345 .
En réponse au journal De la nausée.
Évalué à 3.
Pour commencer, je suis d'accord pour dire qu'un algorithme est un schéma de preuve d'un théorème (mathématique ?). J'ai aussi trouvé très pertinent ton argument de dire que l'informatique n'était pas une science expérimentale. Enfin, effectivement, l'informatique a beaucoup emprunté aux mathématiques, et nombreux sont les mathématiciens—ou les informaticiens de formation mathématique—qui ont fait avancer l'informatique.
Si je t'ai bien compris, tu adhères à l'idée que l'informatique soit aussi une discipline scientifique (en plus d'être une technique). La question qui restait est: est-ce que l'informatique est une science à part entière, ou une branche des mathématiques (un peu comme l'électronique est une branche de la physique) ? Eh bien, en fait, je n'en sais rien. Ça pose la question de ce que ce sont les mathématiques et de leur limites, et j'en ai aucune idée.
Je voudrais tout de même revenir à mon propos de base—je suis un peu têtu. Au passage, pour être absolument clair, je ne t'accuse pas du tout de mauvaise fois, c'est bien moi qui ai emmené le débat sur le terrain de informatique != mathématiques, et tu y réagis, tout à fait légitimement. La question de base était de savoir si valait mieux demander à un mathématicien ou a un informaticien [1] de concevoir un algorithme parallèle (pour exécution sur un supercalculateur). Même si on pose que l'informatique est une branche des mathématiques, vaut toujours mieux un informaticien (mais on avait l'air assez d'accord là dessus). Au moins l'informaticien est spécialiste de la branche des mathématiques qui nous intéresse.
En fait ce qui m'interpelle, c'est qu'on aura aucun mal à dire que pour résoudre un problème d'électronique, faut un un électronicien. Personne ne viendra rétorquer que, ah non, faut un physicien. En revanche pour l'informatique le grand public a la vision qu'il faut un mathématicien pour mettre au point un algorithme. C'est d'autant plus faux que la vision qu'a le grand public des mathématiques correspond surtout à l'ensemble de l'analyse et de l'algèbre et pas tellement à la logique ou l'algorithmique.
[1] Tu argueras que, formellement, la question n'a pas de sens puisque l'informaticien est aussi un mathématicien. Mais je t'assure que ma réponse est prouvablement correcte.
[^] # Re: Enfin un journal qui dénonce grave...
Posté par X345 . En réponse au journal De la nausée. Évalué à 3.
Pour commencer, je suis d'accord pour dire qu'un algorithme est un schéma de preuve d'un théorème (mathématique ?). J'ai aussi trouvé très pertinent ton argument de dire que l'informatique n'était pas une science expérimentale. Enfin, effectivement, l'informatique a beaucoup emprunté aux mathématiques, et nombreux sont les mathématiciens—ou les informaticiens de formation mathématique—qui ont fait avancer l'informatique.
Si je t'ai bien compris, tu adhères à l'idée que l'informatique soit aussi une discipline scientifique (en plus d'être une technique). La question qui restait est: est-ce que l'informatique est une science à part entière, ou une branche des mathématiques (un peu comme l'électronique est une branche de la physique) ? Eh bien, en fait, je n'en sais rien. Ça pose la question de ce que ce sont les mathématiques et de leur limites, et j'en ai aucune idée.
Je voudrais tout de même revenir à mon propos de base—je suis un peu têtu. Au passage, pour être absolument clair, je ne t'accuse pas du tout de mauvaise fois, c'est bien moi qui ai emmené le débat sur le terrain de informatique != mathématiques, et tu y réagis, tout à fait légitimement. La question de base était de savoir si valait mieux demander à un mathématicien ou a un informaticien [1] de concevoir un algorithme parallèle (pour exécution sur un supercalculateur). Même si on pose que l'informatique est une branche des mathématiques, vaut toujours mieux un informaticien (mais on avait l'air assez d'accord là dessus). Au moins l'informaticien est spécialiste de la branche des mathématiques qui nous intéresse.
En fait ce qui m'interpelle, c'est qu'on aura aucun mal à dire que pour résoudre un problème d'électronique, faut un un électronicien. Personne ne viendra rétorquer que, ah non, faut un physicien. En revanche pour l'informatique le grand public a la vision qu'il faut un mathématicien pour mettre au point un algorithme. C'est d'autant plus faux que la vision qu'a le grand public des mathématiques correspond surtout à l'ensemble de l'analyse et de l'algèbre et pas tellement à la logique ou l'algorithmique.
[1] Tu argueras que, formellement, la question n'a pas de sens puisque l'informaticien est aussi un mathématicien. Mais je t'assure que ma réponse est prouvablement correcte.