IUT theory

Η επαλήθευση της μεγάλης μαθηματικής διαμάχης δεν έχει προχωρήσει

Μια προσπάθεια να δοθεί οριστική απάντηση σε μία από τις πιο αμφιλεγόμενες περιοχές των μαθηματικών δεν έχει, μέχρι στιγμής, αποδώσει. Μαθηματικοί εργάζονται πάνω στη χρήση υπολογιστή για να ελεγχθεί μια φαινομενική απόδειξη…