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

NOW PLAYING

0:00 39:27

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

¿Tienen las aplicaciones propiedad intelectual en España?

Jun 23, 2026 ·13m

Entrevista Ángel Alloza, CEO de Corporate

Jun 23, 2026 ·13m

“China Desconocida” Lo que Occidente no ha descubierto del gigante asiático

Jun 23, 2026 ·18m

Cómo la transpariencia salarial transforma la gestión del talento

Jun 23, 2026 ·35m

Entrevista Ramón Vera, Managing Director de Aon

Jun 23, 2026 ·14m

La Idea Capital de Mar Barrero

Jun 23, 2026 ·1m

Similar Podcasts

Aboga&Cia - Tertulia Jurídica - Podcast de Derecho Ángel Seisdedos Aboga&Cía es el podcast donde hablamos claro sobre lo que de verdad hace crecer un despacho.Marketing jurídico sin humo.Ventas con criterio.Gestión con números reales.Soy Ángel Seisdedos, abogado y emprendedor digital. Cada semana comparto lo que funciona en la abogacía actual: posicionamiento, honorarios, organización y mentalidad empresarial.No es para quejarse del mercado.Es para abogados que quieren dirigir su despacho como una empresa. Capital, la Bolsa y la Vida Capital Radio “Capital, la Bolsa y la Vida” es el programa líder de información económica en la radio europea, desde 1994. Su director, Luis Vicente Muñoz, ha recibido los premios Ondas y Antena de Oro por la innovación radiofónica. El programa incluye información en tiempo real de mercados, junto con “La Gran Tertulia de la Economía”. Además, ofrece secciones dedicadas a la tecnología, fintech, big-data, mentoring, legal, impuestos, e inteligencia económica. Sintonizar este programa es la mejor forma para orientarse en el comienzo del día y llegar al trabajo con la información necesaria para tomar las decisiones acertadas. Coffee Break: Señal y Ruido Coffee Break: Señal y Ruido Coffee Break es la tertulia semanal en la que, medio en broma, medio en serio, repasamos las últimas noticias de la actualidad científica. Puedes escuchar esta tertulia cada semana en nuestro canal de ivoox. Para no perderse ningún episodio, recomendamos suscribirse. Para mayor comodidad puedes usar la aplicación para móvil o tablet, pudiendo así disfrutar de la tertulia sin tener que estar tras el ordenador. ¿Qué mejor entretenimiento mientras vamos al trabajo o hacemos las faenas del hogar? El Encanto Armonico de la Musica Radio Clasica El Salvador Una nueva forma para viajar, a traves de las grandes obras musicales del genero clasico. Conducido por Juan Fernando Villafuerte Ex colaborador de la Deutsche Welle de Alemania y la Elizabeth Trabanino, Directora de Radio Clasica, quienes a traves de una tertulia contaran las historias que se esconden detras de las operas a manera de poner en contexto al publico sobre el origen de estas grandes composiciones.

Frequently Asked Questions

How long is this episode of Tertulia Maquínica?

This episode is 39 minutes long.

When was this Tertulia Maquínica episode published?

This episode was published on April 23, 2020.

What is this episode about?

Can I download this Tertulia Maquínica episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.

URL copied to clipboard!