Audible. Primeros 3 meses gratis, $14.95 al mes después de 3 meses. Cancela en cualquier momento. La oferta termina el 31 de julio, 2024 a las 11:59 PM PT. ¡Obtén esta oferta!

Turing's proof of normalization for STLC
May 21 2024
Duración: 18 m
Podcast

No se pudo agregar al carrito

Solo puedes tener X títulos en el carrito para realizar el pago.

Add to Cart failed.

Por favor prueba de nuevo más tarde

Error al Agregar a Lista de Deseos.

Por favor prueba de nuevo más tarde

Error al eliminar de la lista de deseos.

Por favor prueba de nuevo más tarde

Error al añadir a tu biblioteca

Por favor intenta de nuevo

Error al seguir el podcast

Intenta nuevamente

Error al dejar de seguir el podcast

Intenta nuevamente

Turing's proof of normalization for STLC

Escúchala gratis

Ver detalles del espectáculo

Resumen
In this episode, I describe the first proof of normalization for STLC, written by Alan Turing in the 1940s. See this short note for Turing's original proof and some historical comments.

Más Menos

Matemáticas Ciencia

Lo que los oyentes dicen sobre Turing's proof of normalization for STLC

Calificaciones medias de los clientes

Reseñas - Selecciona las pestañas a continuación para cambiar el origen de las reseñas.

Reseñas de Audible.com

Opiniones de Amazon

No hay comentarios disponibles

Denunciar una opinión en Amazon