Síntesis del Episodio "Tertulia maquínica | Teoría de tipos | Alonzo Church"

En esta ocasión abordamos los textos "El ordenador y el cerebro" de John von Neumann y "A formulation of the simple theory of types" de Alonzo Church para pensar distintas nociones de órgano/máquina que construyeron las computadoras de hoy día así como la formalización de las matemáticas y la formulación de una lógica computacional. Conducción: Elena León. Invitados: Diego Isla y Víctor Sánchez Producción:Eric Flores

Escuchar "Tertulia maquínica | Teoría de tipos | Alonzo Church"

Más episodios del podcast Tertulia Maquínica

• Tertulia maquínica | Teoría de tipos | Alonzo Church
• Tertulia Maquínica | Tractatus | Ludwig Wittgenstein
• Tertulia Maquínica | El hombre de Turing | David Bolter
• Tertulia Maquínica | Máquina de Turing
• Tertulia Maquínica | Vannevar Bush
• Tertulia Maquínica - Russell, Shannon & Weaver
• Tertulia Maquínica - Charles Babbage