Tata Institute of Fundamental Research
Busy Beavers and Numbers Left Untouched
Student Seminar
Speaker:
Suhail Sherif
Organiser:
Suhail Sherif
Date:
Friday, 10 Oct 2014, 14:00 to 15:30
Venue:
D-405 (D-Block Seminar Room)
(Scan to add to calendar)
Abstract:
Abstract: In the first half of this talk, I will talk about the halting problem and show that there are well defined functions f:N->N that no computable function can dominate. In the second half, I will introduce Kolmogorov complexity and present Chaitin's Incompleteness theorem. If time permits, I will also show a proof of Goodstein's theorem.
| Speaker: | Suhail Sherif |
| Organiser: | Suhail Sherif |
| Date: | Friday, 10 Oct 2014, 14:00 to 15:30 |
| Venue: | D-405 (D-Block Seminar Room) |
(Scan to add to calendar)
Abstract:
Abstract: In the first half of this talk, I will talk about the halting problem and show that there are well defined functions f:N->N that no computable function can dominate. In the second half, I will introduce Kolmogorov complexity and present Chaitin's Incompleteness theorem. If time permits, I will also show a proof of Goodstein's theorem.