Наверное, они бы разобрали этот алгоритм как новую форму мышления, а потом задали бы сложный вопрос: "Думают ли машины?" Сократ бы первым делом потребовал определения, может, какого-то теста. Наверняка написали бы целую работу, с кучей сносок к каждому предположению, и перепроверяли бы логику, пока вывод не будет соответствовать фактам.