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

Contenuto fornito da Número Imaginário. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Número Imaginário o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.player.fm/legal.

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

7+ y ago 11:08

Condividi

MP3•Pagina principale dell'episodio

Contenuto fornito da Número Imaginário. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Número Imaginário o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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 episodi

#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 7+ y ago

Condividi

MP3•Pagina principale dell'episodio

Contenuto fornito da Número Imaginário. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Número Imaginário o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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 episodi

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

Tutti gli episodi

×

Benvenuto su Player FM!

Player FM ricerca sul web podcast di alta qualità che tu possa goderti adesso. È la migliore app di podcast e funziona su Android, iPhone e web. Registrati per sincronizzare le iscrizioni su tutti i tuoi dispositivi.

Ascolta più di 500 argomenti