آپلود ویدئو | ورود | ثبت نام

Ali-

L14: More Diagonalization; Proof that Turing Machines are Countable


Embed گزارش تخلف

مشاهده 1249

دریافت ویدئو: حجم کم کیفیت بالا
توسط Ali در 22 Jun 2016
توضیحات:

More on diagonalization in preparation for proving, by diagonalization, that ATM is not decidable. Proof that the set of all Turing Machines is countable.

لغات کلیدی:

diagonalization, Halting, problem, Turing, machines, countability

comments powered by Disqus

درباره ما | تماس با ما | قوانین تخته سفید