Decomposition and Abstraction through Functions




School: MIT
Lecture Title: Decomposition and Abstraction Through Functions
Lecture Summary:
Professor Eric Grimson dives into Recursion theory, also called computability theory, studies the properties of computable functions and the Turing degrees, which divide the uncomputable functions into sets that have the same level of uncomputability.

He explains how Recursion theory also includes the study of generalized computability and definability. Recursion theory grew from the work of Alonzo Church and Alan Turing in the 1930s, which was greatly extended by Kleene and Post in the 1940s.

Your Feedback Welcomed:
If you found this lecture useful please make sure to click the heart button to the left of the video player, comment, share with your social media venues, or ALL of the above!

3 thoughts on “Decomposition and Abstraction through Functions”

November 17, 2015

Interesting video


March 8, 2016

Definitely an interesting theory. I am going to do some more research see what some other view points are.


March 9, 2016

I remember learning a bit about the Recursion theory in the past. This cleared my memory.


Your email address will not be published.