2 papers
cs.LO2025
Basic interactive algorithms: Preview
Yuri Gurevich
This dialog paper offers a preview and provides a foretaste of an upcoming work on the axiomatization of basic interactive algorithms. The modern notion of algorithm was elucidated…
cs.AI2024
On a measure of intelligence
Yuri Gurevich
The Fall 2024 Logic in Computer Science column of the Bulletin of EATCS is a little discussion on intelligence, measuring intelligence, and related issues, provoked by a fascinatin…