moses schnfinkel

Moses Schnfinkel was a Russian logician. He invented combinatory logic independently of, and a little earlier than, Haskell Curry. Schnfinkel published his logic in a paper called ber die Bausteine der mathematischen Logik (On the building blocks of mathematical logic) in 1924. The article also introduced what is now called currying after Haskell Curry, the terminology Schnfinkeling having found few adherents. Unlike Haskell Curry, he appears not to have developed combinatory logic any further. Schnfinkel, Moses

<< Previous

Word Browser

Next >>

amphibalus
election results, u.s. representative from ohio, 14th district
election results, u.s. representative from ohio, 15th district
selsdon group
election results, u.s. representative from ohio, 17th district
lithuanian national drama theatre
election results, u.s. representative from ohio, 18th district
bonne of luxembourg
gail carter lott
jerusalem bible
university of hawaii west oahu

mcdaniel college
norman st john stevas, baron st john of fawsley
frau im mond
navy distinguished service medal
european theatre convention
election results, u.s. representative from ohio, 16th district
wgcl
bomarsund
individual ready reserve
almedia, louisiana
frellsen, louisiana

ludvk svoboda
crcy
stipulative definition
barry horne
meissner's corpuscle
mid atlantic english
bertrand du guesclin
karhunen love theorem
house of knights
hydrostatics
gus macdonald, baron macdonald of tradeston

robert lindsay
valassaaret
george wells beadle
pronoia (psychology)
imprimatur
pedro sarmiento de gamboa
burton lane
wacy
alexander wiley
backflow prevention device
roger freeman