Abrir menu principal

Alterações

27 bytes adicionados, 03h59min de 12 de setembro de 2014
Ajustes
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]].
 
== {{Ver também}} ==
* [[Classe de Bernays–Schönfinkel]]
 
{{DEFAULTSORT:Schonfinkel, Moses Ilyich}}
[[Categoria:Matemáticos da Ucrânia]]
[[Categoria:Lógicos da Ucrânia]]
[[Categoria:Lógicos da Rússia]]