About: Evert Willem Beth     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatFormalMethodsPeople, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FEvert_Willem_Beth

Evert Willem Beth (7 July 1908 – 12 April 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics. He was a member of the Significs Group.

AttributesValues
rdf:type
rdfs:label
  • إيفرت ويليم بيث (ar)
  • Evert Willem Beth (de)
  • Evert Willem Beth (fr)
  • Evert Willem Beth (en)
  • Evert Willem Beth (it)
  • Evert Willem Beth (nl)
  • Evert Willem Beth (pt)
  • Бет, Эверт Виллем (ru)
rdfs:comment
  • Evert Willem Beth (* 7. Juli 1908 in Almelo (Niederlande); † 12. April 1964 in Amsterdam) war ein niederländischer Logiker und Philosoph. Er war Lehrer an Oberschulen und von 1946 bis 1964 Professor für mathematische Logik, Geschichte der Logik und Wissenschaftstheorie an der Universität von Amsterdam. Beth entwickelte semantische Tafeln, die so genannten Beth-Tableaux als syntaktisches Verfahren zur Behandlung semantischer Probleme von Logikkalkülen. (de)
  • إيفرت ويليم بيث (بالهولندية: Evert Willem Beth)‏ هو فيلسوف ورياضياتي ومهندس هولندي، ولد في 7 يوليو 1908 في ألميلو في هولندا، وتوفي في 12 أبريل 1964 في أمستردام في هولندا. (ar)
  • Evert Willem Beth (7 July 1908 – 12 April 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics. He was a member of the Significs Group. (en)
  • Evert Willem Beth (7 juillet 1908 - 12 avril 1964) est un philosophe et logicien néerlandais dont les travaux concernent essentiellement les fondements des mathématiques. (fr)
  • Evert Willem Beth (Almelo, 7 luglio 1908 – Amsterdam, 12 aprile 1964) è stato un matematico olandese. (it)
  • Evert Willem Beth (Stad Almelo, 7 juli 1908 - Amsterdam, 12 april 1964) was een Nederlandse filosoof en logicus die bijdragen heeft geleverd op een breed gebied van de formele wetenschap, te weten de logica, filosofie van de wiskunde, grondslagenonderzoek en geschiedenis der exacte wetenschappen. Hij is vooral bekend door zijn bijdragen op het gebied van de wiskundige logica. (nl)
  • Evert Willem Beth (7 de julho de 1908 – 12 de abril de 1964) foi um filósofo e lógico holandês, que trabalhou, principalmente, em questões relacionadas aos fundamentos da matemática. (pt)
  • Эверт Виллем Бет (нидерл. Evert Willem Beth; 7 июля 1908, Алмело — 12 апреля 1964, Амстердам) — нидерландский логик и философ. Он был преподавателем высшей школы, с 1946 по 1964 год — профессор математической логики, истории логики и философии науки в Амстердамском университете. Содействовал становлению логики как академической дисциплины. Бет разработал семантические таблицы, которые названы , для логики предикатов и семантику интуиционистской логики. (ru)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Een_deel_van_de_publicaties_van_EW_Beth.png
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 46 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software