#### Filter Results:

- Full text PDF available (2)

#### Publication Year

1995

2010

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Journals and Conferences

#### Key Phrases

Learn More

- Evgeny Chutchev
- ArXiv
- 2010

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)

- Evgeny Chutchev
- SIGART Bulletin
- 1995

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
- ›