SlideShare ist ein Scribd-Unternehmen logo
1 von 29
Alan Turing: Scientist Unlimited

            Mathai Joseph
              Advisor
      Tata Consultancy Services
1912
• 100 years ago
  – first theoretical computer scientist born in London
• ACM Centenary event in San Francisco in 2012
  – attended by 32 of 36 living Turing laureates



Quite simply, Turing is why we are here today
Alan Turing 1912 -- 1954
Turing’s Contributions
Turing led the way:
  – invented a simple abstract computing machine
  – redefined computability, decidability
  – defined the universal computing machine
  – gave a computational view of many problems




                                              TAA Lecture   5
And …
Many interests:
  • statistical methods for code breaking
  •   artificial intelligence, chess playing programs
  •   computer design
  •   formal program proofs
  •   morphogenesis …
His school headmaster had complained:
  “he must aim at becoming educated. If he is
  to be solely a Scientific Specialist, he is
  wasting his time at public school”
Turing ran a marathon
in 2hr 46min 3sec

(11 sec more than
Olympic winner)




                        TAA Lecture   8
Turing ran a marathon
                        He sometimes ran
in 2hr 46min 3sec
                        40 miles to London
                        for a meeting
(11 sec more than
Olympic winner)




                                 TAA Lecture   9
Computability
Turing machines (1936):
  – Abstract computation device
      •   Machine has an internal state
      •   Head can read or write one cell
      •   Tape can move one cell left or right
      •   Next state & action depend on current state & tape symbol
                      Record internal state
                                              Read/write head

    Start of tape

          x                                         …   Infinitely long tape

                    Cells
                                                                    TAA Lecture   10
Turing used this idea to prove basic properties:
• computability,
   Any computable problem can be computed by a Turing
   Machine
• decidability, etc.
   Example: Halting Problem
   Given any program and any input to the program,
   will the program will eventually stop when given that input?
   This is an undecidable problem.

                                                    TAA Lecture   11
Cambridge, Princeton
All this work was done in Cambridge
  before Turing completed his PhD


The world’s greatest undergraduate project!
Church-Turing Thesis
• 1936: Turing went to Princeton to work with
  Alonzo Church
• Church had proved the computability result
  using lambda calculus
• Church, Kleene and Rosser had used recursive
  functions
Turing showed it could be done more simply
using his abstract machine.
Princeton
PhD at Princeton in 1938
Turing provided:
  – Mathematical basis for computing
  – Intuitively understandable solution
Bletchley Park
Turing moved to Bletchley Park in 1938
  – arranged by Max Newman
Soon became leader of cryptanalysis work
  – deciphering Enigma messages
  – Naval Enigma: more difficult
Machines used to reduce possibilities
  – Colossus
  – Bombe
Bletchley Park
Human analysis still critical
  – knowledge of possible content
  – familiarity with previous encryption keys
Huge teams used for cryptanalysis
Bletchley Park
Human analysis still critical
  – knowledge of possible content
  – familiarity with previous encryption keys
Huge teams used for cryptanalysis
Reliance on Turing for new methods
  – suffered from hay fever
  – sometimes came to work in pyjamas wearing gas
    mask
Manchester
Worked on
  – computer design
  – artificial intelligence
  – program verification

Finally on morphogenesis
Reason for death not certain
  – suicide?
  – accident?
Algorithms, complexity
Known from the Greeks, later Kerala mathematicians:
   – e.g. Euclid’s algorithm for GCD (350B.C.)
Lame’s Theorem (1845)
   – Euclid’s algorithm takes at most 4.2 log(n) / log (10) -0.32
     steps
Long history of mathematical interest in complexity:
   – Cantor, Hilbert, Pocklington, Post, Church, Gödel, Turing,
     …
Given a new basis in the 1960’s:
   – Yamaha, Myhill, Smullyan, Cobham, Edmonds …
                                                         TAA Lecture   20
1960’s: Complexity
Can all computable problems be solved equally easily?
Hartmanis & Stearns(1965):
   – formally quantified time & space of a computation
      • Time: number of steps that the tape moves
      • Space: number of cells of the tape that are used

Hartmanis: “We struggled with the mathematics and
  then saw that Turing machines made it all so simple”


                                                 TAA Lecture   21
Complexity
Developed into decision problems about classes
of algorithms, e.g.
• P
  – polynomial time algorithms
• NP
  – nondeterministic polynomial time algorithms



                                             TAA Lecture   22
Computer Science without Turing?
  – Time: number of steps that the tape moves
  – Space: number of cells of the tape that are used
What measures would be used if there were no
Turing machines?




                                               TAA Lecture   23
Computer Science without Turing?
  – Time: number of steps that the tape moves
  – Space: number of cells of the tape that are used
