[ugrads] The Halting Problem and Godel's Theorem
John Erickson
john.erickson at iit.edu
Mon Feb 23 18:54:28 CST 2015
Hi Undergrad Math Majors,
Sorry for any duplicate emails.
IIT's very own Todor Markov will give a talk on the Halting Problem and
Godel's theorem this Friday, February 27th, at 12:45 in E1 121. His
abstract is as follows:
"We know Turing as one of the people who broke the Enigma cypher, and a
lead researcher in artificial intelligence. Though his most significant
contribution to math was probably the mathematical model of a computer, and
computability theory, that studies which problems a computer can solve.
I'll talk about one such problem, the halting problem. We'll see how
solving it could prove many famous conjectures, why it turns out to be
unsolvable, and what amazing implications come from that."
This talk should be useful for anyone interested in the theory of
computation. Hope you can make it, and yes, refreshments will be served.
See the attached flyer.
Professor Erickson
--
John Erickson, Ph.D.
Senior Lecturer
Department of Applied Mathematics
Illinois Institute of Technology
Chicago, IL 60616
Office: Engineering 1, Room 110
email: john.erickson at iit.edu
Phone: (312) 567-8915
Fax: (312) 567-3135
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://math.iit.edu/pipermail/ugrads/attachments/20150223/bb893233/attachment-0001.html
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mathclub_flyer_2_27_15.pdf
Type: application/pdf
Size: 66872 bytes
Desc: not available
Url : http://math.iit.edu/pipermail/ugrads/attachments/20150223/bb893233/attachment-0001.pdf
More information about the ugrads
mailing list