Department of

# Mathematics

Seminar Calendar
for Undergraduate Friday Seminar events the year of Friday, September 14, 2018.

.
events for the
events containing

Questions regarding events or the calendar should be directed to Tori Corkery.
     August 2018           September 2018          October 2018
Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa
1  2  3  4                      1       1  2  3  4  5  6
5  6  7  8  9 10 11    2  3  4  5  6  7  8    7  8  9 10 11 12 13
12 13 14 15 16 17 18    9 10 11 12 13 14 15   14 15 16 17 18 19 20
19 20 21 22 23 24 25   16 17 18 19 20 21 22   21 22 23 24 25 26 27
26 27 28 29 30 31      23 24 25 26 27 28 29   28 29 30 31
30


Friday, September 7, 2018

4:00 pm in 245 Altgeld Hall,Friday, September 7, 2018

#### You’ve Proven a Theorem, Now What?

###### Bruce Reznick (Mathematics)

Friday, September 14, 2018

4:00 pm in 245 Altgeld Hall,Friday, September 14, 2018

#### Alan Turing and why the apps on your phone crash

###### Philipp Hieronymi (Mathematics)

Abstract: Ever been annoyed by crashing/freezing apps on your phone? So here is my business idea: Let's write an app together that checks whether a given app on a given (user) input crashes or not. Sounds good? Great, let's get start up money, create such an app and get rich! Well, the problem is that the British logician Alan Turing proved in the 1930's that it is impossible to create such an app. Turing's brilliant solution of this problem (which is called the halting problem) is one of most beautiful and important mathematical results for the 20th century, substantially limiting the things a computer can possibly do. We will discuss the proof of this result and then turn our attention to more restricted situations where can actually prove whether or not a system crashes.