What measures would be used if there were no
Turing machines?
Something would have evolved … but
  – Taken longer to find
  – Been harder to understand
  – Perhaps of less practical use

                                               TAA Lecture   24
Turing Centenary
ACM Turing awards started in 1966
   – First winner: Alan Perlis
32 past winners attended the function:
   Charles Bachman (1973)
   Donald Knuth (1974)
   Dana Scott (1976), …


ACM India sponsored two PhD students to attend
More details: http://turing100.acm.org/index.cfm?p=program
Turing Award Winners Who Lectured
                 in India
•   Maurice Wilkes    •   Raj Reddy
•   John McCarthy     •   Amir Pnueli*
•   C.A.R. Hoare*     •   Joseph Sifakis*
•   John Hopcroft     •   Barbara Liskov
•   Robin Milner      •   Charles Thacker
•   Butler Lampson*   •   …
•   Juris Hartmanis

                      * In Pune
Finally,
• Turing was 42 when he died.
• We can only guess what he might have done if
  he had lived longer
• A remarkable mind: mathematician, scientist,
  engineer, all genius
100 years on
Turing would have been 100 in 2012
He showed the world how to look forward:
  – Gave computing secure foundations
  – Showed that many problems have a
    computational basis


If he had lived, what would he have been
   working on today?
Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Weitere ähnliche Inhalte

Andere mochten auch

Computational Approaches to Systems Biology
Computational Approaches to Systems BiologyComputational Approaches to Systems Biology
Computational Approaches to Systems BiologyMike Hucka
 
System biology and its tools
System biology and its toolsSystem biology and its tools
System biology and its toolsGaurav Diwakar
 
DNA Information and Creation (PDF)
DNA Information and Creation (PDF)DNA Information and Creation (PDF)
DNA Information and Creation (PDF)Hans Rudolf Tremp
 
PO WER - XX LO Gdańsk - Alan Turing
PO WER - XX LO Gdańsk - Alan TuringPO WER - XX LO Gdańsk - Alan Turing
PO WER - XX LO Gdańsk - Alan TuringAgnieszka J.
 
MongoDB - Big Data mit Open Source
MongoDB - Big Data mit Open SourceMongoDB - Big Data mit Open Source
MongoDB - Big Data mit Open SourceB1 Systems GmbH
 
Do you know what k-Means? Cluster-Analysen
Do you know what k-Means? Cluster-Analysen Do you know what k-Means? Cluster-Analysen
Do you know what k-Means? Cluster-Analysen Harald Erb
 
The Computer Scientist and the Cleaner v4
The Computer Scientist and the Cleaner v4The Computer Scientist and the Cleaner v4
The Computer Scientist and the Cleaner v4turingfan
 
Computational Biology and Bioinformatics
Computational Biology and BioinformaticsComputational Biology and Bioinformatics
Computational Biology and BioinformaticsSharif Shuvo
 
Apps for Science - Elsevier Developer Network Workshop 201102
Apps for Science - Elsevier Developer Network Workshop 201102Apps for Science - Elsevier Developer Network Workshop 201102
Apps for Science - Elsevier Developer Network Workshop 201102remko caprio
 
Analytics meets Big Data – R/Python auf der Hadoop/Spark-Plattform
Analytics meets Big Data – R/Python auf der Hadoop/Spark-PlattformAnalytics meets Big Data – R/Python auf der Hadoop/Spark-Plattform
Analytics meets Big Data – R/Python auf der Hadoop/Spark-PlattformRising Media Ltd.
 
Multi-omics infrastructure and data for R/Bioconductor
Multi-omics infrastructure and data for R/BioconductorMulti-omics infrastructure and data for R/Bioconductor
Multi-omics infrastructure and data for R/BioconductorLevi Waldron
 

Andere mochten auch (17)

Computational Approaches to Systems Biology
Computational Approaches to Systems BiologyComputational Approaches to Systems Biology
Computational Approaches to Systems Biology
 
System biology and its tools
System biology and its toolsSystem biology and its tools
System biology and its tools
 
Python for Data Science
Python for Data SciencePython for Data Science
Python for Data Science
 
DNA Information and Creation (PDF)
DNA Information and Creation (PDF)DNA Information and Creation (PDF)
DNA Information and Creation (PDF)
 
Job ppt1
Job ppt1Job ppt1
Job ppt1
 
LSESU a Taste of R Language Workshop
LSESU a Taste of R Language WorkshopLSESU a Taste of R Language Workshop
LSESU a Taste of R Language Workshop
 
PO WER - XX LO Gdańsk - Alan Turing
PO WER - XX LO Gdańsk - Alan TuringPO WER - XX LO Gdańsk - Alan Turing
PO WER - XX LO Gdańsk - Alan Turing
 
