Moses Schönfinkel: diferenças entre revisões

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 [[Gottlob Frege|Frege]].

 

 

{{DEFAULTSORT:Schonfinkel, Moses Ilyich}}

[[Categoria:Matemáticos da Ucrânia]]

[[Categoria:Lógicos da Ucrânia]]