The Alan Turing QuizPart of the Alan Turing Centenery Celebrations, IISc

October 7, 2012

Rules

● Direct questions, Infinite Bounce

● +10 on correct answer, no negatives

● Partial points at Quizmaster's discretion

● Quizmaster's decision is final

The Turing Test seeks to distinguish between humans and computers.

X is the most widely deployed form of the Turing Test. It was so named by Carnegie Mellon University researchers.

What is X?

CAPTCHA

Completely Automated Public Turing test to tell Computers and Humans Apart

The mathematician Russell Impagliazzo, in his paper “A Personal View of Average Case Complexity”, describes five imaginary worlds: Algorithmica, Heuristica, Pessiland, Minicrypt and Cryptomania. Particularly in the world Algorithmica:

● Computers can solve many theorems automatically● Current cryptographic schemes would become insecure● Transportation would be optimal

What property of Algorithmica makes this possible?

In Algorithmica, P = NP

Which system, a leap in natural language processing, does this diagram represent?

The DeepQA system underlying IBM's Watson. This is the first computer to win Jeopardy!

Charles Babbage (1822)

Charles Babbage (1837)

Alan Turing (1952)

Automatic Computing Engine, a general purpose computer designed by Alan Turing, and named in homage of Babbage's designs.

Shown here is the Pilot ACE, the first.

Alan Turing introduced this computational technique, which computers use to:● Solve square systems of linear equations● Invert a matrix● Compute determinant of a matrix

LU Decomposition/Factorization

Turing did not call his test of “intelligence”, the Turing Test. In his seminal paper published in 1950 in Mind, he wrote:

It was suggested tentatively that the question, "Can machines think?" should be replaced by "Are there imaginable digital computers which would do well in the X?"

What is X?

Imitation Game

Long Visual Connect

+60/-30

+40/-20

+30/-15

+20/-10

+10/-5

+5

Turing Prize Winners

Audience Questions

Although Turing's work on morphogenesis is well known (left), he was, at the time of his death working on another vexing problem in morphogenesis (right).

What was this problem?

Fibonacci Phyllotaxis, the appearance of Fibonacci numbers in spiral arrangements in plants (seeds, leaves, etc.)

For his Fellowship at Kings College, Turing came up with an independent proof of this theorem. However, it had already been proven by Lindeberg in 1922.

Which theorem?

The Central Limit Theorem

In 1952, Alan Turing was convicted under the Labouchere Amendment of 1885. This amendment made “gross indecency” (a term never defined) a crime in the United Kingdom.

This law is also infamous for prosecuting, in 1895, a famous writer who was sentenced to two years of hard labour, the maximum afforded by the law at that time.

Who?

The Irish playwright and novelist, Oscar Wilde.