Sauf que la première fois qu’il l’a faite et présentée, il a défini une relation et prouvé ensuite que c’était une fonction. C’est exactement la même preuve, mais il a utilisé la bonne terminologie, ce que personne d’autre ne faisait.
Que je sache les relations et les fonctions sont définies de manières ad-hoc et très artificielle au sein de ZFC. Son intuition se généralise en fait dans le cadre de la théorie des catégories pour définir de manière universelle et très élégante les fonctions à partir des relations : ce sont des relations qui commutent avec l'égalité — qui n'est qu'une relation, d'équivalence, parmi d'autres — et donc la conserve.
Je n'ai vu ce résultat nul part dans la littérature à ma disposition, c'est probablement pour ça que son raisonnement a pu être qualifié d'original.
[^] # Re: Autre passage sympa, le cours de maths intensives qu'il a suivi à Harvard
Posté par Nicolas (site web personnel) . En réponse au journal Avis sur le livre "Richard Stallman et la révolution du logiciel libre". Évalué à 2 (+1/-0).
Que je sache les relations et les fonctions sont définies de manières ad-hoc et très artificielle au sein de ZFC. Son intuition se généralise en fait dans le cadre de la théorie des catégories pour définir de manière universelle et très élégante les fonctions à partir des relations : ce sont des relations qui commutent avec l'égalité — qui n'est qu'une relation, d'équivalence, parmi d'autres — et donc la conserve.
Je n'ai vu ce résultat nul part dans la littérature à ma disposition, c'est probablement pour ça que son raisonnement a pu être qualifié d'original.