Charts
Theory of Computation - Fall 2011Episode from the podcastTheory of Computation - Fall 2011
Second Lecture on Godel's Incompleteness Theorem

Second Lecture on Godel's Incompleteness Theorem

Released Friday, 2nd May 2014
Good episode? Give it some love!
Second Lecture on Godel's Incompleteness Theorem

Second Lecture on Godel's Incompleteness Theorem

Second Lecture on Godel's Incompleteness Theorem

Second Lecture on Godel's Incompleteness Theorem

Friday, 2nd May 2014
Good episode? Give it some love!
Rate Episode
List
About
InsightsPodchaser Pro
Reviews
Credits
Lists
Transcript

Completion of the lecture on Godel's first incompleteness theorem.

Show More
Rate
List
Get this podcast via API

From The Podcast

This is a rigorous undergraduate course on the Theory of Computation, using the classic text "Introduction to the Theory of Computation" by Michael Sipser. The course covers machine models and languages defined by Finite State Machines, Context-Free Languages, and Turing Machines. There are four major theorems (and their uses) that we will study during this course, providing complete proofs: the pumping Lemma for regular languages, used to show that there are languages that are not regular; the existence of a Universal Turing Machine; undecidability of the Halting problem; and Cook's theorem that NP-complete problems exist. In addition to these major results, and other results, a central goal of the course is to increase student's skill level in understanding and writing rigorous mathematical proofs.

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more
Do you host or manage this podcast?
Claim and edit this page to your liking.
,
Podchaser Logo

Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More