Еверт Віллем Бет: біографія

Він був викладачем вищої школи, з 1946 по 1964 рр.. професор математичної логіки, історії логіки та філософії науки в Амстердамському університеті. Сприяв становленню логіки як академічної дисципліни.

Бет розробив семантичні таблиці, які названі таблицями Бета, для логіки предикатів і семантику інтуціоністской логіки.

Праці

• спільно з Жаном Піаже:pist?mologie math?matique et psychologie. Essai sur les realtions entre la logique formelle et la pens?e r?elle. Presses Universitaires de France, Paris 1961.
• Mathematical Thought. An Introduction to the Philosophy of Mathematics. Reidel, Dordrecht 1965.
• The Foundations of Mathematics. Standaard Boekhandel, Amsterdam 1959.
• Les fondements logiques des math?matiques. 1950.
• Symbolische Logik und Grundlegung der exakten Wissenschaften(Bibliographische Einf?hrung in das Studium der Philosophie). Francke, Bern 1948.
• De wijsbegeerte der wiskunde van Parmenides tot Bolzano. Standaard Boekhandel, Antwerpen 1944.

Комментарии

Сайт: Википедия