EdusalsaDiscover Your Stanford

PHIL 151A

Recursion Theory (PHIL 251A)

  • Not Offered

4 units

Letter or Credit/No Credit

Computable functions, Turing degrees, generalized computability and definability. "What does it mean for a function from the natural numbers to themselves to be computable?" and "How can noncomputable functions be classified into a hierarchy based on their level of noncomputability?". Theory of relative computability, reducibility notions and degree structures. Prerequisite is PHIL 150, or PHIL 151 or CS 103.

Fulfills

  • GER:DB-Math

  • WAY-FR

Course Prequisites

PHIL 151A is useful for

Sections

Section Information Unavailable

Sign Up

To save PHIL 151A to your course bucketlist

Already Have An Account? Log In