#### Filter Results:

#### Publication Year

1995

2010

#### Publication Type

#### Publication Venue

#### Key Phrases

Learn More

A certain mathematician M, considering some hypothesis H, conclusion C and text P, can arrive at one of the following judgments: (1) P does not convince M of the fact that since H, it follows that C; (2) P is the proof that since H, it follows that C (judgment of the type"Proved"). Is it possible to replace such a mathematician with an arbitrary Turing… (More)

Alan Turing proposed an interactive test to replace the question "Can machines think?" This test has become known as the Turing Test and its validity for determining intelligence or thinking is still in question.Struggling with the validity of long proofs, program correctness, computational complexity and cryptography, theoreticians developed interactive… (More)

- ‹
- 1
- ›