View
234
Download
0
Category
Preview:
Citation preview
Matjaž GamsMatjaž Gams
Institut “Institut “JoJožžef Stefanef Stefan””
Alan Turing Einstein of computer science
11JSI, AMT 11.10.2012JSI, 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
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
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
„„Stronger than“ TuringStronger than“ Turinghypercomputerhypercomputer
TM with oracleQuantum computer?Accelerating TSMultiple TM (worlds)
55
22.6.201222.6.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
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
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
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
Processing power
Time
Human
Computers
People + Computers = Information societyFlynn +30
Kurtzweil
10
HUMAN/COMPUTER INTELLIGENCE
Drake’s equation
Kurtzweil
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
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
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
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
Alan Mathison TuringAlan Mathison Turing
1515JSI, AMT 11.10.2012JSI, AMT 11.10.2012
Thank you
Recommended