Les mathématiques obéissent-elles aux lois des contradictions dialectiques
28 janvier 2013, 17:22, par RP
« J’ai, par exemple, dans un problème déterminé deux grandeurs variables x et y dont l’une ne peut pas varier sans que l’autre varie aussi dans un rapport déterminé pour chaque cas. Je différencie x et y, c’est-à-dire je suppose x et y si infiniment petits qu’ils disparaissent par rapport à n’importe quelle grandeur réelle si petite soit-elle, qu’il ne reste rien d’autre d’x et d’y que leur rapport réciproque, mais sans aucune base pour ainsi dire matérielle, un rapport quantitatif sans aucune quantité ; dy/dx, le rapport des deux différentielles de x et y, est donc = 0/0, mais 0/0 posé comme expression de y/x. Je ne mentionne qu’en passant le fait que ce rapport entre deux grandeurs disparues, l’instant de leur disparition promu à la fixité est une contradiction ; mais cela ne nous trouble pas plus que les mathématiques dans l’ensemble n’en ont été troublées depuis près de deux cents ans. Qu’ai-je donc fait d’autre, sinon de nier x et y, mais non pas nier au point de ne plus m’en soucier, comme nie la métaphysique, mais nier de la manière correspondant au cas donné ? Au lieu de x et y, j’ai donc leur négation dx et dy dans les formules ou équations qui sont devant moi. Je continue dès lors à calculer avec ces formules, je traite dx et dy comme des grandeurs réelles bien que soumises à certaines lois d’exception, et arrivé à un certain point, je nie la négation, c’est-à-dire que j’intègre la formule différentielle, j’obtiens de nouveau à la place de dx et dy les grandeurs réelles x et y ; mais je ne me retrouve pas disons aussi peu avancé qu’au début : j’ai au contraire résolu le problème sur lequel la géométrie et l’algèbre ordinaires se seraient peut-être cassé les dents. »
« J’ai, par exemple, dans un problème déterminé deux grandeurs variables x et y dont l’une ne peut pas varier sans que l’autre varie aussi dans un rapport déterminé pour chaque cas. Je différencie x et y, c’est-à-dire je suppose x et y si infiniment petits qu’ils disparaissent par rapport à n’importe quelle grandeur réelle si petite soit-elle, qu’il ne reste rien d’autre d’x et d’y que leur rapport réciproque, mais sans aucune base pour ainsi dire matérielle, un rapport quantitatif sans aucune quantité ; dy/dx, le rapport des deux différentielles de x et y, est donc = 0/0, mais 0/0 posé comme expression de y/x. Je ne mentionne qu’en passant le fait que ce rapport entre deux grandeurs disparues, l’instant de leur disparition promu à la fixité est une contradiction ; mais cela ne nous trouble pas plus que les mathématiques dans l’ensemble n’en ont été troublées depuis près de deux cents ans. Qu’ai-je donc fait d’autre, sinon de nier x et y, mais non pas nier au point de ne plus m’en soucier, comme nie la métaphysique, mais nier de la manière correspondant au cas donné ? Au lieu de x et y, j’ai donc leur négation dx et dy dans les formules ou équations qui sont devant moi. Je continue dès lors à calculer avec ces formules, je traite dx et dy comme des grandeurs réelles bien que soumises à certaines lois d’exception, et arrivé à un certain point, je nie la négation, c’est-à-dire que j’intègre la formule différentielle, j’obtiens de nouveau à la place de dx et dy les grandeurs réelles x et y ; mais je ne me retrouve pas disons aussi peu avancé qu’au début : j’ai au contraire résolu le problème sur lequel la géométrie et l’algèbre ordinaires se seraient peut-être cassé les dents. »
Engels dans l’Anti-Dühring