La controversia sul simbolo ‘uguale’ in campo matematico
Un dibattito decennale sul concetto di uguaglianza in matematica emerge, causando problemi nei programmi di verifica automatica dei teoremi.
In matematica esistono concetti piuttosto nebulosi, ma si potrebbe pensare che il significato di “uguale” fosse chiaro. Invece, i matematici non sono d’accordo su cosa significhi esattamente che due cose siano uguali, e questa ambiguità può causare problemi ai programmi informatici utilizzati per verificare i teoremi matematici.
Clicca per votare questo articolo!
[Voti: 0 Media: 0]
