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

Contenido proporcionado por Número Imaginário. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Número Imaginário o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.

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

7+ y ago 11:08

Compartir

MP3•Episodio en casa

Contenido proporcionado por Número Imaginário. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Número Imaginário o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.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 episodios

#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

Compartir

MP3•Episodio en casa

Contenido proporcionado por Número Imaginário. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Número Imaginário o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.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 episodios

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

Todos los episodios

×

Bienvenido a Player FM!

Player FM está escaneando la web en busca de podcasts de alta calidad para que los disfrutes en este momento. Es la mejor aplicación de podcast y funciona en Android, iPhone y la web. Regístrate para sincronizar suscripciones a través de dispositivos.

Escucha más de 500 temas