A Formalization of the Turing Test

05/27/2010
by   Evgeny Chutchev, et al.
0

The paper offers a mathematical formalization of the Turing test. This formalization makes it possible to establish the conditions under which some Turing machine will pass the Turing test and the conditions under which every Turing machine (or every Turing machine of the special class) will fail the Turing test.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/25/2021

Set Turing Machines

We define a generalization of the Turing machine that computes on genera...
research
05/11/2022

The Meta-Turing Test

We propose an alternative to the Turing test that removes the inherent a...
research
07/06/2023

A Thermodynamically Universal Turing Machine

Expanding upon the widely recognized notion of mathematical universality...
research
03/31/2006

Graphics Turing Test

We define a Graphics Turing Test to measure graphics performance in a si...
research
06/09/2019

There is no general AI: Why Turing machines cannot pass the Turing test

Since 1950, when Alan Turing proposed what has since come to be called t...
research
05/08/2022

Turing machine interaction problem

The article introduces some ideas for solving special cases of the follo...
research
10/18/2021

Turing Tumble is Turing-Complete

It is shown that the toy Turing Tumble, suitably extended with an infini...

Please sign up or login with your details

Forgot password? Click here to reset