Mojsej Šejnfinkel

Mojsej Ilič Šejnfinkel
Mojsej Ilič Šejnfinkel 1922.
Lični podaci
Datum rođenja	(1889-09-04)4. septembar 1889.
Mesto rođenja	Ekaterinoslav (danas Dnjipro, Ukrajina),
Datum smrti	1942. (52-53 god)
Mesto smrti	Moskva Sovjetski Savez,

Mojsej Ilič Šejnfinkel (rus. Моисей Исаевич Шейнфинкель, 4. septembar 1889-1942) bio je ruski logičar i matematičar, poznat je po kombinatornoj logici.

Život

Šejnfinkel je pohađao Novorosijski univerzitet u Odesi, proučavao je matematiku sa Samuil Osipovič Šatunovskim (1859–1929), koji je radio na geometriji i osnovama matematike. Od 1914. godine do 1924. godine Šejnfinkel, je bio član grupe Davida Hilberta na Univerzitetu u Getingenu. Dana 7. decembra 1920. godine on je održao govor u grupi gde je predstavio koncept kombinatorne logike. Hajnrih Behman, član Hilbert grupe, kasnije je revidirao tekst i objavio ga 1924. Godine 1929, Šejnfinkel je imao još jedan list koji je objavio, o posebnim slučajevima problema odlučivanja koji je pripremio Pol Bernajs. Nakon što je napustio Getingen , Šejnfinkel se vratio u Moskvu. Od 1927. je prijavljeno da je mentalno bolestan i da je u sanatorijumu. Ostatak svog života je proveo u siromaštvu, a preminuo je u Moskvi 1942. Njegove radove su spalile njegove komšije radi grejanja..

Rad

Šejnfinkel je razvijo formalni sistem koji izbegava upotrebu povezanih varijabli. Njegov sistem je u suštini ekvivalent kombinatornoj logici zasnovanoj na kombinaciji B, C, I, K, S.

Šejnfinkel je bio u stanju da pokaže da se sistem može svesti samo na K i S i predstavio je dokaz da verzija ovog sistema ima istu moć kao predikatska logika. Njegov rad je takođe pokazao da se funkcije sa dva ili više argumenta mogu zameniti sa funkcijama jednog argumenta. Ovaj mehanizam zamene olakšava rad u kombinatornoj logici i lambda računa i taj mehanizam kasnije se naziva curring, po Haskelu Kariju. Dok Kari pripisuje ovaj koncept Sonfinkelu, on je već bio u upotrebi od strane Fregela.

Publikacije

• Moses Schönfinkel (1924). „Über die Bausteine der mathematischen Logik”. Mathematische Annalen (na jeziku: German). 92: 305—316. CS1 održavanje: Neprepoznat jezik (veza)
• Paul Bernays; Moses Schönfinkel (1929). „Zum Entscheidungsproblem der mathematischen Logik” (PDF). Mathematische Annalen (na jeziku: German). 99: 342—372. doi:10.1007/bf01459101. CS1 održavanje: Neprepoznat jezik (veza)

Vidi još

• Bernajs–Šejnfinkelova klasa