Ответ: барон Карл Фридрих Иероним Мюнхгаузен.
Зачет: по фамилии без неверных уточнений.
Комментарий:Черепаха предлагает Ахиллесу доказать истинность процедуры логического вывода средствами самой логической теории. Здесь можно провести аналогию с подвигом Мюнхаузена, который вытащил себя самого за волосы из болота.
Автор: Сергей Гиршевич (Москва).