Θεωρήματα μη πληρότητας του Γκέντελ: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας |
|||
Γραμμή 1:
Στη [[μαθηματική λογική]], τα '''θεωρήματα μη πληρότητας του Γκέντελ''', τα οποία αποδείχτηκαν από τον [[Κουρτ Γκέντελ]] (Kurt Gödel) το 1931, είναι δύο [[Θεώρημα|θεωρήματα]] που υποδεικνύουν έμφυτους περιορισμούς σε όλα τα (πλην των τετριμμένων)
== Υπόβαθρο ==
|