Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:

А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я

[Интуиционистская Логика]
а- одна из наиболее важных ветвей логики неклассической, имеющая своей философской преднпосылкой программу интуиционизма. Выдвигая на первый план мантематическую интуицию, интуиционисты не придавали большого значения систематизации логических правил. Только в 1930 г. голнландский математик и логик А. Гейтинг Ч ученик создателя интуниционизма Л. Брауэра - дал аксиоматическую формулировку И. л., подчеркнув, что линтуиционизм развивается независимо от форнмализации, которая может идти только по следам математинческой конструкции

Вернуться в раздел Эзотерические и восточные энциклопедии.