Vres βιβλία
/
Φυσικές επιστήμες /
Μαθηματικά / Για το θεώρημα μη-πληρότητας του Godel
|
 |
Τίτλος : Για το θεώρημα μη-πληρότητας του Godel
Συγγραφέας : Ουσπένσκι, Β. Α.
Μετάφραση : Χριστακόπουλος, Θάνος
ISBN : 9607809432
ISBN 13 : 9789607809438
Εκδόσεις : ΤΡΟΧΑΛΙΑ
Χρονολογία έκδοσης : 1998
Σελίδες : 207
Περιγραφή : Λίγες ανακαλύψεις έχουν ασκήσει μεγάλη επίδραση στην αντίληψή μας για τις δυνατότητες της ανθρώπινης σκέψης, όσο η απόδειξη από τον Godel στα 1930, ότι οποιοδήποτε λογικό σύστημα, όπως είναι οι συνηθισμένοι κανόνες της αριθμητικής, πρέπει αναπόφευκτα να μην είναι πλήρες, δηλαδή πρέπει να εμπεριέχουν προτάσεις που είναι μεν αληθείς αλλά δεν μπορούν ποτέ να αποδειχθούν, εντός αυτού του συστήματος. Το βιβλίο αυτό, διατυπώνει επακριβώς αυτό το θεώρημα με τρόπο κατανοητό στον καθένα που διαθέτει απλώς γνώσεις λυκείου. Επιπλέον, εισάγει ο συγγραφέας μια νέα μέθοδο απόδειξης του θεωρήματος βασισμένη στην θεωρία των αλγορίθμων, η οποία αποκτά μεγάλο ενδιαφέρον λόγω της σύνδεσης της με τους υπολογιστές.
Εμφανίσεις : 1254
Βαθμολογία:
10
/10  ,
ψήφοι
1
Δείτε τα σχόλια εδώ
Βαθμοί
Ψήφοι 1
Ψήφοι
1
(0)
2
(0)
3
(0)
4
(0)
5
(0)
6
(0)
7
(0)
8
(0)
9
(0)
10
(1)
|
Κατηγορίες:
1076
Βιβλία :
151391