MongoDB - Big Data mit Open Source
MongoDB - Big Data mit Open SourceMongoDB - Big Data mit Open Source
MongoDB - Big Data mit Open Source
 
Donald Knuth
Donald KnuthDonald Knuth
Donald Knuth
 
Do you know what k-Means? Cluster-Analysen
Do you know what k-Means? Cluster-Analysen Do you know what k-Means? Cluster-Analysen
Do you know what k-Means? Cluster-Analysen
 
COMPUTATIONAL BIOLOGY
COMPUTATIONAL BIOLOGYCOMPUTATIONAL BIOLOGY
COMPUTATIONAL BIOLOGY
 
The Computer Scientist and the Cleaner v4
The Computer Scientist and the Cleaner v4The Computer Scientist and the Cleaner v4
The Computer Scientist and the Cleaner v4
 
Computational Biology and Bioinformatics
Computational Biology and BioinformaticsComputational Biology and Bioinformatics
Computational Biology and Bioinformatics
 
Apps for Science - Elsevier Developer Network Workshop 201102
Apps for Science - Elsevier Developer Network Workshop 201102Apps for Science - Elsevier Developer Network Workshop 201102
Apps for Science - Elsevier Developer Network Workshop 201102
 
Zwischen Browser, Code & Photoshop - aus dem Leben eines Webworkers
Zwischen Browser, Code & Photoshop - aus dem Leben eines WebworkersZwischen Browser, Code & Photoshop - aus dem Leben eines Webworkers
Zwischen Browser, Code & Photoshop - aus dem Leben eines Webworkers
 
Analytics meets Big Data – R/Python auf der Hadoop/Spark-Plattform
Analytics meets Big Data – R/Python auf der Hadoop/Spark-PlattformAnalytics meets Big Data – R/Python auf der Hadoop/Spark-Plattform
Analytics meets Big Data – R/Python auf der Hadoop/Spark-Plattform
 
Multi-omics infrastructure and data for R/Bioconductor
Multi-omics infrastructure and data for R/BioconductorMulti-omics infrastructure and data for R/Bioconductor
Multi-omics infrastructure and data for R/Bioconductor
 

Ähnlich wie Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Alan Turing: Founder of Computer Science
Alan Turing: Founder of Computer ScienceAlan Turing: Founder of Computer Science
Alan Turing: Founder of Computer ScienceJonathan Bowen
 
Machine Intelligence & Physics
Machine Intelligence & PhysicsMachine Intelligence & Physics
Machine Intelligence & Physicspiero scaruffi
 
Artificial intelligence and the Singularity - History, Trends and Reality Check
Artificial intelligence and the Singularity - History, Trends and Reality CheckArtificial intelligence and the Singularity - History, Trends and Reality Check
Artificial intelligence and the Singularity - History, Trends and Reality Checkpiero scaruffi
 
History of computer lecture notes
History of computer lecture notesHistory of computer lecture notes
History of computer lecture notesmbalenia
 
PPT on Alan Turing's Contribution
PPT on Alan Turing's Contribution PPT on Alan Turing's Contribution
PPT on Alan Turing's Contribution Mithil Patel
 
Machine Intelligence - Part 3 of Piero Scaruffi's class "Thinking about Thoug...
Machine Intelligence - Part 3 of Piero Scaruffi's class "Thinking about Thoug...Machine Intelligence - Part 3 of Piero Scaruffi's class "Thinking about Thoug...
Machine Intelligence - Part 3 of Piero Scaruffi's class "Thinking about Thoug...piero scaruffi
 
Warning: don't do CS
Warning: don't do CSWarning: don't do CS
Warning: don't do CSCS, NcState
 
Mikial Singh Nijjar | The Definition of Computer Science
Mikial Singh Nijjar | The Definition of Computer ScienceMikial Singh Nijjar | The Definition of Computer Science
Mikial Singh Nijjar | The Definition of Computer ScienceMikial Singh Nijjar
 
History of Computers.pdf
History of Computers.pdfHistory of Computers.pdf
History of Computers.pdfShiva340703
 
Can computers think
Can computers thinkCan computers think
Can computers thinkGTClub
 
The territory of expertise: machine vs. human expert vs. group of amateurs.
The territory of expertise: machine vs. human expert vs. group of amateurs.The territory of expertise: machine vs. human expert vs. group of amateurs.
The territory of expertise: machine vs. human expert vs. group of amateurs.Nicolas Maisonneuve
 
Session 23-8-07
Session 23-8-07Session 23-8-07
Session 23-8-07gogulraj25
 

Ähnlich wie Alan Turing Scientist Unlimited | Turing100@Persistent Systems (20)

