Δύσκολη είναι πλέον η επιβεβαίωση των μαθηματικών αποδείξεων
Η αναμφισβήτητη αλήθεια των μαθηματικών αποδείξεων θεωρείται το αποκορύφωμα της λογικής. Όμως οι μαθηματικές αποδείξεις είναι πια τόσο περίπλοκες ώστε να απαιτούν τη χρήση υπολογιστή, και σε πολλές περιπτώσεις κανείς δεν μπορεί να είναι απολύτως σίγουρος .




Αριθμός Πιστοποίησης Μ.Η.Τ.232442