Reverse Turing test a computer is then said to "pass the Turing test" if it is also judged human. Any of these roles may be changed to form a "reverse Turing test". Arguably the standard form of the reverse Turing test is one in which the subjects attempt to appear to be a computer rather than a human. A formal reverse Turing test follows the same format as a Turing test. Human subjects attempt to imitate the conversational style of a conversation program such as ELIZA. Doing this well involves deliberately ignoring, to some degree, the meaning of the conversation that is immediately
Church–Turing thesis three formally-defined classes of computable functions coincide with the "informal" notion of an effectively calculable function. Since, as an informal notion, the concept of effective calculability does not have a formal definition, the thesis, although it has near-universal acceptance, cannot be formally proven. Since its inception, variations on the original thesis have arisen, including statements about what can physically be realized by a computer in our universe (physical Church-Turing thesis) and what can be efficiently computed (Church–Turing thesis (complexity theory)). These variations are not due to Church or Turing, but arise from later work in complexity theory and digital physics.