Good lecture on Church Turing - from a very modern point of view - everyone knows what a computer is now whereas twenty or thirty years ago they were just ideas. Loved the illusion at 50 mins that the professor rested them on stuff he hadnt covered. Some problems never change ! ( struggling with that in my own course)
The last example of decidable language is wrong. In fact A_cfg is decidable but we need to find another method since a context-free language is not closed under complemention or intersection.
my new favorite TV show - thanks mate !
Good lecture on Church Turing - from a very modern point of view - everyone knows what a computer is now whereas twenty or thirty years ago they were just ideas. Loved the illusion at 50 mins that the professor rested them on stuff he hadnt covered. Some problems never change ! ( struggling with that in my own course)
this is great - thank you so much. Sipser takes a bit of reading, and these lectures really are wonderful. ( written on Mueller Day)
The best video in the subject of Church-Turing Thesis
Ahh, so this is Jeff Ross' day job... You gotta do something other than attend Comedy Central roasts once a year..
EQ_CFG is actually not decidable according to Sipser 3rd Edition pg 200.
Because CFG is not closed under intersection nor under complement.
The last example of decidable language is wrong. In fact A_cfg is decidable but we need to find another method since a context-free language is not closed under complemention or intersection.
thank you, it is solid explanation
Check out 8:55 Theoritical physicist making fun of Turing machines
1:08:20
GOD told me that P=NP, he is the prove.