Η μηχανή Τούρινγκ

16:09 9/8/2018 - Πηγή: NewsNow
Το 1936 στο On Computable Numbers, with an Application to the Entscheidungsproblem, ο. . . Άγγλος μαθηματικός Άλαν Μάθισον Τούρινγκ επεμβαίνει στη διαμάχη γύρω από το πρόβλημα της απόφασης: έστω μία οποιαδήποτε μαθηματική πρόταση- υπάρχει ένας αλγόριθμος που, αν εφαρμοστεί σε αυτή την πρόταση, μπορεί με σιγουριά να ορίσει ότι η πρόταση μπορεί να αποδειχθεί.
Keywords
Τυχαία Θέματα
Τούρινγκ,touringk