Decidability: The Entscheidungs problem

Fler avsnitt från "Alan Turing: Centenary Lectures"

• 

  Morphogenesis Then and Now

  2012-10-22

  43:02

  Philip Maini, Oxford University, gives a talk for the Alan Turing Centenary weekend.
• 

  Congruent Worlds: Turing, Lovelace and Babbage

  2012-10-22

  49:09

  Doron Swade, Royal Holloway, Univ. of London, gives a talk for the Alan Turing Centenary weekend.
• 

  Missa inte ett avsnitt av “Alan Turing: Centenary Lectures” och prenumerera på det i GetPodcast-appen.

  
• 

  What Alan Turing might have discovered

  2012-10-22

  51:06

  Stephen Wolfram, founder and CEO of Wolfram Research and creator of Mathematica, gives a talk for the Alan Turing Centenary weekend.
• 

  Turing in the History of Software

  2012-10-22

  39:12

  Cliff Jones, Newcastle University, gives a talk for the Alan Turing Centenary Weekend.
• 

  Turing in the age of the Internet and the quantum computer

  2012-10-22

  51:10

  Samson Abramsky, Oxford University, gives a talk for the Alan Turing Centenary weekend.
• 

  Decidability: The Entscheidungs problem

  2012-10-22

  45:24

  Robin Whitty, London South Bank University, gives a talk for the Alan Turing Centenary weekend.
• 

  Turing and the Public Consciousness: Turing 2.0(12)

  2012-10-22

  22:30

  Sue Black, University College London, Turing and the Public Consciousness: Turing 2.0(12).
• 

  Welcome Address

  2012-10-22

  3:17

  Jonathan Bowen, London South Bank University.