題目:The Annotated Turing – A guided tour through Alan Turing’s Historic Paper on Computability and the Turing Machine by Charles Petzold
This talk is co-hosted by CUHK Book Club and Hong Kong Computer Society .
Brief Description
2012 is Alan Turing Year, a centenary celebration of the life and work of Alan Turing, a British mathematician and logician who makes significant contribution to the 20thcentury in at least three areas: computer science, WWII and artificial intelligence. He lays the theoretical foundation of modern digital computer in his 1936 seminal paper ‘On Computable Numbers, with an application to the Entscheidungsproblem’. This paper is one of the intellectual landmarks of the 20th century. Although computer is used by nearly everyone in our daily life, very few people knows about the story of Alan Turing and his significant contribution to human mankind.
In this paper, he invented a hypothetical machine, Turing Machine, a tool for proving a mathematical problem in first order logic. This is the beginning of a new field of research known as computation theory, a study of the abilities and limitations of digital computer. The Turing Machine remains a popular topic for exposition and discussion. Yet, the author doubts that Alan Turing’s original paper describing his invention is rarely read. The objective of this book is to makes that paper accessible to a much broader audience.
Author - Charles Petzold (born February 2, 1953, New Brunswick, New Jersey) is an American programmer and technical author on Microsoft Windows applications. He is also a Microsoft Most Valuable Professional.
Speaker - Cambridge Wong, 1982 Computer Science graduate, CUHK. Worked in the IT industry (commercial sector) since then. Formed an IT outsourcing company in 2004 and is also a founder of a stock broking company in 2008. He is also a full member of the Hong Kong Computer Society.
Powered by iCagenda