Alan Turing
Alan TuringAlan Turing
Alan Turing
 
Alan Turing: Founder of Computer Science
Alan Turing: Founder of Computer ScienceAlan Turing: Founder of Computer Science
Alan Turing: Founder of Computer Science
 
Machine Intelligence & Physics
Machine Intelligence & PhysicsMachine Intelligence & Physics
Machine Intelligence & Physics
 
Well-known Computer Scientists v1.0.2
Well-known Computer Scientists v1.0.2Well-known Computer Scientists v1.0.2
Well-known Computer Scientists v1.0.2
 
Artificial intelligence and the Singularity - History, Trends and Reality Check
Artificial intelligence and the Singularity - History, Trends and Reality CheckArtificial intelligence and the Singularity - History, Trends and Reality Check
Artificial intelligence and the Singularity - History, Trends and Reality Check
 
5962046.ppt
5962046.ppt5962046.ppt
5962046.ppt
 
Some Well-known Computer Scientists
Some Well-known Computer ScientistsSome Well-known Computer Scientists
Some Well-known Computer Scientists
 
History of computer lecture notes
History of computer lecture notesHistory of computer lecture notes
History of computer lecture notes
 
ICT Computers.pptx
ICT Computers.pptxICT Computers.pptx
ICT Computers.pptx
 
PPT on Alan Turing's Contribution
PPT on Alan Turing's Contribution PPT on Alan Turing's Contribution
PPT on Alan Turing's Contribution
 
Machine Intelligence - Part 3 of Piero Scaruffi's class "Thinking about Thoug...
Machine Intelligence - Part 3 of Piero Scaruffi's class "Thinking about Thoug...Machine Intelligence - Part 3 of Piero Scaruffi's class "Thinking about Thoug...
Machine Intelligence - Part 3 of Piero Scaruffi's class "Thinking about Thoug...
 
Intoduction of Artificial Intelligence
Intoduction of Artificial IntelligenceIntoduction of Artificial Intelligence
Intoduction of Artificial Intelligence
 
My lectures
My lecturesMy lectures
My lectures
 
Warning: don't do CS
Warning: don't do CSWarning: don't do CS
Warning: don't do CS
 
Mikial Singh Nijjar | The Definition of Computer Science
Mikial Singh Nijjar | The Definition of Computer ScienceMikial Singh Nijjar | The Definition of Computer Science
Mikial Singh Nijjar | The Definition of Computer Science
 
History of Computers.pdf
History of Computers.pdfHistory of Computers.pdf
History of Computers.pdf
 
Can computers think
Can computers thinkCan computers think
Can computers think
 
The territory of expertise: machine vs. human expert vs. group of amateurs.
The territory of expertise: machine vs. human expert vs. group of amateurs.The territory of expertise: machine vs. human expert vs. group of amateurs.
The territory of expertise: machine vs. human expert vs. group of amateurs.
 
computer
computercomputer
computer
 
Session 23-8-07
Session 23-8-07Session 23-8-07
Session 23-8-07
 

Mehr von Persistent Systems Ltd.

Skilling for SMAC by Anand Deshpande, Founder, Chairman and Managing Director...
Skilling for SMAC by Anand Deshpande, Founder, Chairman and Managing Director...Skilling for SMAC by Anand Deshpande, Founder, Chairman and Managing Director...
Skilling for SMAC by Anand Deshpande, Founder, Chairman and Managing Director...Persistent Systems Ltd.
 
Embedded Linux Evolution | Turing Techtalk
Embedded Linux Evolution | Turing TechtalkEmbedded Linux Evolution | Turing Techtalk
Embedded Linux Evolution | Turing TechtalkPersistent Systems Ltd.
 
Life and Work of Ken Thompson and Dennis Ritchie | Turing Techtalk
Life and Work of Ken Thompson and Dennis Ritchie | Turing TechtalkLife and Work of Ken Thompson and Dennis Ritchie | Turing Techtalk
Life and Work of Ken Thompson and Dennis Ritchie | Turing TechtalkPersistent Systems Ltd.
 
Life and Work of Ivan Sutherland | Turing100@Persistent
Life and Work of Ivan Sutherland | Turing100@PersistentLife and Work of Ivan Sutherland | Turing100@Persistent
Life and Work of Ivan Sutherland | Turing100@PersistentPersistent Systems Ltd.
 
Evolution of the modern graphics architectures with a focus on GPUs | Turing1...
Evolution of the modern graphics architectures with a focus on GPUs | Turing1...Evolution of the modern graphics architectures with a focus on GPUs | Turing1...
Evolution of the modern graphics architectures with a focus on GPUs | Turing1...Persistent Systems Ltd.
 
