Moses Schönfinkel

Moses Schönfinkel

Conhecido(a) por Lógica combinatória
Nascimento 4 de setembro de 1889
Ekaterinoslav,  Ucrânia
Morte 1942 (53 anos)
Moscou,  União Soviética
Instituições Universidade de Göttingen
Campo(s) Matemática

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.

Biografia

Schönfinkel estudou matemática na Universidade de Novorossiysk em Odessa, sob orientação de Samuil Osipovich Shatunovskii (1859-1929), que trabalhou em geometria e nas fundações da matemática. Entre 1914 e 1924, Schönfinkel foi membro do grupo de David Hilbert na Universidade de Göttingen. Em 7 de dezembro de 1920, ele ministrou uma primeira apresentação contendo o conceito da lógica combinatória. Um membro de grupo de Hilbert, Heinrich Behmann revisou posteriormente o texto e o publicou em 1924. Em 1929, ele teve outro de seus artigos publicados, em casos especiais do problema de decisão, desta vez preparado por Paul Bernays.

Após sua saída de Göttingen, retornou a Moscou. Já em 1927, citou-se que ele havia sido diagnosticado como doente mentalmente e estava em um sanatório. O fim de sua vida foi miserável, tendo morrido em algum momento de 1942.

Trabalho

Schönfinkel desenvolveu um sistema formal que evitava o uso de variáveis livres. Seus sistema era essencialmente equivalente a uma lógica combinatória baseada nos combinadores , , , e . Schönfinkel ainda demonstrou que o sistema poderia ser reduzido a somente e , e que uma versão desse sistema tinha o mesmo poder da lógica de primeira ordem.

Seu artigo ainda mostrou que funções com dois ou mais parâmetros podem ser substituídas por funções que tomam apenas um. Esse mecanismo de substituição simplificou o trabalho tanto na lógica combinatória quanto no cálculo lambda, sendo posteriormente chamado currying, em homenagem a Haskell Curry. Ainda que Haskell tenha atribuído o conceito a Schönfinkel, ele já havia sido usado por Frege.

Ver também

Read other articles:

How Much Do You Love Me?

2005 film by Bertrand Blier How Much Do You Love Me?Theatrical release posterFrenchCombien tu m'aimes ? Directed byBertrand BlierWritten byBertrand BlierProduced by Olivier Delbosc Marc Missonnier Starring Monica Bellucci Bernard Campan Gérard Depardieu Jean-Pierre Darroussin CinematographyFrançois CatonnéEdited byMarion MonestierProductioncompanies Fidélité Productions BIM Distribuzione France 2 Cinéma Wild Bunch Pan-Européenne Plateau A Les Films Action Distributed by Pan-Europ�...

 

Kulah khud

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Oktober 2022. Topi baja top di India, yang disebut dengan nama kulah khud di Persia. Topi ini datang dari Dataran Tinggi Dekkan. Kulah khud (dikenal di India dengan nama top) adalah sebuah tipe topi baja yang digunakan oleh prajurit-prajurit di daerah Indo-Persia se...

 

Zebu

Zebu Bos primigenius indicus Seekor zebu di BrasilTaksonomiKerajaanAnimaliaFilumChordataKelasMammaliaOrdoArtiodactylaFamiliBovidaeGenusBosSpesiesBos taurusSubspesiesBos primigenius indicus Linnaeus, 1758 Tata namaSinonim taksonBos indicus (en)Bos indicus gudali (en)Bos taurus indicus (en) lbs Zebu atau sapi india (nama ilmiah: Bos taurus indicus) adalah subspesies sapi domestik yang berasal dari subbenua India.[1] Zebu dicirikan oleh punuk lemak di bahu mereka, gelambir yang besar, da...

Let's Kill Hitler

2011 Doctor Who episode219 – Let's Kill HitlerDoctor Who episodeCastDoctor Matt Smith – Eleventh Doctor Companions Karen Gillan – Amy Pond Arthur Darvill – Rory Williams Alex Kingston – River Song Others Nina Toussaint-White – Mels Caitlin Blackwood – Amelia Pond Maya Glace-Green – Young Mels Ezekiel Wigglesworth – Young Rory Philip Rham – Zimmerman Richard Dillane – Carter Amy Cudden – Anita Davood Ghadami – Jim Ella Kenion – Harriet Albert Welling – Ad...

 

