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

Эта статья включает в себя список общих ссылок , но он остается в значительной степени непроверенным, поскольку в нем отсутствует достаточное количество соответствующих встроенных ссылок . Пожалуйста, помогите улучшить эту статью, добавив более точные цитаты. ( Апрель 2013 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

Часть публикаций Бет

Эверт Виллем Бет (7 июля 1908 - 12 апреля 1964) был голландским философом и логиком , работа которого в основном касалась основ математики . Он был членом группы Significs .

Биография [ править ]

Бет родилась в Алмело , маленьком городке на востоке Нидерландов . Его отец изучал математику и физику в Амстердамском университете , где ему была присвоена степень доктора философии . Эверт Бет изучал те же предметы в Утрехтском университете , но затем изучал также философию и психологию . Его докторская степень в 1935 г. был в философии.

В 1946 году он стал профессором логики и основ математики в Амстердаме . За исключением двух коротких перерывов - работы в 1951 году в качестве научного сотрудника Альфреда Тарского и в 1957 году в качестве приглашенного профессора в Университете Джона Хопкинса - он постоянно занимал эту должность в Амстердаме до своей смерти в 1964 году. Это была первая академическая должность в Амстердаме. его страна в области логики и основ математики, и все это время он активно участвовал в международном сотрудничестве в становлении логики в качестве академической дисциплины.

В 1953 году он стал членом Королевской Нидерландской академии искусств и наук . ^[1]

Он умер в Амстердаме .

Вклад в логику [ править ]

Теорема об определении [ править ]

Этот раздел нуждается в расширении . Вы можете помочь, добавив к нему . ( Апрель 2014 г. )

Теорема определения утверждает, что предикат (или функция, или константа) неявно определим тогда и только тогда, когда он определен явно. Дальнейшее объяснение приводится в разделе « Определимость по Бет»

Семантические таблицы [ править ]

Семантические таблицы являются методом доказательства для формальных систем - ср. Генценовского «s естественный вычет и исчисление секвенций , или даже J. Алан Robinson » s разрешение и Гильберт аксиоматических систем. Многие считают это интуитивно простым, особенно для студентов, не знакомых с изучением логики (например, Уилфрид Ходжес представляет семантические таблицы в своем вводном учебнике Логика , а Мелвин Фиттинг делает то же самое в своем изложении логики первого порядка для компьютерные ученые ,Логика первого порядка и автоматическое доказательство теорем ).

Один начинается с намерением доказать , что определенный набор формул подразумевают другую формулу , учитывая набор правил , определяемых семантику формул игровых связок (и кванторы, в логике первого порядка ). Метод состоит в том, чтобы предположить одновременную истинность каждого члена и из (отрицание ), а затем применить правила для разветвления этого списка в древовидную структуру (более простых) формул, пока каждая возможная ветвь не будет содержать противоречие. На этом этапе будет установлено, что это противоречиво, и, таким образом, подразумеваются формулы совокупности .${\ displaystyle \ Gamma \,}$${\ displaystyle \ varphi \,}$${\ displaystyle \ Gamma \,}$${\ displaystyle \ neg \ varphi}$${\ displaystyle \ varphi \,}$${\ Displaystyle \ Гамма \ чашка \ {\ neg \ varphi \}}$${\ displaystyle \ Gamma \,}$${\ displaystyle \ varphi \,}$

Бет модели [ править ]

Это класс реляционных моделей для неклассической логики (ср. Семантику Крипке ).

Книги [ править ]

• Эверт В. Бет, Основы математики. Исследование по философии науки . XXVΊ + 722 с. Амстердам, Северная Голландия, 1959.
• Эверт В. Бет, Épistémologie mathématique et Psychologie (совместно с Ж. Пиаже). 352 с. Парижский PUF 1961.
• Эверт В. Бет, Формальные методы : введение в символическую логику и изучение эффективных операций в арифметике и логике . Издательство D. Reidel Publishing Company / Dordecht-Holland, 1962.
• Эверт В. Бет, аспекты современной логики . Издательство D. Reidel Publishing Company / Dordecht-Holland, 1971.

См. Также [ править ]

• Геррит Маннури
• Метод аналитических таблиц

Ссылки [ править ]

Внешние ссылки [ править ]

Викискладе есть медиафайлы по теме Эверта Виллема Бета .

• Приз Бет 2013
• Фонд Эверта Виллема Бета