Diferenças entre edições de "Moses Schönfinkel"

27 bytes adicionados ,  03h59min de 12 de setembro de 2014
Ajustes
m (Bot: A migrar 5 interwikis, agora providenciados por Wikidata em d:Q45113)
(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]]