Comino

Pemandangan Pulau Kemmuna (Comino), Malta Comino (bahasa Malta: Kemmuna), sebelumnya disebut Ifaisteía (Ηφαιστεία dalam bahasa Yunani Kuno)[1][2] adalah sebuah pulau kecil di kepulauan Malta antara pulau Malta dan Gozo di Laut Tengah, berukuran 35 kilometer persegi (14 sq mi) di area. Dinamai berdasarkan biji jintan yang pernah tumbuh subur di kepulauan Malta, pulau ini adalah daerah yang paling padat penduduknya di Republik Malta. Galeria Pemandangan M...

 

Caserta

For other uses, see Caserta (disambiguation). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Caserta – news · newspapers · books · scholar · JSTOR (May 2022) (Learn how and when to remove this template message) You can help expand this article with text translated from the corresponding article in Italian. ...

Berthold V, Duke of Zähringen

Duke of Zähringen Berthold VEquestrian seal of Berthold V, dated 1187.[1]Duke of ZähringenReign1186 – 18 February 1218PredecessorBerthold IVSuccessorLands divided between Kyburg and Urach; Bern became a free imperial city.Born1160Died18 February 1218 (aged 57–58)Freiburg im BreisgauBurialFreiburg Minster, Freiburg im BreisgauIssueDied without issueHouseHouse of ZähringenFatherBerthold IVMotherHeilwig of Frohburg Berthold V, Duke of Zähringen (1160 – 18 February 1218 in Freib...

 

Guilford Technical Community College

College in the Piedmont Triad, North Carolina, U.S. Guilford Technical Community CollegeFormer nameGuilford Industrial Education CenterTypePublic community collegeEstablishedApril 3, 1958; 66 years ago (1958-04-03)Parent institutionNorth Carolina Community College SystemPresidentAnthony J. ClarkeStudents35,000LocationPiedmont Triad, North Carolina, United StatesCampusMultiple sitesWebsitewww.gtcc.edu Guilford Technical Community College (Guilford Tech, G-Tech, or GTCC) is a ...

 

Nikon D600

Digital single-lens reflex camera Nikon D600OverviewTypeDigital single-lens reflexReleased13 September 2012Intro priceUS$ 2099 (body only); US$ 2699 (with 24–85 mm kit lens)LensLens mountNikon F-mountSensor/mediumSensor typeCMOSSensor size35.9 x 24 mm Full Frame FX format, 5.95 μm pixel sizeMaximum resolution6016 × 4016 (24.3 megapixels)Film speed100–6400, extended mode to 50–12800, HI2 mode 25600Recording mediumDual SD, SDHC, SDXC. Also UHS-I and Eye-Fi (WLAN)FocusingFocus ...

乌克兰总理

 烏克蘭總理Прем'єр-міністр України烏克蘭國徽現任杰尼斯·什米加尔自2020年3月4日任命者烏克蘭總統任期總統任命首任維托爾德·福金设立1991年11月后继职位無网站www.kmu.gov.ua/control/en/（英文） 乌克兰 乌克兰政府与政治系列条目 宪法 政府 总统 弗拉基米尔·泽连斯基 總統辦公室 国家安全与国防事务委员会 总统代表（英语：Representatives of the President of Ukraine） 总...

 

Sekolah Tinggi Ilmu Kesehatan RS Dustira

Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini. Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan. Mengganti markah HTML dengan markah wiki bila dimungkinkan. Tambahkan pranala wiki. Bila dirasa perlu, buatlah pautan ke artikel wiki lainnya dengan cara menambahkan [[ dan ]] pada kata yang bersangkutan (lihat WP:LINK untuk keterangan lebih lanjut...

 

西遊記大結局之仙履奇緣

本條目存在以下問題，請協助改善本條目或在討論頁針對議題發表看法。 此條目需要編修，以確保文法、用詞、语气、格式、標點等使用恰当。 (2013年8月6日)請按照校對指引，幫助编辑這個條目。（幫助、討論） 此條目剧情、虛構用語或人物介紹过长过细，需清理无关故事主轴的细节、用語和角色介紹。 (2020年10月6日)劇情、用語和人物介紹都只是用於了解故事主軸，輔助�...

NGC 3846

NGC 3846   الكوكبة الدب الأكبر[1]  رمز الفهرس NGC 3846 (الفهرس العام الجديد)2MASX J11442911+5539073 (Two Micron All-Sky Survey, Extended source catalogue)IRAS F11417+5555 (IRAS)MCG+09-19-171 (فهرس المجرات الموروفولوجي)IRAS 11417+5556 (IRAS)PGC 36539 (فهرس المجرات الرئيسية)UGC 6710 (فهرس أوبسالا العام)PSCz Q11417+5556 (كتالوج PSCz)SDSS J114429.06+553908.0 (مسح سلو...

 

كارلا بلاي

كارلا بلاي (بالإنجليزية: Carla Bley)‏  معلومات شخصية اسم الولادة (بالإنجليزية: Lovella May Borg)‏  الميلاد 11 مايو 1936 [1]  أوكلاند  الوفاة 17 أكتوبر 2023 (87 سنة) [2][3]  سبب الوفاة سرطان الدماغ  [لغات أخرى]‏[4]  مواطنة الولايات المتحدة  عضوة في الأكاديمية...

 

British Indians

British people of Indian descent This article is about British people of Indian origin. For Indian people of British origin, see Anglo-Indian. For other uses, see British Indian (disambiguation). Ethnic group Indians in the United Kingdom(British Indians)Distribution by local authority in the 2011 census.Total population United Kingdom: 1,927,150 – 2.9% (2021/22 Census) England: 1,843,248 – 3.3% (2021)[1] Scotland: 52,951 – 1.0% (2022)[2] Wales: 21,070 –...

Tjorven (vehicle)

Swedish delivery van Tjorven, here in a version adapted for the handicapped Tjorven in service as mail truck. The Kalmar KVD440/441, also variously known as Tjorven or DAF Kalmar, is a delivery van based on the DAF 44, made in Sweden. The vehicle inherited the air-cooled, 844-cc boxer engine and Variomatic transmission from the DAF 44.[1][2][3] The 440 was the postal version, while the 441 was intended for private buyers and had more comfortable front seats as its most...

 

17e étape du Tour de France 2020

Pour un article plus général, voir Tour de France 2020. 17e étape du Tour de France 2020 GénéralitésCourse17e étape، Tour de France 2020Type Étape de montagneDate16 septembre 2020Distance170 kmPays FranceLieu de départGrenobleLieu d'arrivéecol de la LozePartants152Arrivants150Vitesse moyenne35,273 km/hDénivelé4 430 mRésultats de l’étape1er Miguel Ángel López4 h 49 min 10 s(Astana)2e Primož Roglič+ 15 s3e Tadej Pogačar+ 30 sClassement général à l’issue de l’�...

 

كأس الاتحاد الإنجليزي 1903–04

كأس الاتحاد الإنجليزي 1903–04 تفاصيل الموسم كأس الاتحاد الإنجليزي  النسخة 33  البلد المملكة المتحدة  التاريخ بداية:12 سبتمبر 1903  نهاية:23 أبريل 1904  المنظم الاتحاد الإنجليزي لكرة القدم  البطل مانشستر سيتي  مباريات ملعوبة 56   عدد المشاركين 32   كأس الاتحاد ال...

Pennsylvania Avenue Bridge

This article is about the bridge over Rock Creek. For historical and current bridges over the Anacostia River, see Pennsylvania Avenue Bridge (1890) and John Philip Sousa Bridge. Bridge in Washington, D.C.Pennsylvania Avenue BridgeCoordinates38°54′17″N 77°03′22″W / 38.90472°N 77.05611°W / 38.90472; -77.05611CarriesPennsylvania AvenueCrossesRock CreekLocaleWashington, D.C.Other name(s)Meigs BridgeOwnerDistrict of Columbia Department of TransportationCharacte...

 

Conlon Nancarrow

Conlon Nancarrow Conlon Nancarrow (Texarkana, 27 ottobre 1912 – Città del Messico, 10 agosto 1997) è stato un compositore statunitense. Ha vissuto e lavorato in Messico per gran parte della sua vita, e nel 1955 ne ha preso la cittadinanza. Nancarrow è famoso per i pezzi scritti per Player Piano. È stato uno dei primi compositori ad usare strumenti musicali come automi meccanici, scrivendo lavori ben oltre le capacità umane. Ha vissuto gran parte della sua vita in un relativo isolamento...