Beth, Evert Willem

Evert Willem Beth
Evert Willem Beth
Syntymäaika 7. heinäkuuta 1908( 1908-07-07 )
Syntymäpaikka Almelo , Alankomaat
Kuolinpäivämäärä 12. huhtikuuta 1964 (55-vuotias)( 12.4.1964 )
Kuoleman paikka
Maa
Tieteellinen ala logiikka , filosofia
Työpaikka
Alma mater
Akateeminen tutkinto PhD [2]
tieteellinen neuvonantaja Johannes Christiaan Franken [d] [3]
Opiskelijat Joop Doorman [d] [3]ja Karel L. de Bouvere [d] [3]
 Mediatiedostot Wikimedia Commonsissa

Evert Willem Beth ( hollantilainen.  Evert Willem Beth ; 7. heinäkuuta 1908 , Almelo  - 12. huhtikuuta 1964 , Amsterdam ) - hollantilainen logiikka ja filosofi .

Hän oli korkeakouluopettaja, vuosina 1946–1964 matemaattisen logiikan , logiikan historian ja tiedefilosofian professori Amsterdamin yliopistossa . Hän vaikutti logiikan muodostumiseen akateemisena tieteenalana.

Beth kehitti semanttisia taulukoita, joita kutsutaan Beth - taulukoiksi predikaattilogiikkaa ja intuitionistisen logiikan semantiikkaa varten .

Proceedings

Muistiinpanot

  1. 1 2 3 4 5 6 7 Albumi Academicum - 2007.
  2. Saksan kansalliskirjasto , Berliinin osavaltiokirjasto , Baijerin osavaltion kirjasto , Itävallan kansalliskirjasto Tietue #121030660 // General Regulatory Control (GND) - 2012-2016.
  3. 1 2 3 Matemaattinen sukututkimus  (englanniksi) - 1997.

Kirjallisuus