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

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

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

Игры ⚽ Поможем решить контрольную работу

Бет, Эверт Виллем — Эверт Виллем Бет Evert Willem Beth Дата рождения: 7 июля 1908(1908 07 07) Место рождения: Алмело, Нидерланды Дата смерти … Википедия
БЕТ (Beth) Эверт Виллем — (1908 64) нидерландский философ и логик. Выдвинул идею о необходимости синтеза логики, оснований математики, истории точных наук и психологии мышления. В логике разработал метод семантических (аналитических) таблиц, семантику интуиционистской… … Большой Энциклопедический словарь
Бет Э. В. — БЕТ (Beth) Эверт Виллем (1908–64), гол. философ и логик, разработал семантику интуиционистской логики, метод семантич. (аналитич.) таблиц и др … Биографический словарь
Список логиков — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Алмело — Город Алмело нидерл. Almelo Флаг Герб … Википедия

Словари и энциклопедии на Академике