Evgeny Chutchev

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
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