Что такое формальные системы? Душкин объяснит
Почему Ахиллес никогда не догонит черепаху: парадокс, который тяжело оспорить
Представьте себе простую сцену: быстроногий герой Ахиллес устраивает забег с черепахой. Он великодушно даёт ей фору — скажем, сто метров. Ахиллес бежит в десять раз быстрее черепахи. Казалось бы, он догонит её за считаные секунды. Но древнегреческий философ Зенон Элейский больше двух тысяч лет назад предложил рассуждение, согласно которому Ахиллес никогда не сможет обогнать черепаху — и даже никогда её не догонит. Логика настолько безупречна, что опровергнуть её словами крайне сложно, хотя здравый смысл кричит, что это абсурд...