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

Inhoud geleverd door Número Imaginário. Alle podcastinhoud, inclusief afleveringen, afbeeldingen en podcastbeschrijvingen, wordt rechtstreeks geüpload en geleverd door Número Imaginário of hun podcastplatformpartner. Als u denkt dat iemand uw auteursrechtelijk beschermde werk zonder uw toestemming gebruikt, kunt u het hier beschreven proces https://nl.player.fm/legal volgen.

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

7y ago 11:08

Delen

MP3•Thuis aflevering

Inhoud geleverd door Número Imaginário. Alle podcastinhoud, inclusief afleveringen, afbeeldingen en podcastbeschrijvingen, wordt rechtstreeks geüpload en geleverd door Número Imaginário of hun podcastplatformpartner. Als u denkt dat iemand uw auteursrechtelijk beschermde werk zonder uw toestemming gebruikt, kunt u het hier beschreven proces https://nl.player.fm/legal volgen.

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 afleveringen

#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

Delen

MP3•Thuis aflevering

Inhoud geleverd door Número Imaginário. Alle podcastinhoud, inclusief afleveringen, afbeeldingen en podcastbeschrijvingen, wordt rechtstreeks geüpload en geleverd door Número Imaginário of hun podcastplatformpartner. Als u denkt dat iemand uw auteursrechtelijk beschermde werk zonder uw toestemming gebruikt, kunt u het hier beschreven proces https://nl.player.fm/legal volgen.

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 afleveringen

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

כל הפרקים

×

Welkom op Player FM!

Player FM scant het web op podcasts van hoge kwaliteit waarvan u nu kunt genieten. Het is de beste podcast-app en werkt op Android, iPhone en internet. Aanmelden om abonnementen op verschillende apparaten te synchroniseren.

Luister naar 500+ onderwerpen