Episódio #031 - Notas Sobre A Tese De Church Número Imaginário podcast

Artwork

Ensino Superior Sociedade Lógica Matemática Imaginário Filosofia Computação Educação Filosofia Da Matemática

Το περιεχόμενο παρέχεται από το Número Imaginário. Όλο το περιεχόμενο podcast, συμπεριλαμβανομένων των επεισοδίων, των γραφικών και των περιγραφών podcast, μεταφορτώνεται και παρέχεται απευθείας από τον Número Imaginário ή τον συνεργάτη της πλατφόρμας podcast. Εάν πιστεύετε ότι κάποιος χρησιμοποιεί το έργο σας που προστατεύεται από πνευματικά δικαιώματα χωρίς την άδειά σας, μπορείτε να ακολουθήσετε τη διαδικασία που περιγράφεται εδώ https://el.player.fm/legal.

Número Imaginário « »
Episódio #031 - Notas Sobre a Tese de Church

7y ago 11:08

Μοίρασέ το

MP3•Αρχική οθόνη επεισοδίου

Το περιεχόμενο παρέχεται από το Número Imaginário. Όλο το περιεχόμενο podcast, συμπεριλαμβανομένων των επεισοδίων, των γραφικών και των περιγραφών podcast, μεταφορτώνεται και παρέχεται απευθείας από τον Número Imaginário ή τον συνεργάτη της πλατφόρμας podcast. Εάν πιστεύετε ότι κάποιος χρησιμοποιεί το έργο σας που προστατεύεται από πνευματικά δικαιώματα χωρίς την άδειά σας, μπορείτε να ακολουθήσετε τη διαδικασία που περιγράφεται εδώ https://el.player.fm/legal.

Nesse episódio eu comento brevemente a chamada Tese de Church (ou tese de Church-Turing), que conecta a ideia intuitiva de computabilidade (ou algoritmo) com noções formais, dadas, por exemplo, pelo lâmbda-cálculo, de Alonzo Church, e pelas máquinas de Turing, do Alan Turing.

… continue reading

90 επεισόδια

#Ensino Superior #Sociedade #Lógica #Matemática #Imaginário #Filosofia #Computação #Educação #Filosofia Da Matemática

Artwork

Episódio #031 - Notas Sobre a Tese de Church

Número Imaginário

79 subscribers

published 7y ago

Μοίρασέ το

MP3•Αρχική οθόνη επεισοδίου

Το περιεχόμενο παρέχεται από το Número Imaginário. Όλο το περιεχόμενο podcast, συμπεριλαμβανομένων των επεισοδίων, των γραφικών και των περιγραφών podcast, μεταφορτώνεται και παρέχεται απευθείας από τον Número Imaginário ή τον συνεργάτη της πλατφόρμας podcast. Εάν πιστεύετε ότι κάποιος χρησιμοποιεί το έργο σας που προστατεύεται από πνευματικά δικαιώματα χωρίς την άδειά σας, μπορείτε να ακολουθήσετε τη διαδικασία που περιγράφεται εδώ https://el.player.fm/legal.

Nesse episódio eu comento brevemente a chamada Tese de Church (ou tese de Church-Turing), que conecta a ideia intuitiva de computabilidade (ou algoritmo) com noções formais, dadas, por exemplo, pelo lâmbda-cálculo, de Alonzo Church, e pelas máquinas de Turing, do Alan Turing.

… continue reading

90 επεισόδια

#Ensino Superior #Sociedade #Lógica #Matemática #Imaginário #Filosofia #Computação #Educação #Filosofia Da Matemática

همه قسمت ها

×

Καλώς ήλθατε στο Player FM!

Το FM Player σαρώνει τον ιστό για podcasts υψηλής ποιότητας για να απολαύσετε αυτή τη στιγμή. Είναι η καλύτερη εφαρμογή podcast και λειτουργεί σε Android, iPhone και στον ιστό. Εγγραφή για συγχρονισμό συνδρομών σε όλες τις συσκευές.

Ακούστε 500 + θέματα

Οδηγός γρήγορης αναφοράς

Κορυφαία podcast

Marketing Podcasts από το σύμβουλο μάρκετινγκ Θέμη Σαρανταένα

ΜΑΡΜΕΛΑΔΑ ΦΡΑΟΥΛΑ

Μόνο Ντροπή

POP για τις Δύσκολες Ώρες

Sugarenia and Stelabouras make a podcast (#ssmap)

Πρωταγωνιστές με τον Σταύρο Θεοδωράκη

Ηχητικά άρθρα

Τροφή Για Σκέψη

CyberSpectrum (Feta Report)