Material Detail

6.844 is a graduate introduction to programming theory, logic of programming, and computability, with the programming language Scheme used to crystallize computability constructions and as an object of study itself. Topics covered include: programming and computability theory based on a term-rewriting, "substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

This will delete the comment from the database. This operation is not reversible. Are you sure you want to do it?

Thank you for reporting a broken "Go to Material" link in MERLOT to help us maintain a collection of valuable learning materials.

Would you like to be notified when it's fixed?

Your email address

Do you know the correct URL for the link?

Suggested URL

Your broken link report has been sent to the MERLOT Team. Thank you for helping MERLOT maintain a current collection of valuable learning materials!

Your broken link report failed to be sent. Please try reloading the page and reporting it again. Thank you! Sorry for the trouble.

If you feel this material is inappropriate for the MERLOT Collection, please click SEND REPORT, and the MERLOT Team will investigate. Thank you!

Your inappropriate material report has been sent to the MERLOT Team. Thank you for helping MERLOT maintain a valuable collection of learning materials.

Your inappropriate material report failed to be sent. Please try reloading the page and reporting it again. Thank you! Sorry for the trouble.

Your inappropriate comment report has been sent to the MERLOT Team. Thank you for helping MERLOT maintain a valuable collection of learning materials.

You are being taken to the material on another site. This will open a new window.

Do not show me this again

You just viewed 6.844 Computability Theory of and.... Please take a moment to rate this material.