Предположим, что у первого математика число на карточке - n. Следовательно, у второго математика число на карточке - n+1, так как числа отличаются на один. Если первый математик не знает число второго, то это означает, что это число n+1, и наоборот.
Теперь, если первый математик не знает число второго - n+1, то он поймет, что число на его карточке n. И наоборот, если второй математик не знает число первого - n, тогда его число - n+1.
Таким образом, на каждом шаге один из математиков будет знать число на карточке другого. Поэтому, рано или поздно один из математиков скажет "знаю".
