BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
PRODID:Data::ICal 0.22
BEGIN:VTIMEZONE
TZID:Pacific/Auckland
X-LIC-LOCATION:Pacific/Auckland
BEGIN:DAYLIGHT
DTSTART:19700927T020000
RRULE:FREQ=YEARLY;BYMONTH=9;BYDAY=-1SU
TZNAME:NZDT
TZOFFSETFROM:+1200
TZOFFSETTO:+1300
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:19700405T030000
RRULE:FREQ=YEARLY;BYMONTH=4;BYDAY=1SU
TZNAME:NZST
TZOFFSETFROM:+1300
TZOFFSETTO:+1200
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:SMS Seminars
CONTACT:Professor Rod Downey
DESCRIPTION:We are living in the most mathematical age of all time\, becaus
e of computers. \n\nThe massive computational power at our disposal has dr
iven innovation in all aspects of modern society such as science\, medicin
e\, and social development. Mobile phones\, internet\, GPS\, online shoppi
ng\, banking are commonplace examples\, but there’s also medical imaging\,
data mining\, even non-skid braking on vehicles – the impact of computing
is extraordinary.\n\nA main contributor to the evolution of computing pow
er is a branch of mathematics called Logic. But what is Logic and how does
this type of reasoning contribute to advancing technology?\n\nRod Downey\
, Professor of Mathematics and 2018 Rutherford Medal winner\, chronicles t
he story of Logic\, beginning with the ancient Greeks\, then onwards to so
me of the deepest and most important issues of modern mathematics and comp
uting – what can we compute and what can’t we compute and why? For instanc
e\, ‘NP-complete problems’ can be solved in theory\, but are deemed intrac
table because we actually think solving them would take longer than the li
fe of the universe. On the other hand\, there is no (mathematical) proof o
f this belief – yet. As one of the seven Millennium Prize Problems set by
the Clay Mathematics Institute\, finding a proof\, could earn you $US one
million dollars. Rod has developed an approach that shows this intractabil
ity can be sidestepped in many practical problems. Does this have an effec
t on society? How close are we to understanding intractability in practice
?
DTEND;TZID=Pacific/Auckland:20190328T190000
DTSTAMP:20190219T180207Z
DTSTART;TZID=Pacific/Auckland:20190328T180000
LOCATION:Memorial Theatre\, Student Union Building
ORGANIZER:Professor Rod Downey
SUMMARY:Professor Rod Downey - 2019 NZ Rutherford Lecture
UID:seminar_sms941_20190130161045
URL:https://royalsociety.org.nz/events/logic-maths-and-modern-society-welli
ngton/
END:VEVENT
END:VCALENDAR