Очевидно, что изложенная система символизма в более утонченной форме снова берется за выполнение той задачи, ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Вейль Г.N. Философии математики Сборник работ


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

(cкачать страницу)

Смотреть книгу на libgen

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