Выдержка из книги
Вейль Г.N.
Философии математики Сборник работ
Очевидно, что изложенная система символизма в более утонченной форме снова берется за выполнение той задачи, которую выставил Лейбниц в своей всеобщей характеристике и ars combinatoria. Но разве перед лашими взорами не восстает здесь только бескровный призрак прежнего анализа. Математика Гильберта может представлять собой очень изящную игру в формулы, более занятную даже, чем шахматы, но что общего имеет она с познанием, раз принимается, что се формулы не должны обладать никаким предметным значением, благодаря которому они могли бы выражать какие-либо имеющие смысл истины. Согласно Гильберту предметом математики являются сами символы. Поэтому нет никакой иронии в следующем заявлении Броуера: На вопрос: где же заключается научная точность. Интуиционист говорит: в человеческой мысли, формалист: на бумаге ( Intuitionisme en formalisme, стр.