Il concetto di ‘uguale’ divide i matematici moderni

Il concetto di ‘uguale’ è al centro di una disputa tra matematici moderni. Mentre i computer vengono sempre più utilizzati per verificare le prove matematiche, la definizione di uguaglianza si rivela ambigua per le macchine. Una disputa accademica decennale è culminata nella necessità di avere istruzioni chiare e specifiche per i programmi di formalizzazione. Un matematico britannico ha rilevato questo problema collaborando con programmatori e ha deciso di riesaminare i concetti di uguaglianza. Sebbene l’elegante simbolo = sia stato introdotto 400 anni fa, il suo uso nel contesto matematico moderno resta problematico.