E. W. Beth

E. W. Beth

Evert Willem Beth (* 7. Juli 1908 in Almelo (Niederlande); † 12. April 1964 in Amsterdam) war ein niederländischer Logiker und Philosoph.

Er war Professor für Logik an der Universität Amsterdam.

Beth entwickelte semantische Tafeln, die so genannten Beth-Tableaux als syntaktisches Verfahren zur Behandlung semantischer Probleme von Logikkalkülen.

Literatur

  • Evert Willem Beth: Semantic Entailment and formal derivability, Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Band 18, Nummer 13, Amsterdam: 1955, Seite 309-342, gekürzter, übersetzter Nachdruck in Berka/Kreiser 1986, Seite 262 ff.
Erste systematische Ausarbeitung des Baumkalküls
  • Evert Willem Beth: A topological proof of the theorem of Löwenheim-Skolem-Gödel, Indag. Math. 13, Seite 346-344
Erste Gedanken in Richtung eines Baumkalküls
  • Karel Berka, Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Berlin: Akademie 1986
Gekürzter Nachdruck von Beth 1955 ab Seite 262

Weblinks

Personendaten
NAME Beth, Evert Willem
KURZBESCHREIBUNG holländischer Logiker
GEBURTSDATUM 7. Juli 1908
GEBURTSORT Almelo
STERBEDATUM 12. April 1964
STERBEORT Amsterdam

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Beth Israel — Beth Israel, which means House of Israel in Hebrew, may refer to: Contents 1 Synagogues 1.1 Canada 1.2 United States 1.3 Elsewhere …   Wikipedia

  • Beth Thornley — is an American singer and songwriter.BiographyBeth was born in Birmingham, Alabama and attended L. Frazier Banks Middle School. She later went to Samford University and studied classical music where she earned a degree in music education. After… …   Wikipedia

  • Beth Sarim — Beth Sarim, Hebrew for House of the Princes , was a ten bedroom mansion in San Diego, California which was maintained by the Watch Tower Society, the parent organization used by Jehovah s Witnesses, as a winter home and executive office for Watch …   Wikipedia

  • Beth — Saltar a navegación, búsqueda Beth Beth en una escena de Lalola , serie de Antena 3 (2008). Información personal Nom …   Wikipedia Español

  • Beth Carvalho — Saltar a navegación, búsqueda Beth Carvalho Beth Carvalho Información personal Nombre real Eli …   Wikipedia Español

  • Beth Chatto — (born 1923) is a plantswoman, garden designer and author best known for creating the Beth Chatto Gardens near Elmstead Market, in the English county of Essex. She is also known for writing a number of books on gardening for specific conditions.… …   Wikipedia

  • Beth Din — Beth Din, aussi écrit Beit Din, est la translitération de l hébreu ,בית דין, qui signifie maison du jugement et désigne un tribunal religieux. La forme la plus connue et la plus répandue est le Beth Din rabbinique (composé de rabbins), mais l… …   Wikipédia en Français

  • Beth Ditto — im Mezzanine in San Francisco, 2009 Beth Ditto (* 19. Februar 1981 in Searcy, Arkansas; richtiger Name Mary Beth Patterson) ist eine US amerikanische Sängerin, Songwriterin und Frontfrau der Band Gossip …   Deutsch Wikipedia

  • Beth Tfiloh Dahan Community School — is a Modern Orthodox Jewish day school in Baltimore County, Maryland. It encompasses preschool through twelfth grade. The school has two campuses one in Pikesville and one in Glyndon (near Reisterstown) The Old Court campus (Pikesville) houses… …   Wikipedia

  • Beth (Begriffsklärung) — Beth bezeichnet: Beth, einen Buchstaben im hebräischen Alphabet Beth (Lied), Lied der Band Kiss (1976) Beth Funktion, in der Mengenlehre eine bestimmte Funktion mit Werten in den Kardinalzahlen ein Verkehrsunternehmen, siehe Omnibusbetriebe Beth… …   Deutsch Wikipedia

  • Beth (Lettre) — Wikipédia …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”