Moses Schönfinkel (original) (raw)

About DBpedia

Moissei Eliévitx Xeinfinkel, rus: Моисей Эльевич Шейнфинкель, patronímics opcionals Ильич Ílitx i Исаевич Issàievitx, conegut habitualment amb la versió en alemany del seu nom, Moses Schönfinkel, (4 setembre 1889 Iekaterinoslav (en l'actualitat Dniprò, Ucraïna) - 1942 Moscou), fou un lògic i matemàtic rus d'origen jueu, conegut pel descobriment de la lògica combinatòria.

thumbnail

Property Value
dbo:abstract Moissei Eliévitx Xeinfinkel, rus: Моисей Эльевич Шейнфинкель, patronímics opcionals Ильич Ílitx i Исаевич Issàievitx, conegut habitualment amb la versió en alemany del seu nom, Moses Schönfinkel, (4 setembre 1889 Iekaterinoslav (en l'actualitat Dniprò, Ucraïna) - 1942 Moscou), fou un lògic i matemàtic rus d'origen jueu, conegut pel descobriment de la lògica combinatòria. (ca) Moses Isajewitsch Schönfinkel (russisch Моисей Исаевич Шейнфинкель, wiss. Transliteration Moisej Isaevič Šejnfinkel'; * 17.jul. / 29. September 1888greg. in Jekaterinoslaw; † 1942 in Moskau) war ein ukrainischer/sowjetischer Logiker. Er studierte Mathematik an der Neurussischen Universität in Odessa und beschäftigte sich dort, zusammen mit Samuil Schatunowski, mit Problemen der Geometrie und den Grundlagen der Mathematik. 1914 ging er an die Universität von Göttingen, wo er bis 1924 blieb und unter anderem mit David Hilbert zusammenarbeitete. Anschließend ging er in die Sowjetunion. Er starb 1942 in Moskau. Die Umstände und genauen Daten seines Todes sind unbekannt. Schönfinkel entwarf die kombinatorische Logik und beeinflusste dadurch Haskell Curry. Die Ergebnisse seiner Arbeit veröffentlichte er 1924 unter dem Titel Über die Bausteine der mathematischen Logik, herausgegeben von Heinrich Behmann. Dieser Artikel beschreibt das, was heute als Currying (nach Curry) bezeichnet wird. Schönfinkel selbst entwickelte seine Arbeit an der kombinatorischen Logik später nicht weiter. Zusammen mit Paul Bernays beschrieb er 1927 das Entscheidungsproblem der mathematischen Logik. (de) Moses Ilyich Schönfinkel (Russian: Моисей Исаевич Шейнфинкель, romanized: Moisei Isai'evich Sheinfinkel; 29 September 1888 – 1942) was a logician and mathematician, known for the invention of combinatory logic. (en) Moses Schönfinkel (en russe : Моисей Эльевич Шейнфинкель, Moisseï Elievitch Cheïnfinkel) est un logicien et mathématicien juif soviétique né le 4 septembre 1889 à Ekaterinoslav (aujourd’hui Dnipro, en Ukraine) et mort en 1942 à Moscou. C'est à l'université de Novorossiysk à Odessa qu'il étudie les mathématiques avec (en) (1859-1929) qui lui enseigne la géométrie et les fondations des mathématiques. De 1914 à 1924, Schönfinkel est à l'université de Göttingen dans le groupe de David Hilbert. Dans une présentation donnée à Göttingen en 1920, Schönfinkel invente la logique combinatoire, développée par la suite par Haskell Curry, étudiant de David Hilbert à la fin des années 1920. Cette conférence révisée par (en) a été publiée en 1924. Schönfinkel y introduit, entre autres, l'opération appelée depuis curryfication. Schönfinkel a publié en 1929 un article avec Paul Bernays sur le problème de la décision (Entscheidungsproblem) en logique mathématique. Malade, il est placé en sanatorium. Retourné en URSS en 1939, il meurt misérablement à Moscou en 1942, sans que l'on connaisse la date précise de sa mort. Ses écrits sont utilisés comme combustible par ses voisins. (fr) Moses Ilyich Schönfinkel (em russo: Моисей Исаевич Шейнфинкель) (Ekaterinoslav, 4 de setembro de 1889 – Moscou, 1942) foi um matemático soviético, conhecido pela invenção da lógica combinatória. (pt) Моисей Эльевич Шейнфинкель (варианты отчества — Ильич и Исаевич, нем. Moses Schönfinkel; 4 сентября 1889, Екатеринослав, Украина — 1942, Москва) — русский и советский логик и математик, известный как изобретатель комбинаторной логики. (ru) Шейнфінкель Мойсей Ейлєвич (Ілліч, Ісаєвич) (нім. Moses Schönfinkel; нар. 4 вересня 1889, Катеринослав, Російська імперія — пом. 1942, Москва, СРСР) — український та радянський логік та математик єврейського походження, відомий як винахідник комбінаторної логіки. (uk)
dbo:academicDiscipline dbr:Mathematics
dbo:almaMater dbr:Novorossiysk_University
dbo:birthDate 1888-09-29 (xsd:date)
dbo:birthPlace dbr:Ukraine dbr:Russian_Empire dbr:Dnipro
dbo:citizenship dbr:Russia
dbo:deathPlace dbr:Moscow dbr:Soviet_Union
dbo:influenced dbr:Haskell_Curry
dbo:influencedBy dbr:David_Hilbert
dbo:knownFor dbr:Currying dbr:Combinatory_logic dbr:Bernays–Schönfinkel_class
dbo:nationality dbr:Ashkenazi_Jewish
dbo:thumbnail wiki-commons:Special:FilePath/Moses_Schönfinkel_1922_(cropped).jpg?width=300
dbo:wikiPageExternalLink https://www.wolfram-media.com/products/combinators-a-centennial-view.html http://gdz.sub.uni-goettingen.de/download/PPN235181684_0099/PPN235181684_0099___LOG_0022.pdf%7Cauthor1=Paul http://www.digizeitschriften.de/dms/img/%3FPID=GDZPPN002270110
dbo:wikiPageID 767234 (xsd:integer)
dbo:wikiPageLength 9730 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1121867517 (xsd:integer)
dbo:wikiPageWikiLink dbc:Expatriates_from_the_Russian_Empire_in_Germany dbr:Predicate_logic dbr:Entscheidungsproblem dbr:David_Hilbert dbr:Paul_Bernays dbr:Currying dbr:Ukraine dbr:University_of_Göttingen dbr:Combinatory_logic dbr:Mathematics dbr:Russia dbr:Russian_Empire dbc:Russian_people_of_Ukrainian-Jewish_descent dbc:Soviet_logicians dbr:Geometry dbr:Germany dbr:Gottlob_Frege dbr:Moscow dbr:Bernays–Schönfinkel_class dbr:Ashkenazi_Jewish dbr:Stephen_Wolfram dbc:Scientists_from_Dnipro dbr:Stigler's_law_of_eponymy dbr:Mathematician dbc:1888_births dbc:1942_deaths dbc:Jewish_philosophers dbc:Ukrainian_Jews dbr:Heinrich_Behmann dbr:Foundations_of_mathematics dbr:Harvard_University_Press dbr:Haskell_Curry dbr:Jean_van_Heijenoort dbc:Soviet_philosophers dbc:Russian_logicians dbc:Odesa_University_alumni dbr:Lambda_calculus dbr:Dnipro dbc:Mathematicians_from_the_Russian_Empire dbr:Soviet_Union dbr:Odessa dbr:Lurie dbr:Logician dbr:Samuil_Osipovich_Shatunovskii dbr:Wolfram_Media dbr:Novorossiysk_University dbr:Bound_variables
dbp:almaMater dbr:Novorossiysk_University
dbp:birthDate 1888-09-29 (xsd:date)
dbp:birthPlace Ekaterinoslav, Russian Empire (en)
dbp:caption c.1922 (en)
dbp:citizenship Russian (en)
dbp:deathPlace dbr:Moscow dbr:Soviet_Union
dbp:field dbr:Mathematics
dbp:influenced dbr:Haskell_Curry
dbp:influences dbr:David_Hilbert
dbp:knownFor dbr:Currying dbr:Combinatory_logic dbr:Bernays–Schönfinkel_class
dbp:name Moses Ilyich Schönfinkel (en)
dbp:nationality dbr:Ashkenazi_Jewish
dbp:wikiPageUsesTemplate dbt:Authority_control dbt:Birth_date dbt:Cite_arXiv dbt:Cite_book dbt:Cite_journal dbt:Commons_category-inline dbt:ISBN dbt:Reflist dbt:Short_description dbt:Death_year_and_age dbt:Infobox_scientist
dbp:workInstitutions dbr:University_of_Göttingen
dcterms:subject dbc:Expatriates_from_the_Russian_Empire_in_Germany dbc:Russian_people_of_Ukrainian-Jewish_descent dbc:Soviet_logicians dbc:Scientists_from_Dnipro dbc:1888_births dbc:1942_deaths dbc:Jewish_philosophers dbc:Ukrainian_Jews dbc:Soviet_philosophers dbc:Russian_logicians dbc:Odesa_University_alumni dbc:Mathematicians_from_the_Russian_Empire
gold:hypernym dbr:Logician
rdf:type owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLogicians yago:WikicatOdessaUniversityAlumni yago:WikicatPeopleFromDnipropetrovsk yago:WikicatRussianLogicians yago:WikicatRussianMathematicians yago:WikicatRussianPeople yago:WikicatRussianPeopleOfUkrainian-JewishDescent yago:WikicatRussianPhilosophers yago:WikicatSovietMathematicians wikidata:Q901 yago:Alumnus109786338 yago:CausalAgent100007347 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:WikicatJewishPhilosophers yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:Wikicat20th-centuryMathematicians
rdfs:comment Moissei Eliévitx Xeinfinkel, rus: Моисей Эльевич Шейнфинкель, patronímics opcionals Ильич Ílitx i Исаевич Issàievitx, conegut habitualment amb la versió en alemany del seu nom, Moses Schönfinkel, (4 setembre 1889 Iekaterinoslav (en l'actualitat Dniprò, Ucraïna) - 1942 Moscou), fou un lògic i matemàtic rus d'origen jueu, conegut pel descobriment de la lògica combinatòria. (ca) Moses Ilyich Schönfinkel (Russian: Моисей Исаевич Шейнфинкель, romanized: Moisei Isai'evich Sheinfinkel; 29 September 1888 – 1942) was a logician and mathematician, known for the invention of combinatory logic. (en) Moses Ilyich Schönfinkel (em russo: Моисей Исаевич Шейнфинкель) (Ekaterinoslav, 4 de setembro de 1889 – Moscou, 1942) foi um matemático soviético, conhecido pela invenção da lógica combinatória. (pt) Моисей Эльевич Шейнфинкель (варианты отчества — Ильич и Исаевич, нем. Moses Schönfinkel; 4 сентября 1889, Екатеринослав, Украина — 1942, Москва) — русский и советский логик и математик, известный как изобретатель комбинаторной логики. (ru) Шейнфінкель Мойсей Ейлєвич (Ілліч, Ісаєвич) (нім. Moses Schönfinkel; нар. 4 вересня 1889, Катеринослав, Російська імперія — пом. 1942, Москва, СРСР) — український та радянський логік та математик єврейського походження, відомий як винахідник комбінаторної логіки. (uk) Moses Isajewitsch Schönfinkel (russisch Моисей Исаевич Шейнфинкель, wiss. Transliteration Moisej Isaevič Šejnfinkel'; * 17.jul. / 29. September 1888greg. in Jekaterinoslaw; † 1942 in Moskau) war ein ukrainischer/sowjetischer Logiker. Zusammen mit Paul Bernays beschrieb er 1927 das Entscheidungsproblem der mathematischen Logik. (de) Moses Schönfinkel (en russe : Моисей Эльевич Шейнфинкель, Moisseï Elievitch Cheïnfinkel) est un logicien et mathématicien juif soviétique né le 4 septembre 1889 à Ekaterinoslav (aujourd’hui Dnipro, en Ukraine) et mort en 1942 à Moscou. C'est à l'université de Novorossiysk à Odessa qu'il étudie les mathématiques avec (en) (1859-1929) qui lui enseigne la géométrie et les fondations des mathématiques. De 1914 à 1924, Schönfinkel est à l'université de Göttingen dans le groupe de David Hilbert. (fr)
rdfs:label Moses Schönfinkel (ca) Moses Schönfinkel (de) Moses Schönfinkel (fr) Moses Schönfinkel (en) Moses Schönfinkel (pt) Шейнфинкель, Моисей Эльевич (ru) Шейнфінкель Мойсей Ейлєвич (uk)
owl:sameAs freebase:Moses Schönfinkel http://d-nb.info/gnd/1069803960 http://viaf.org/viaf/315940059 wikidata:Moses Schönfinkel http://arz.dbpedia.org/resource/موسى_شونفينكل dbpedia-ca:Moses Schönfinkel dbpedia-de:Moses Schönfinkel dbpedia-fa:Moses Schönfinkel dbpedia-fr:Moses Schönfinkel dbpedia-pt:Moses Schönfinkel dbpedia-ru:Moses Schönfinkel dbpedia-sr:Moses Schönfinkel dbpedia-uk:Moses Schönfinkel https://global.dbpedia.org/id/4BLSs
prov:wasDerivedFrom wikipedia-en:Moses_Schönfinkel?oldid=1121867517&ns=0
foaf:depiction wiki-commons:Special:FilePath/Moses_Schönfinkel_1922_(cropped).jpg
foaf:isPrimaryTopicOf wikipedia-en:Moses_Schönfinkel
foaf:name Moses Ilyich Schönfinkel (en)
is dbo:influencedBy of dbr:Haskell_Curry
is dbo:wikiPageDisambiguates of dbr:Schönfinkel
is dbo:wikiPageRedirects of dbr:Schoenfinkel dbr:Schonfinkel dbr:Моисей_И._Шейнфинкель dbr:Моисей_Исаевич_Шейнфинкель dbr:Моисей_Шейнфинкель dbr:Moisei_I._Sheinfinkel dbr:Moisei_Isai'evich_Sheinfinkel dbr:Moisei_Sheinfinkel dbr:Moisej_I._Šejnfinkel' dbr:Moisej_Isaevič_Šejnfinkel' dbr:Moisej_Šejnfinkel' dbr:Moses_I._Schoenfinkel dbr:Moses_I._Schonfinkel dbr:Moses_I._Schönfinkel dbr:Moses_Ilyich_Schoenfinkel dbr:Moses_Ilyich_Schonfinkel dbr:Moses_Ilyich_Schönfinkel dbr:Moses_Isajewitsch_Schoenfinkel dbr:Moses_Isajewitsch_Schonfinkel dbr:Moses_Isajewitsch_Schönfinkel dbr:Moses_Schoenfinkel dbr:Moses_Schonfinkel
is dbo:wikiPageWikiLink of dbr:Entscheidungsproblem dbr:List_of_Ukrainian_Jews dbr:List_of_University_of_Göttingen_people dbr:List_of_examples_of_Stigler's_law dbr:History_of_the_function_concept dbr:Currying dbr:Index_of_philosophy_articles_(I–Q) dbr:List_of_logicians dbr:Combinatory_logic dbr:1889_in_philosophy dbr:Bernays–Schönfinkel_class dbr:Functional_programming dbr:Polish_notation dbr:To_Mock_a_Mockingbird dbr:Jewish_Ukrainian_mathematicians dbr:Logical_connective dbr:List_of_Jewish_mathematicians dbr:List_of_Jews_born_in_the_Russian_Empire_and_the_Soviet_Union dbr:List_of_Russian_mathematicians dbr:List_of_Russian_scientists dbr:Predicate_functor_logic dbr:Haskell_Curry dbr:Dnipro dbr:Categorial_grammar dbr:SKI_combinator_calculus dbr:Schönfinkel dbr:Odesa_University dbr:List_of_Russian_people dbr:Schoenfinkel dbr:Schonfinkel dbr:Моисей_И._Шейнфинкель dbr:Моисей_Исаевич_Шейнфинкель dbr:Моисей_Шейнфинкель dbr:Moisei_I._Sheinfinkel dbr:Moisei_Isai'evich_Sheinfinkel dbr:Moisei_Sheinfinkel dbr:Moisej_I._Šejnfinkel' dbr:Moisej_Isaevič_Šejnfinkel' dbr:Moisej_Šejnfinkel' dbr:Moses_I._Schoenfinkel dbr:Moses_I._Schonfinkel dbr:Moses_I._Schönfinkel dbr:Moses_Ilyich_Schoenfinkel dbr:Moses_Ilyich_Schonfinkel dbr:Moses_Ilyich_Schönfinkel dbr:Moses_Isajewitsch_Schoenfinkel dbr:Moses_Isajewitsch_Schonfinkel dbr:Moses_Isajewitsch_Schönfinkel dbr:Moses_Schoenfinkel dbr:Moses_Schonfinkel
is dbp:influences of dbr:Haskell_Curry
is foaf:primaryTopic of wikipedia-en:Moses_Schönfinkel