«Бет Эверт Виллем»

Бет Эверт Виллем

(Beth) (1908—1964), голландский философ и логик. Выдвинул идею о необходимости синтеза логики, оснований математики, истории точных наук и психологии мышления. В логике разработал метод семантических (аналитических) таблиц, семантику интуиционистской логики и др.

* * *

БЕТ (Beth) Эверт Виллем (1908—64), нидерландский философ и логик. Выдвинул идею о необходимости синтеза логики, оснований математики, истории точных наук и психологии мышления. В логике разработал метод семантических (аналитических) таблиц, семантику(см. СЕМАНТИКА) интуиционистской логики(см. ИНТУИЦИОНИСТСКАЯ ЛОГИКА) и др.