Μηχανές Turing Αλγόριθμοι υπολογιστών 1 Αναδρομικές συναρτήσεις 1 Ανεπιλυσιμότητα (Μαθηματική λογική) 1 Αξιωματική μέθοδος (Μαθηματικά) 1 Θεωρήματα μη-πληρότητας 1 Θεωρία μηχανών 1 més ... Θεώρημα Godel 1 Λογική, Συμβολική και μαθηματική 1 Σύνολα, Θεωρία των 1 Υπολογιστική Πολυπλοκότητα 1 menys ...