"Не про бег" kitabından sitat

То ли колодец был слишком глубокий, то ли Алиса падала слишком медленно, только времени у нее было достаточно». Это написал профессор математики Оксфордского университета Чарльз Доджсон в 1864 году. Под своей фамилией он постеснялся публиковать «Алису в  Стране чудес» и выбрал себе псевдоним Льюис Кэрролл. Математики и философы до сих пор находят глубокий математический смысл в цитатах из этой детской книжки. Нашли его и в этой фразе: нельзя исчерпывающе описать свойства системы, находясь внутри нее. Другими словами, у Алисы нет ни единого шанса определить свою скорость, оперируя только своими ощущениями. В 1930 году австрийский математик Курт Гедель пошел дальше и математически доказал, что любая система аксиом либо противоречива, либо неполна. Иначе говоря, для того чтобы система была непротиворечива, нужен взгляд снаружи. Чтобы непротиворечиво оценить себя и прогрессировать в беге, нужен тренер