| dbo:abstract |
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) |
| dbo:thumbnail |
wiki-commons:Special:FilePath/Een_deel_van_de_publicaties_van_EW_Beth.png?width=300 |
| dbo:wikiPageExternalLink |
http://www.knaw.nl/en/awards/subsidies/evert-willem-beth-stichting/evert-willem-beth-foundation http://www.historici.nl/Onderzoek/Projecten/BWN/lemmata/bwn2/beth https://archive.today/20130701104936/http:/institucional.us.es/folliweb/index.php%3Foption=com_content&view=article&id=81&Itemid=69 |
| dbo:wikiPageID |
2170919 (xsd:integer) |
| dbo:wikiPageLength |
6685 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1068720550 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Psychology dbr:Royal_Netherlands_Academy_of_Arts_and_Sciences dbr:Entscheidungsproblem dbr:Bertrand_Russell dbr:David_Hilbert dbc:People_from_Almelo dbr:Johns_Hopkins_University dbr:Beth_definability dbr:Utrecht_University dbr:Decidability_(logic) dbr:Notre_Dame_Journal_of_Formal_Logic dbc:1964_deaths dbr:Mathematics dbr:Melvin_Fitting dbr:Gottlob_Frege dbr:Logic dbr:Computer_science dbr:Kripke_semantics dbr:Physics dbr:Propositional_logic dbc:1908_births dbc:Mathematical_logicians dbc:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences dbc:Utrecht_University_alumni dbr:Wilfrid_Hodges dbr:Doctor_of_Philosophy dbr:Alfred_North_Whitehead dbr:Alfred_Tarski dbr:Almelo dbr:Amsterdam dbc:20th-century_Dutch_mathematicians dbr:First-order_logic dbr:Foundations_of_mathematics dbr:Gerrit_Mannoury dbr:Logical_connective dbr:Natural_deduction dbr:First-order_resolution dbc:University_of_Amsterdam_faculty dbc:20th-century_Dutch_philosophers dbc:Dutch_logicians dbc:Formal_methods_people dbr:Effective_method dbr:Philosophy dbr:PhD dbr:Method_of_analytic_tableaux dbr:Netherlands dbr:Wittgenstein dbr:Formal_Methods dbr:Logician dbr:Philosopher dbr:Non-classical_logic dbr:J._Alan_Robinson dbr:Truth_tables dbr:Significs_Group dbr:Universiteit_van_Amsterdam dbr:Gentzen dbr:File:Een_deel_van_de_publicaties_van_EW_Beth.png |
| dbp:wikiPageUsesTemplate |
dbt:Authority_control dbt:Cite_encyclopedia dbt:Cite_journal dbt:Commons_category dbt:Expand_section dbt:More_footnotes dbt:Refbegin dbt:Refend dbt:Reflist dbt:Short_description |
| dct:subject |
dbc:People_from_Almelo dbc:1964_deaths dbc:1908_births dbc:Mathematical_logicians dbc:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences dbc:Utrecht_University_alumni dbc:20th-century_Dutch_mathematicians dbc:University_of_Amsterdam_faculty dbc:20th-century_Dutch_philosophers dbc:Dutch_logicians dbc:Formal_methods_people |
| gold:hypernym |
dbr:Philosopher |
| schema:sameAs |
http://viaf.org/viaf/76382085 |
| rdf:type |
owl:Thing dbo:Person yago:WikicatLogicians yago:WikicatMathematicalLogicians yago:WikicatUtrechtUniversityAlumni yago:WikicatPeopleFromAlmelo yago:Alumnus109786338 yago:CausalAgent100007347 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Whole100003553 yago:WikicatDutchLogicians yago:WikicatDutchPeople yago:WikicatDutchPhilosophers yago:WikicatFormalMethodsPeople |
| 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) |
| 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) |
| owl:sameAs |
freebase:Evert Willem Beth yago-res:Evert Willem Beth http://viaf.org/viaf/76382085 http://d-nb.info/gnd/121030660 http://d-nb.info/gnd/1047945460 http://d-nb.info/gnd/174844239 http://d-nb.info/gnd/180354183 http://d-nb.info/gnd/181820919 wikidata:Evert Willem Beth http://data.bibliotheken.nl/id/thes/p068394209 dbpedia-ar:Evert Willem Beth dbpedia-de:Evert Willem Beth dbpedia-fa:Evert Willem Beth dbpedia-fr:Evert Willem Beth dbpedia-it:Evert Willem Beth http://mg.dbpedia.org/resource/Evert_Willem_Beth dbpedia-nl:Evert Willem Beth dbpedia-pt:Evert Willem Beth dbpedia-ru:Evert Willem Beth https://global.dbpedia.org/id/4smiE |
| prov:wasDerivedFrom |
wikipedia-en:Evert_Willem_Beth?oldid=1068720550&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/Een_deel_van_de_publicaties_van_EW_Beth.png |
| foaf:isPrimaryTopicOf |
wikipedia-en:Evert_Willem_Beth |
| is dbo:influencedBy of |
dbr:Hans_Kamp |
| is dbo:notableStudent of |
dbr:Alfred_Tarski |
| is dbo:wikiPageDisambiguates of |
dbr:Willem dbr:Beth dbr:Evert |
| is dbo:wikiPageRedirects of |
dbr:E.W._Beth dbr:E._W._Beth dbr:E_W_Beth dbr:Evert_W._Beth |
| is dbo:wikiPageWikiLink of |
dbr:Propositional_calculus dbr:Modal_logic dbr:Beth_definability dbr:Dutch_philosophy dbr:E._W._Beth_Dissertation_Prize dbr:Index_of_philosophy_articles_(D–H) dbr:Magdalena_Aebi dbr:List_of_logicians dbr:List_of_people_by_Erdős_number dbr:Raymond_Louis_Wilder dbr:George_Boolos dbr:Glossary_of_set_theory dbr:Andrzej_Grzegorczyk dbr:Kripke_semantics dbr:Willem dbr:Alfred_Tarski dbr:Almelo dbr:Beth dbr:List_of_Dutch_people dbr:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers dbr:Hans_Kamp dbr:Haskell_Curry dbr:Henri_van_Praag dbr:Jaakko_Hintikka dbr:Institute_for_Logic,_Language_and_Computation dbr:Method_of_analytic_tableaux dbr:Evert dbr:Pieter_Seuren dbr:E.W._Beth dbr:E._W._Beth dbr:E_W_Beth dbr:Evert_W._Beth |
| is dbp:influences of |
dbr:Hans_Kamp |
| is dbp:notableStudents of |
dbr:Alfred_Tarski |
| is foaf:primaryTopic of |
wikipedia-en:Evert_Willem_Beth |
