15
Matjaž Gams Matjaž Gams Institut “ Institut “ Jo Jo ž ž ef Stefan ef Stefan Alan Turing Einstein of computer science 1 JSI, AMT 11.10.2012 JSI, AMT 11.10.2012

Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

Embed Size (px)

Citation preview

Page 1: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

Matjaž GamsMatjaž Gams

Institut “Institut “JoJožžef Stefanef Stefan””

Alan Turing Einstein of computer science

11JSI, AMT 11.10.2012JSI, AMT 11.10.2012

Page 2: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

100-anniversary 100-anniversary - ACM Turing Centenary Celebration to

Be Webcast Live! 29.5.2012- Alan Turing Centenary Conference,

22.-25.6.2012- Več 10 konferenc v večini držav sveta- Več novih knjig

- Specialna številka revije Informatica 100 YEARS OF ALAN TURING AND 20 YEARS OF SLAIS - Conference on 100 YEARS OF ALAN TURING AND 20

YEARS OF SLAIS, 11 October 2012, Ljubljana, SloveniaTo be held at the 15th International Multiconference Information Society IS-2012

2222.6.201222.6.2012

Page 3: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

Important yearsImportant years

1912 - birth1936 – Turing machine1932-42 - Enigma1950 – birth of AI, Turing test1954 - death2007 - Donald Michie died2009 – official rehabilitation 2012 - centenary

33JSI, AMT 11.10.2012JSI, AMT 11.10.2012

Page 4: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

Abstract computing machine Can compute anything computableFormalizes the concept of algorithm Universal Turing machine can simulate all other TMs – universal TM, UTMChurch-Turing thesis: “everything algorithmically computable is computable by a Turing machine."

1936 – 1936 – Turing machine, Turing machine, TM TM

44

  

JSI, AMT 11.10.2012JSI, AMT 11.10.2012

Gödel’s 1st theorem, decidability Independent of time, HWUniversal concept, like Einstein’s relativity

Page 5: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

„„Stronger than“ TuringStronger than“ Turinghypercomputerhypercomputer

TM with oracleQuantum computer?Accelerating TSMultiple TM (worlds)

55

  

22.6.201222.6.2012

Page 6: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

Multiple worlds Multiple worlds

Schrëding equation, Heisenberg’s principle, collapse

On the other hand, the collapse is considered as redundant in•the Bohm interpretation•the Many-Worlds Interpretation

MultiverseOccam’s razor?

100x black matter neededString theory

66

  

22.6.201222.6.2012

Page 7: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

1932-42 - Enigma 1932-42 - Enigma

German coding machine Turing led the decoding of EnigmaDesigned „bombe“ Donald Michie in the teamWeb source:-One of the most important non-military discoveries in WW2-Saved Nx1000 lives-Shortened WW2 by M months 77

  

JSI, AMT 11.10.2012JSI, AMT 11.10.2012

Page 8: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

1950 – 1950 – birth of birth of AIAI, Turing, Turing test test

 

88

Turing, Alan (October 1950), "Computing Machinery and Intelligence", Mind.What can computers do?Can they think, love …?

„Strong AI“ (GOFAI) computer can do anything a human can

Turing: Intelligent behaviour presumably consists in a departure from the completely disciplined behaviour involved in computation.

Machine intelligence -  1956 McCarthy AI JSI, AMT 11.10.2012JSI, AMT 11.10.2012

Page 9: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

1950 – 1950 – birth of AI, birth of AI, Turing test Turing test

 

99

Turing, Alan (October 1950), "Computing Machinery and Intelligence", Mind.Turing test – TT too hard or too simple?"Fair" Turing testTotal TT – TTT, visual TTTotal total TT – TTTTLoebner test 1991-CAPTCHA, Jeopardy 2011

Searl’s Chinese room

JSI, AMT 11.10.2012JSI, AMT 11.10.2012

Page 10: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

Processing power

Time

Human

Computers

People + Computers = Information societyFlynn +30

Kurtzweil

10

HUMAN/COMPUTER INTELLIGENCE

Drake’s equation

Kurtzweil

Page 11: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

1954 – 1954 – deathdeath2009 – 2009 – official rehabilitationofficial rehabilitation

 

1111JSI, AMT 11.10.2012JSI, AMT 11.10.2012

on behalf of the British government, and all those who live freely thanks to Alan's work I am very proud to say: we're sorry, you deserved so much better

Page 12: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

2007 - Donald Michie2007 - Donald Michie

 

1212

With Turing on the Enigma project, first director of any AI department in the world in 1965, was director at the Turing institute where several Slovenian researchers studied for a while, honorary member of JSI, SAZU …

Ivan Bratko, father of Slovenian AI,Donald was 1 month per year in Ivan’s room at JSI. Now at JSI Turing’s room, Donald Michie’s room

Sobotna priloga Dela: Let this be in memory of Donald Michie as Turing’s contemporary and our dear colleague, and the extreme genius Alan Turing that marked the lives of every human in the world as hardly anybody.

JSI, AMT 11.10.2012JSI, AMT 11.10.2012

Page 13: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

FameFame

Mozart, Einstein 40 millions / 9920

1313

Invented modern computing andartificial intelligence.„Einstein“ of computer science 1966- ACM Turing awardEquivalent to Nobel prize Street in Manchester (City)

JSI, AMT 11.10.2012JSI, AMT 11.10.2012

Alan Turing 4 millions / 1677Most people on streets not familiar(modest improvement since centenary events)

Lady Gaga 400 millions

Page 14: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

The meaningThe meaning

 

1414

In most of the devices around you there are one to tens of TMs.

One of the people that best influenced the progress of human civilization. Like Einstein.

JSI, AMT 11.10.2012JSI, AMT 11.10.2012

Page 15: Matjaž Gams Institut “Jožef Stefan” Alan Turing Einstein of computer science 1JSI, AMT 11.10.2012

Alan Mathison TuringAlan Mathison Turing

 

1515JSI, AMT 11.10.2012JSI, AMT 11.10.2012

Thank you