What is wrong with the Internet? [On the foundations of internet security, fu...
What is wrong with the Internet? [On the foundations of internet security, fu...What is wrong with the Internet? [On the foundations of internet security, fu...
What is wrong with the Internet? [On the foundations of internet security, fu...Persistent Systems Ltd.
 
Life and Work of Ronald L. Rivest, Adi Shamir & Leonard M. Adleman | Turing10...
Life and Work of Ronald L. Rivest, Adi Shamir & Leonard M. Adleman | Turing10...Life and Work of Ronald L. Rivest, Adi Shamir & Leonard M. Adleman | Turing10...
Life and Work of Ronald L. Rivest, Adi Shamir & Leonard M. Adleman | Turing10...Persistent Systems Ltd.
 
Life and Work of Judea Perl | Turing100@Persistent
Life and Work of Judea Perl | Turing100@PersistentLife and Work of Judea Perl | Turing100@Persistent
Life and Work of Judea Perl | Turing100@PersistentPersistent Systems Ltd.
 
Early History of Fortran: The Making of a Wonder | Turing100@Persistent
Early History of Fortran: The Making of a Wonder | Turing100@PersistentEarly History of Fortran: The Making of a Wonder | Turing100@Persistent
Early History of Fortran: The Making of a Wonder | Turing100@PersistentPersistent Systems Ltd.
 
Life and Work of Dr. John Backus | Turing100@Persistent
Life and Work of Dr. John Backus | Turing100@PersistentLife and Work of Dr. John Backus | Turing100@Persistent
Life and Work of Dr. John Backus | Turing100@PersistentPersistent Systems Ltd.
 
Life and Work of Jim Gray | Turing100@Persistent
Life and Work of Jim Gray | Turing100@PersistentLife and Work of Jim Gray | Turing100@Persistent
Life and Work of Jim Gray | Turing100@PersistentPersistent Systems Ltd.
 
Software Faults, Failures and Their Mitigations | Turing100@Persistent
Software Faults, Failures and Their Mitigations | Turing100@PersistentSoftware Faults, Failures and Their Mitigations | Turing100@Persistent
Software Faults, Failures and Their Mitigations | Turing100@PersistentPersistent Systems Ltd.
 
Systems Design Experiences or Just Some War Stories…
Systems Design Experiences or Just Some War Stories…Systems Design Experiences or Just Some War Stories…
Systems Design Experiences or Just Some War Stories…Persistent Systems Ltd.
 
Life & Work of Butler Lampson | Turing100@Persistent
Life & Work of Butler Lampson | Turing100@PersistentLife & Work of Butler Lampson | Turing100@Persistent
Life & Work of Butler Lampson | Turing100@PersistentPersistent Systems Ltd.
 
Life & Work of Robin Milner | Turing100@Persistent
Life & Work of Robin Milner | Turing100@PersistentLife & Work of Robin Milner | Turing100@Persistent
Life & Work of Robin Milner | Turing100@PersistentPersistent Systems Ltd.
 
Life & Work of Dr. Vinton Cerf and Dr. Robert Kahn | Turing100@Persistent
Life & Work of Dr. Vinton Cerf and Dr. Robert Kahn | Turing100@PersistentLife & Work of Dr. Vinton Cerf and Dr. Robert Kahn | Turing100@Persistent
Life & Work of Dr. Vinton Cerf and Dr. Robert Kahn | Turing100@PersistentPersistent Systems Ltd.
 
Net Neutrality | Turing100@Persistent Systems
Net Neutrality | Turing100@Persistent SystemsNet Neutrality | Turing100@Persistent Systems
Net Neutrality | Turing100@Persistent SystemsPersistent Systems Ltd.
 
Life and work of E.F. (Ted) Codd | Turing100@Persistent
Life and work of E.F. (Ted) Codd | Turing100@PersistentLife and work of E.F. (Ted) Codd | Turing100@Persistent
Life and work of E.F. (Ted) Codd | Turing100@PersistentPersistent Systems Ltd.
 
Alan Turing Centenary @ Persistent Systems
Alan Turing Centenary @ Persistent SystemsAlan Turing Centenary @ Persistent Systems
Alan Turing Centenary @ Persistent SystemsPersistent Systems Ltd.
 

Mehr von Persistent Systems Ltd. (20)

Skilling for SMAC by Anand Deshpande, Founder, Chairman and Managing Director...
Skilling for SMAC by Anand Deshpande, Founder, Chairman and Managing Director...Skilling for SMAC by Anand Deshpande, Founder, Chairman and Managing Director...
Skilling for SMAC by Anand Deshpande, Founder, Chairman and Managing Director...
 
Embedded Linux Evolution | Turing Techtalk
Embedded Linux Evolution | Turing TechtalkEmbedded Linux Evolution | Turing Techtalk
Embedded Linux Evolution | Turing Techtalk
 
Life and Work of Ken Thompson and Dennis Ritchie | Turing Techtalk
Life and Work of Ken Thompson and Dennis Ritchie | Turing TechtalkLife and Work of Ken Thompson and Dennis Ritchie | Turing Techtalk
Life and Work of Ken Thompson and Dennis Ritchie | Turing Techtalk
 
Life and Work of Ivan Sutherland | Turing100@Persistent
Life and Work of Ivan Sutherland | Turing100@PersistentLife and Work of Ivan Sutherland | Turing100@Persistent
Life and Work of Ivan Sutherland | Turing100@Persistent
 
Evolution of the modern graphics architectures with a focus on GPUs | Turing1...
Evolution of the modern graphics architectures with a focus on GPUs | Turing1...Evolution of the modern graphics architectures with a focus on GPUs | Turing1...
Evolution of the modern graphics architectures with a focus on GPUs | Turing1...
 
What is wrong with the Internet? [On the foundations of internet security, fu...
What is wrong with the Internet? [On the foundations of internet security, fu...What is wrong with the Internet? [On the foundations of internet security, fu...
What is wrong with the Internet? [On the foundations of internet security, fu...
 
Life and Work of Ronald L. Rivest, Adi Shamir & Leonard M. Adleman | Turing10...
Life and Work of Ronald L. Rivest, Adi Shamir & Leonard M. Adleman | Turing10...Life and Work of Ronald L. Rivest, Adi Shamir & Leonard M. Adleman | Turing10...
Life and Work of Ronald L. Rivest, Adi Shamir & Leonard M. Adleman | Turing10...
 
Life and Work of Judea Perl | Turing100@Persistent
Life and Work of Judea Perl | Turing100@PersistentLife and Work of Judea Perl | Turing100@Persistent
Life and Work of Judea Perl | Turing100@Persistent
 
Early History of Fortran: The Making of a Wonder | Turing100@Persistent
Early History of Fortran: The Making of a Wonder | Turing100@PersistentEarly History of Fortran: The Making of a Wonder | Turing100@Persistent
Early History of Fortran: The Making of a Wonder | Turing100@Persistent
 
Life and Work of Dr. John Backus | Turing100@Persistent
Life and Work of Dr. John Backus | Turing100@PersistentLife and Work of Dr. John Backus | Turing100@Persistent
Life and Work of Dr. John Backus | Turing100@Persistent
 
Life and Work of Jim Gray | Turing100@Persistent
Life and Work of Jim Gray | Turing100@PersistentLife and Work of Jim Gray | Turing100@Persistent
Life and Work of Jim Gray | Turing100@Persistent
 
Software Faults, Failures and Their Mitigations | Turing100@Persistent
Software Faults, Failures and Their Mitigations | Turing100@PersistentSoftware Faults, Failures and Their Mitigations | Turing100@Persistent
Software Faults, Failures and Their Mitigations | Turing100@Persistent
 
System Anecdotes | Turing100@Persistent
System Anecdotes | Turing100@PersistentSystem Anecdotes | Turing100@Persistent
System Anecdotes | Turing100@Persistent
 
Systems Design Experiences or Just Some War Stories…
Systems Design Experiences or Just Some War Stories…Systems Design Experiences or Just Some War Stories…
Systems Design Experiences or Just Some War Stories…
 
Life & Work of Butler Lampson | Turing100@Persistent
Life & Work of Butler Lampson | Turing100@PersistentLife & Work of Butler Lampson | Turing100@Persistent
Life & Work of Butler Lampson | Turing100@Persistent
 
Life & Work of Robin Milner | Turing100@Persistent
Life & Work of Robin Milner | Turing100@PersistentLife & Work of Robin Milner | Turing100@Persistent
Life & Work of Robin Milner | Turing100@Persistent
 
Life & Work of Dr. Vinton Cerf and Dr. Robert Kahn | Turing100@Persistent
Life & Work of Dr. Vinton Cerf and Dr. Robert Kahn | Turing100@PersistentLife & Work of Dr. Vinton Cerf and Dr. Robert Kahn | Turing100@Persistent
Life & Work of Dr. Vinton Cerf and Dr. Robert Kahn | Turing100@Persistent
 
Net Neutrality | Turing100@Persistent Systems
Net Neutrality | Turing100@Persistent SystemsNet Neutrality | Turing100@Persistent Systems
Net Neutrality | Turing100@Persistent Systems
 
Life and work of E.F. (Ted) Codd | Turing100@Persistent
Life and work of E.F. (Ted) Codd | Turing100@PersistentLife and work of E.F. (Ted) Codd | Turing100@Persistent
Life and work of E.F. (Ted) Codd | Turing100@Persistent
 
Alan Turing Centenary @ Persistent Systems
Alan Turing Centenary @ Persistent SystemsAlan Turing Centenary @ Persistent Systems
Alan Turing Centenary @ Persistent Systems
 

Kürzlich hochgeladen

AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsMemoori
 
Commit 2024 - Secret Management made easy
Commit 2024 - Secret Management made easyCommit 2024 - Secret Management made easy
Commit 2024 - Secret Management made easyAlfredo García Lavilla
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticscarlostorres15106
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsMark Billinghurst
 
What's New in Teams Calling, Meetings and Devices March 2024
What's New in Teams Calling, Meetings and Devices March 2024What's New in Teams Calling, Meetings and Devices March 2024
What's New in Teams Calling, Meetings and Devices March 2024Stephanie Beckett
 
Training state-of-the-art general text embedding
Training state-of-the-art general text embeddingTraining state-of-the-art general text embedding
Training state-of-the-art general text embeddingZilliz
 
Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Scott Keck-Warren
 
DevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platformsDevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platformsSergiu Bodiu
 
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Patryk Bandurski
 
Gen AI in Business - Global Trends Report 2024.pdf
Gen AI in Business - Global Trends Report 2024.pdfGen AI in Business - Global Trends Report 2024.pdf
Gen AI in Business - Global Trends Report 2024.pdfAddepto
 
Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Enterprise Knowledge
 
Artificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptxArtificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptxhariprasad279825
 
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks..."LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...Fwdays
 
Story boards and shot lists for my a level piece
Story boards and shot lists for my a level pieceStory boards and shot lists for my a level piece
Story boards and shot lists for my a level piececharlottematthew16
 
"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii Soldatenko"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii SoldatenkoFwdays
 
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada
 
Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!Manik S Magar
 
SAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptxSAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptxNavinnSomaal
 
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Wonjun Hwang
 

Kürzlich hochgeladen (20)

AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
 
Commit 2024 - Secret Management made easy
Commit 2024 - Secret Management made easyCommit 2024 - Secret Management made easy
Commit 2024 - Secret Management made easy
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR Systems
 
What's New in Teams Calling, Meetings and Devices March 2024
What's New in Teams Calling, Meetings and Devices March 2024What's New in Teams Calling, Meetings and Devices March 2024
What's New in Teams Calling, Meetings and Devices March 2024
 
Training state-of-the-art general text embedding
Training state-of-the-art general text embeddingTraining state-of-the-art general text embedding
Training state-of-the-art general text embedding
 
Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024Advanced Test Driven-Development @ php[tek] 2024
Advanced Test Driven-Development @ php[tek] 2024
 
DevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platformsDevEX - reference for building teams, processes, and platforms
DevEX - reference for building teams, processes, and platforms
 
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptxE-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx
 
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
 
Gen AI in Business - Global Trends Report 2024.pdf
Gen AI in Business - Global Trends Report 2024.pdfGen AI in Business - Global Trends Report 2024.pdf
Gen AI in Business - Global Trends Report 2024.pdf
 
Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024Designing IA for AI - Information Architecture Conference 2024
Designing IA for AI - Information Architecture Conference 2024
 
Artificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptxArtificial intelligence in cctv survelliance.pptx
Artificial intelligence in cctv survelliance.pptx
 
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks..."LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
 
Story boards and shot lists for my a level piece
Story boards and shot lists for my a level pieceStory boards and shot lists for my a level piece
Story boards and shot lists for my a level piece
 
"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii Soldatenko"Debugging python applications inside k8s environment", Andrii Soldatenko
"Debugging python applications inside k8s environment", Andrii Soldatenko
 
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
 
Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!
 
SAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptxSAP Build Work Zone - Overview L2-L3.pptx
SAP Build Work Zone - Overview L2-L3.pptx
 
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
Bun (KitWorks Team Study 노별마루 발표 2024.4.22)
 

Alan Turing Scientist Unlimited | Turing100@Persistent Systems

  • 1. Alan Turing: Scientist Unlimited Mathai Joseph Advisor Tata Consultancy Services
  • 2. 1912 • 100 years ago – first theoretical computer scientist born in London • ACM Centenary event in San Francisco in 2012 – attended by 32 of 36 living Turing laureates Quite simply, Turing is why we are here today
  • 4.
  • 5. Turing’s Contributions Turing led the way: – invented a simple abstract computing machine – redefined computability, decidability – defined the universal computing machine – gave a computational view of many problems TAA Lecture 5
  • 6. And … Many interests: • statistical methods for code breaking • artificial intelligence, chess playing programs • computer design • formal program proofs • morphogenesis …
  • 7. His school headmaster had complained: “he must aim at becoming educated. If he is to be solely a Scientific Specialist, he is wasting his time at public school”
  • 8. Turing ran a marathon in 2hr 46min 3sec (11 sec more than Olympic winner) TAA Lecture 8
  • 9. Turing ran a marathon He sometimes ran in 2hr 46min 3sec 40 miles to London for a meeting (11 sec more than Olympic winner) TAA Lecture 9
  • 10. Computability Turing machines (1936): – Abstract computation device • Machine has an internal state • Head can read or write one cell • Tape can move one cell left or right • Next state & action depend on current state & tape symbol Record internal state Read/write head Start of tape x … Infinitely long tape Cells TAA Lecture 10
  • 11. Turing used this idea to prove basic properties: • computability, Any computable problem can be computed by a Turing Machine • decidability, etc. Example: Halting Problem Given any program and any input to the program, will the program will eventually stop when given that input? This is an undecidable problem. TAA Lecture 11
  • 12. Cambridge, Princeton All this work was done in Cambridge before Turing completed his PhD The world’s greatest undergraduate project!
  • 13. Church-Turing Thesis • 1936: Turing went to Princeton to work with Alonzo Church • Church had proved the computability result using lambda calculus • Church, Kleene and Rosser had used recursive functions Turing showed it could be done more simply using his abstract machine.
  • 14. Princeton PhD at Princeton in 1938 Turing provided: – Mathematical basis for computing – Intuitively understandable solution
  • 15. Bletchley Park Turing moved to Bletchley Park in 1938 – arranged by Max Newman Soon became leader of cryptanalysis work – deciphering Enigma messages – Naval Enigma: more difficult Machines used to reduce possibilities – Colossus – Bombe
  • 16. Bletchley Park Human analysis still critical – knowledge of possible content – familiarity with previous encryption keys Huge teams used for cryptanalysis
  • 17. Bletchley Park Human analysis still critical – knowledge of possible content – familiarity with previous encryption keys Huge teams used for cryptanalysis Reliance on Turing for new methods – suffered from hay fever – sometimes came to work in pyjamas wearing gas mask
  • 18.
  • 19. Manchester Worked on – computer design – artificial intelligence – program verification Finally on morphogenesis Reason for death not certain – suicide? – accident?
  • 20. Algorithms, complexity Known from the Greeks, later Kerala mathematicians: – e.g. Euclid’s algorithm for GCD (350B.C.) Lame’s Theorem (1845) – Euclid’s algorithm takes at most 4.2 log(n) / log (10) -0.32 steps Long history of mathematical interest in complexity: – Cantor, Hilbert, Pocklington, Post, Church, Gödel, Turing, … Given a new basis in the 1960’s: – Yamaha, Myhill, Smullyan, Cobham, Edmonds … TAA Lecture 20
  • 21. 1960’s: Complexity Can all computable problems be solved equally easily? Hartmanis & Stearns(1965): – formally quantified time & space of a computation • Time: number of steps that the tape moves • Space: number of cells of the tape that are used Hartmanis: “We struggled with the mathematics and then saw that Turing machines made it all so simple” TAA Lecture 21
  • 22. Complexity Developed into decision problems about classes of algorithms, e.g. • P – polynomial time algorithms • NP – nondeterministic polynomial time algorithms TAA Lecture 22
  • 23. Computer Science without Turing? – Time: number of steps that the tape moves – Space: number of cells of the tape that are used What measures would be used if there were no Turing machines? TAA Lecture 23
  • 24. Computer Science without Turing? – Time: number of steps that the tape moves – Space: number of cells of the tape that are used What measures would be used if there were no Turing machines? Something would have evolved … but – Taken longer to find – Been harder to understand – Perhaps of less practical use TAA Lecture 24
  • 25. Turing Centenary ACM Turing awards started in 1966 – First winner: Alan Perlis 32 past winners attended the function: Charles Bachman (1973) Donald Knuth (1974) Dana Scott (1976), … ACM India sponsored two PhD students to attend More details: http://turing100.acm.org/index.cfm?p=program
  • 26. Turing Award Winners Who Lectured in India • Maurice Wilkes • Raj Reddy • John McCarthy • Amir Pnueli* • C.A.R. Hoare* • Joseph Sifakis* • John Hopcroft • Barbara Liskov • Robin Milner • Charles Thacker • Butler Lampson* • … • Juris Hartmanis * In Pune
  • 27. Finally, • Turing was 42 when he died. • We can only guess what he might have done if he had lived longer • A remarkable mind: mathematician, scientist, engineer, all genius
  • 28. 100 years on Turing would have been 100 in 2012 He showed the world how to look forward: – Gave computing secure foundations – Showed that many problems have a computational basis If he had lived, what would he have been working on today?