| 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
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 6685 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| 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
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:influencedBy
of | |
| is dbo:notableStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:influences
of | |
| is dbp:notableStudents
of | |
| is foaf:primaryTopic
of | |
