Turing's proof of normalization for STLC
May 21 2024
Length: 18 mins
Podcast

Failed to add items

Sorry, we are unable to add the item because your shopping cart is already at capacity.

Add to Cart failed.

Please try again later

Add to Wish List failed.

Please try again later

Remove from wish list failed.

Please try again later

Follow podcast failed

Unfollow podcast failed

Turing's proof of normalization for STLC

Listen for free

View show details

Summary
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.

Show more Show less

Show more Show less

What listeners say about Turing's proof of normalization for STLC

Average Customer Ratings

Reviews - Please select the tabs below to change the source of reviews.

Audible.ca reviews

Amazon Reviews

No reviews are available

Report a review on Amazon