Beth, Evert Willem
| Evert Willem Beth | |
|---|---|
| Evert Willem Beth | |
| Fødselsdato | 7. Juli 1908 |
| Fødselssted | Almelo , Holland |
| Dødsdato | 12. april 1964 (55 år) |
| Et dødssted | |
| Land | |
| Videnskabelig sfære | logik , filosofi |
| Arbejdsplads | |
| Alma Mater | |
| Akademisk grad | PhD [2] |
| videnskabelig rådgiver | Johannes Christiaan Franken [d] [3] |
| Studerende | Joop Doorman [d] [3]og Karel L. de Bouvere [d] [3] |
| Mediefiler på Wikimedia Commons | |
Evert Willem Beth ( hollandsk. Evert Willem Beth ; 7. juli 1908 , Almelo - 12. april 1964 , Amsterdam ) - hollandsk logiker og filosof .
Han var lektor i videregående uddannelser, fra 1946 til 1964 var han professor i matematisk logik , logikhistorie og videnskabsfilosofi ved universitetet i Amsterdam . Han bidrog til dannelsen af logikken som en akademisk disciplin.
Beth udviklede semantiske tabeller, som kaldes Beth - tabeller , til prædikatlogik og intuitionistisk logiks semantik .
Proceedings
- De wijsbegeerte der wiskunde van Parmenides tot Bolzano . Standaard Boekhandel, Antwerpen 1944.
- Symbolische Logik und Grundlegung der exakten Wissenschaften ( Bibliographische Einführung in das Studium der Philosophie ). Francke, Bern 1948.
- Les fondements logiques des mathématiques . 1950.
- Matematikkens grundlag . Standaard Boekhandel, Amsterdam 1959.
- med Jean Piaget : pistemologie mathématique et psychologie. Essai sur les realtions entre la logique formelle et la pensée réelle . Presses Universitaires de France, Paris 1961.
- Matematisk tanke. En introduktion til matematikkens filosofi . Reidel, Dordrecht 1965.
Noter
- ↑ 1 2 3 4 5 6 7 Album Academicum - 2007.
- ↑ German National Library , Berlin Statsbibliotek , Bayerske Statsbibliotek , Austrian National Library Record #121030660 // General Regulatory Control (GND) - 2012-2016.
- ↑ 1 2 3 Matematisk genealogi (engelsk) - 1997.
Litteratur
- Beth, Evert Willem - artikel fra Big Encyclopedic Dictionary
- Ny Filosofisk Encyklopædi. - M .: Tanke, 2000. - T. 1-4. — ISBN 5-244-00961-3
- Karel Berka , Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Berlin: Akademie 1986
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| ||||