Lower limit on Turing machine universality - Wolfram prize

Post by **HdkiLLeR** » Fri Dec 07, 2007 7:04 pm

Αυτός εδώ ο κύριος (Alex Smith), κατάφερε να αποδείξει το lower bound της καθολικότητας των μηχανών Turing. Είναι γεννημένος μόλις το '87 και φοιτητής στο Πανεπιστήμιο του Birmingham. Με βάση την απόδειξη του, της οποίας το έπαθλο ήταν 25.000$, μία μηχανή Turing 2,3 (δύο καταστάσεων και τριών χρωμάτων) μπορεί να επιλύσει οποιοδήποτε πρόβλημα μπορούν να λύσουν οι υπολογιστές μας και αυτοί που θα βγούν τα επόμενα χρόνια (δεδομένου ότι δεν αναμένονται άμεσα οι κβαντικοί

). Το προηγούμενο bound ήταν μια μηχανή Turing 7,4 και είχε βρεθεί το 1960.

ultimate_aektzis · Post by **ultimate_aektzis** » Fri Dec 07, 2007 7:51 pm

ρε τι εκανε το παλληκαρι.μπραβο του.αξιζει συγχαρητηρια.και εχουμε τους ασχετους και κανουν μαθημα στα αμφιθεατρα...(αναφερομαι καθολικα στους καθηγητες του κλαδου και δν ριχνω σποντα για συγκεκριμενα ατομα)

marios · Post by **marios** » Sat Dec 08, 2007 1:06 am

Συγχαρητήρια στο παλικάρι... Αντε, το καλό παραδειγμα για μας τους μελλοντικούς...

tsilochr · Post by **tsilochr** » Sat Dec 08, 2007 4:42 am

αναρωτιέμαι πως θα είναι μια τυπική συζήτηση με το παλικάρι...

Costantine · Post by **Costantine** » Sat Dec 08, 2007 5:14 am

Post by **HdkiLLeR** » Sat Dec 08, 2007 12:46 pm

Ενδιαφέρον! Το θέμα είναι ότι το .pdf με την απόδειξη είναι λίγο αχανές

- Για μένα τουλάχιστον.

ultimate_aektzis · Post by **ultimate_aektzis** » Sat Dec 08, 2007 2:18 pm

το παληκαρι καθαρισε ολη του τη ζωη.χωρια του οτι με τα 25000 ευρω και τυπικη ζωη τη βγαζεις για 1,5 2 χρονια χαλαρα ολες οι εταιριες θα γινουν χαλι μπροστα του και θα του δωσουν κατι εξωφρενικα συμβολαια

elsupreme · Post by **elsupreme** » Sun Dec 09, 2007 3:47 am

Οι εκτιμήσεις χωρίς στοιχεία είναι σαν την τηλεόραση τον μήνα του μέλιτος : παντελώς άχρηστες...

ultimate_aektzis · Post by **ultimate_aektzis** » Sun Dec 09, 2007 1:39 pm

δλδ εχεις την εντυπωση ως λογικος ανθρωπος οτι θα τον αφησουν οι ετεραιες να τους ξεφυγει?

elsupreme · Post by **elsupreme** » Sun Dec 09, 2007 2:41 pm

Μην το πάμε πολύ off ε...
Απλώς σημειώνω ως "λιγικός άνθρωπος" ότι : α)μπορεί να μην επιθυμεί να εργαστεί σε εταιρία.
β)το γεγονός ότι μπόρεσε να αποδείξει (;δεν είμαι σίγουρος αν τα κατάφερε με βάση το

Wolfram's 2,3 Turing Machine Not Universal
http://science.slashdot.org/article.pl? ... 29/2212226

) το παραπάνω δεν λέει κάτι για την ικανότητά του ως επιχειρησιακό στέλεχος, με λίγα λόγια πλην ερευνητικών εταιριών, οι υπόλοιπες θα πρέπει να εξετάσουν και το υπόλοιπο cv του για να τον προσλάβουν.
Αυτά, ας μείνουμε στο θέμα όμως...

Post by **The Punisher** » Mon Dec 10, 2007 12:33 am

Η θεματική ενότητα μετακινήθηκε εδώ !

Post by **HdkiLLeR** » Mon Dec 10, 2007 7:08 pm

ultimate_aektzis wrote:δλδ εχεις την εντυπωση ως λογικος ανθρωπος οτι θα τον αφησουν οι ετεραιες να τους ξεφυγει?

Βασικά εάν το κουράσεις λίγο (ή είσαι αρκετά καλός) μπορείς να βρείς και εδώ ακόμη δουλειές που να σου δώσουν 25k ή και παραπάνω σε έναν χρόνο. Δεν νομίζω οτι είναι ο βασικός σκοπός τα χρήματα για να λύσεις ένα τέτοιο challenge. Απο εκει και πέρα όταν κάνεις κάτι το οποίο ταράζει τα θεμέλια της επιστήμης σου δεν νομίζω ότι το βασικό είναι εάν θα το πουλήσεις γρήγορα κάπου.

Ας δούμε βέβαια εάν το κατάφερε ή όχι

Lower limit on Turing machine universality - Wolfram prize

Lower limit on Turing machine universality - Wolfram prize

Re: Lower limit on Turing machine universality - Wolfram prize