интуиционистская логика

Аватар пользователя Аим

2006-07-19, Масалова С.И., Философия интуиционистской математики

«Интуиционизм сознательно ограничивает возможности математика тем, что тот может осуществлять построение математических объектов исключительно посредством таких средств, которые хотя и получаемы с помощью абстрактных понятий, но эффективны, убедительны, доказуемы, функционально конструктивны именно практически и сами интуитивно ясны как конструкции, построения, надежность которых на практике не вызывает никаких сомнений.

RSS-материал