Evert Willem Beth

Evert Willem Beth (narozen 7. července 1908 v Almelo (Nizozemsko), † 12. dubna 1964 v Amsterdamu ) byl nizozemský logik a filozof .

Byl učitelem na středních školách a od roku 1946 do roku 1964 profesorem matematické logiky, dějin logiky a filozofie vědy na univerzitě v Amsterdamu .

Beth vyvinula sémantické tabulky, takzvané Beth-Tableaux, jako syntaktický postup pro zpracování sémantických problémů logických kalkulů .

Díla (výběr)

• De wijsbegeerte the wiskunde van Parmenides tot Bolzano . Standaard Boekhandel, Antverpy 1944.
• Symbolická logika a základy exaktních věd ( bibliografický úvod do studia filozofie ). Francke, Bern 1948.
• Les fondements logiques des mathématiques . 1950.
• Základy matematiky . Standaard Boekhandel, Amsterdam 1959.
• s Jean Piaget : pistémologie mathématique et psychologie. Essai sur les relations entre la logique formelle et la pensée réelle . Presses Universitaires de France, Paříž 1961.
• Matematické myšlení. Úvod do filozofie matematiky . Reidel, Dordrecht 1965.

literatura

• Arend Heyting : In memoriam Evert Willem Beth, Notre Dame Journal of Formal Logic  7 , no. 4 (1966), strany 289-295, zdarma ke stažení

webové odkazy

• Literatura o Evertovi Willemovi Bethovi v katalogu Německé národní knihovny
• Arend Heyting, In memoriam: Evert Willem Beth

Individuální důkazy

1. ↑ Evert Willem Beth: Sémantické obohacení a formální odvoditelnost, Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen , svazek 18, číslo 13, Amsterdam: 1955, strany 309–342, zkráceno, přeloženo dotisk v Berka / Kreiser 1986, strana 262 a násl.

   První systematické zpracování stromového počtu

   • Evert Willem Beth: Topologický důkaz věty Löwenheim-Skolem-Gödel, Indag. Matematika 13, str. 346-344

   První myšlenky ve směru kalkulu stromu

   • Karel Berka , Lothar Kreiser: Logické texty. Komentovaný výběr z historie moderní logiky , Berlín: Akademie 1986

   Zkrácený dotisk Beth 1955 ze strany 262