Επιλέξτε την εφαρμογή κριτηρίων αναζήτησης απο την παρακάτω λίστα, στα αποτελέσματα που βρέθηκαν:
Απόκρυψη λίστας κριτηρίων αναζήτησης
Βρέθηκε 1 αποτέλεσμα
, σύνολο σελίδων 1.
Εφαρμοζόμενα κριτήρια αναζήτησης:
μη πληρότητα, συνέπεια, τυπικό αξιωματικό σύστημα, Gödel, αυτοαναφορά
Ακύρωση των κριτηρίων αναζήτησης
Λίστα μετα τα αποτελέσματα αναζήτησης:
Τίτλος σε άλλη γλώσσα:
Godel's Incompleteness Theorems,content and misconceptions [Αγγλική]
Ημερομηνία:
26-09-2015 [2015-09-26]
ΒΛΑΣΤΟΣ, ΑΙΜΙΛΙΟΣ
Σχολή:
Σχολή Θετικών Επιστημών και Τεχνολογίας
Τμήμα:
Μεταπτυχιακές Σπουδές στα Μαθηματικά (ΜΣΜ)
Περίληψη (Abstract): Ο Gödel το 1931 με τα θεωρήματα μη πληρότητας ανέτρεψε την αντίληψη, ότι ένα αξιωματικό σύστημα μπορεί να περιγραφεί πλήρως με ένα σύστημα αξιωμάτων. Απέδειξε ότι μια επαρκής τυπική θεωρία, που περιλαμβάνει τη θεωρία των ακέραιων αριθμών, αν είναι συνεπής, τότε είναι μη πλήρης.
Επίσης απέδειξε ότι είναι αδύνατη η εσωτερική συνέπεια μιας εκτενούς κλάσης παραγωγικών συστημάτων, εκτός αν καταφύγουμ...
