Επισκόπηση προηγούμενης Θ.Ενότητας :: Επισκόπηση επόμενης Θ.Ενότητας |
Συγγραφέας |
Μήνυμα |
drakos Πρύτανης
Εγγραφή: 11 Νοέ 2006 Δημοσιεύσεις: 445
|
|
Επιστροφή στην κορυφή |
|
|
Bugman Πρύτανης
Εγγραφή: 03 Ιούλ 2003 Δημοσιεύσεις: 13585 Τόπος: Καλλιθέα
|
Δημοσιεύθηκε: Τρι Ιαν 26, 2010 7:15 pm Θέμα δημοσίευσης: |
|
|
Να τολμήσεις.... _________________ Σκορπίστε γνώση, μαζέψτε χαρά!
Η γνώση δεν μπορεί να πουληθεί: Γιατί ενώ κάθε εμπόρευμα μπορεί να επιστραφεί, η γνώση δεν μπορεί να επιστραφεί! |
|
Επιστροφή στην κορυφή |
|
|
drakos Πρύτανης
Εγγραφή: 11 Νοέ 2006 Δημοσιεύσεις: 445
|
Δημοσιεύθηκε: Τρι Ιαν 26, 2010 10:16 pm Θέμα δημοσίευσης: |
|
|
Πολυ χονδρικα.
Το 1931 ο Godel παρουσιαζει το θεωρημα της μη πληροτητας το οποιο μπορειτε να βρειτε εδω:
http://mathworld.wolfram.com/GoedelsIncompletenessTheorem.html
στο πολυ περιπου λεει πως υπαρχουνε προτασεις που ισχυουν αλλα ειναι αδυνατο να αποδειχτουν.
Το θεωρημα αυτο αποτελεσε "γροθα στο στομαχι" οχι μονο για τα μαθηματικα αλλα και για τον τροπο με τον οποιο αντιλαμβανομασταν τον κοσμο.
Τοτε ο hilbert εθεσε το εξης ερωτημα:
υπαρχει καποια μεθοδος η οποια να μπορει να αποφασιζει για το αν μια προταση εχει αποδειξη ή οχι? (προβλημα της αποφασης- Entscheidungsproblem)
http://mathworld.wolfram.com/DecisionProblem.html
O Turing χρησιμοποιωντας ενα θεωρητικο μοντελο , την οικουμενικη μηχανη Turing απεδειξε πως οχι , δεν υπαρχει μια τετοια μεθοδος.
Δηλαδη
Μια αληθης μαθηματικη προταση μπορει να μην ειναι δυνατον να αποδειχθει και επιλεον δεν υπαρχει τροπος να γνωριζουμε αν μια αληθης προταση μπορει η δεν μπορει να αποδειχτει!!
Ο τροπος με τον οποιο ο Turing εφτασε σε αυτο το συμπερασμα ειναι απλα μαγευτικος υπαρχει στο πρωτο link και δεν θα πω τιποτα πανω σε αυτο.
Περα απο το οτι η οικουμενικη μηχανη ειναι θεμελιωδους σημασιας στην επιστημη των υπολογιστων και την σπανα ομορφια των συλλογισμων του Turing ειναι ενδιαφερον να δει κανεις τι σημαινει ολο αυτο για τον ανθρωπο...
Για περισσοτερες πληροφοριες αν δε θελεται να διαβασετε την σημοσιευση του Turing στο συνδεσμου του πρωτου ποστ μπορειτε να βρειτε μια καλη ανασκοπηση της ζωης και του εργου του εδω
http://plato.stanford.edu/entries/turing/#TurMacCom
υ.γ αφορμη για να αναφερω τον Τuring ηταν το παραδοξο του Russell...
ειναι πολυ ενδιαφερον να δει κανεις πως δενει η εργασια του Turing με την θεωρια των υπερσυνολων και την "απο κατω προς τα πανω" προσεγγιση. |
|
Επιστροφή στην κορυφή |
|
|
Bugman Πρύτανης
Εγγραφή: 03 Ιούλ 2003 Δημοσιεύσεις: 13585 Τόπος: Καλλιθέα
|
Δημοσιεύθηκε: Πεμ Ιαν 28, 2010 1:29 pm Θέμα δημοσίευσης: |
|
|
μου αρέσουν οι αποδείξεις που μετά βεβαιότητος δείχνουν την αβεβαιότητα που επικρατεί. Όλο το παιχνίδι είναι να σκέφτεσαι ότι υπάρχει και ένα υπόλοιπο παιχνιδιού που δεν έχεις σκεφθεί. Το "ΟΛΟ" στην προηγούμενη πρόταση δηλώνει εκείνη την ενέργεια που έκανε σκέψη ο εγκέφαλός μας ως "παιχνίδι"...ενώ το "υπόλοιπο" είναι το αποτέλεσμα της σκέψης αυτής. Αν θέλαμε το "ΟΛΟ" να μην έδινε υπόλοιπο..τότε θα είχαμε μια σκέψη με μηδενικό αποτέλεσμα, άρα μια μη σκέψη. Έτσι είναι απαραίτητο να σκεφτόμαστε πάντα με υπόλοιπο....και αυτός είναι ο λόγος που δεν σταματάμε να σκεφτόμαστε. Έτσι το πραγματικό "ΟΛΟ" παιχνίδι είναι η συνέχεια και όχι η στιγμή ή το διάστημα σκέψης.
Γιατί τα γράφω αυτά; Γιατί όλες οι ιδέες για θεωρήματα θέλουμε να έχουν μια διαχρονικότητα, μια πληρότητα, μια ολότητα. Όμως αυτό θα έκανε το παιχνίδι στάσιμο, δεν θα άφηνε περιθώρια ή υπόλοιπα ως αίτια για να έχουμε σκέψη, παραγωγή, ενέργεια. Ακόμα και να είμαστε βέβαιοι πως ένα θεώρημα είναι σωστό...ο χρονικός ορίζοντας που θα παραμένει σωστό δεν είναι άπειρος..Θα έρθει δηλαδή η στιγμή όπου ο τρόπος που βλέπουμε τα πράγματα να κάνει το θεώρημα ως ειδική περίπτωση μιας γενικότερης θεωρίας. Ο χρόνος δηλαδή ευνοεί την αύξηση της βάσης γνώσεων και αυτή η βάση καθηλώνει τα θεωρήματα σε περιπτώσεις. Όπως για παράδειγμα η βαρύτητα κατά Νεύτωνα είναι ζήτημα "δυνάμεων" και κατά Αϊνστάιν είναι ζήτημα καμπύλωσης του χωροχρόνου. _________________ Σκορπίστε γνώση, μαζέψτε χαρά!
Η γνώση δεν μπορεί να πουληθεί: Γιατί ενώ κάθε εμπόρευμα μπορεί να επιστραφεί, η γνώση δεν μπορεί να επιστραφεί! |
|
Επιστροφή στην κορυφή |
|
|
skakos Πρύτανης
Εγγραφή: 23 Σεπ 2009 Δημοσιεύσεις: 3594 Τόπος: Αθήνα, Ελλάδα
|
|
Επιστροφή στην κορυφή |
|
|
Ρουπέλιον Πρύτανης
Εγγραφή: 24 Οκτ 2012 Δημοσιεύσεις: 909
|
Δημοσιεύθηκε: Τρι Νοέ 06, 2012 11:34 pm Θέμα δημοσίευσης: |
|
|
skakos έγραψε: | Ο Turing ήταν πράγματι άνθρωπος εξαιρετικός. Τα συμπεράσματα του ήταν καθοριστικά για το πως βλέπουμε τη "βεβαιότητα" που μερικοί ευαγγελίζονται πως θα μας χαρίσουν οι υπολογιστές... |
skakos ποιοι ευαγγελίζονται τέτοια πράγματα ;
Όπως και να έχει νομίζω πως η βεβαιότητα δεν έχει λιγότερες πιθανότητες από την αβεβαιότητα.
_________________ "Οι αρετές χάνονται μέσα στο συμφέρον, όπως τα ποτάμια μέσα στη θάλασσα" Φ.Ροσφουκώ
"Οι άνθρωποι αγωνίζονται πιο σκληρά για τα συμφέροντά τους παρά για τα δικαιώματά τους." Ναπολέων
"Ο άνθρωπος είναι ένα ζώο που κάνει παζάρια" Άνταμ Σμιθ |
|
Επιστροφή στην κορυφή |
|
|
ΚΟΜΝΗΝΟΣ ΣΤΑΘΗΣ Νεοφώτιστος
Εγγραφή: 21 Ιαν 2013 Δημοσιεύσεις: 4 Τόπος: ΑΘΗΝΑ
|
|
Επιστροφή στην κορυφή |
|
|
Ρουπέλιον Πρύτανης
Εγγραφή: 24 Οκτ 2012 Δημοσιεύσεις: 909
|
Δημοσιεύθηκε: Τρι Ιαν 22, 2013 1:39 pm Θέμα δημοσίευσης: |
|
|
Τ ι ε ί ν α ι Α υ τ ό ;;;;;; !!!!!!!
Τρι Νοέ 06, 2012
Ρουπέλιον έγραψε: | skakos έγραψε: | Ο Turing ήταν πράγματι άνθρωπος εξαιρετικός. Τα συμπεράσματα του ήταν καθοριστικά για το πως βλέπουμε τη "βεβαιότητα" που μερικοί ευαγγελίζονται πως θα μας χαρίσουν οι υπολογιστές... |
skakos ποιοι ευαγγελίζονται τέτοια πράγματα ;
Όπως και να έχει νομίζω πως η βεβαιότητα δεν έχει λιγότερες πιθανότητες από την αβεβαιότητα.
|
..........
υγ >
skakos έγραψε: | Η προσπάθεια σου είναι ΠΟΛΥ ΚΑΛΗ Ρουπέλιον. Αν καταφέρεις να ξοδέψεις κάθε μέρα λίγο χρόνο και ενέργεια για να εμπλουτίσεις και να καλουπώσεις λίγο τις λίστες σου, θα έχεις μεγάλη επιτυχία! Μπράβο! |
κι εσύ σκακε αν ενδιαφερόσουν να απαντήσεις που και που σε απορίες που δημιουργείς, θα είχες να περιμένεις περισσότερα από τους συνΈλληνές σου _________________ "Οι αρετές χάνονται μέσα στο συμφέρον, όπως τα ποτάμια μέσα στη θάλασσα" Φ.Ροσφουκώ
"Οι άνθρωποι αγωνίζονται πιο σκληρά για τα συμφέροντά τους παρά για τα δικαιώματά τους." Ναπολέων
"Ο άνθρωπος είναι ένα ζώο που κάνει παζάρια" Άνταμ Σμιθ |
|
Επιστροφή στην κορυφή |
|
|
|