da john_dee » 21/08/2019, 13:01
No, quello che credo stia dicendo OP è che si può risolvere l'equazione $y = fx$ e trovarne almeno due soluzioni, per confutare che la funzione $f$ sia iniettiva. C'è però un problema: cos'è una funzione? Quelle che hai in mente tu sono funzioni definite da operazioni su insiemi di numeri. Ce ne sono molte altre, e a volte non puoi "risolvere l'equazione" $y = fx$ perché $f$ non si presta ad essere descritta mediante operazioni aritmetiche; per non parlare del fatto che, persino coi polinomi, a volte non è possibile "trovare" le loro radici.
La morale di questa storia è che "calcolare", "trovare" e "ricavare" sono nozioni sottili, serve parecchio studio per capire realmente cosa significano questi verbi.
"It is by the straight line and the circle that the first and most simple example and representation of all things may be demonstrated"