Ohio State nav bar

What is...? Seminar - Vilas Winstein

What is...? Seminar
June 21, 2018
4:00PM - 5:00PM
Scott Lab N054

Date Range
Add to Calendar 2018-06-21 16:00:00 2018-06-21 17:00:00 What is...? Seminar - Vilas Winstein Title: What is the Recursion Theorem? Speaker: Vilas Winstein (Ohio State University) Abstract: How many algorithms are there? What kind of structure does a set of algorithms have? What exactly is an algorithm? In this presentation we will begin to answer these questions and more. The Recursion Theorem is a particularly interesting result pertaining to the structure of a list of recursive functions (algorithms) in the study of Recursion Theory, the branch of mathematical logic which is the predecessor to modern computer science.We will give a proof of the recursion theorem based on the idea of the Turing Machine, and some necessary facts about Turing Machines will be discussed. Seminar URL: https://math.osu.edu/whatis Scott Lab N054 Department of Mathematics math@osu.edu America/New_York public

Title: What is the Recursion Theorem?

Speaker: Vilas Winstein (Ohio State University)

Abstract: How many algorithms are there? What kind of structure does a set of algorithms have? What exactly is an algorithm? In this presentation we will begin to answer these questions and more. The Recursion Theorem is a particularly interesting result pertaining to the structure of a list of recursive functions (algorithms) in the study of Recursion Theory, the branch of mathematical logic which is the predecessor to modern computer science.We will give a proof of the recursion theorem based on the idea of the Turing Machine, and some necessary facts about Turing Machines will be discussed.

Seminar URLhttps://math.osu.edu/whatis

Events Filters: