Ingresar:

Eliminado :: Blog :: Historia curiosa

October 12, 2007

Estos días estuve leyendo algo sobre las raices de la Programación Funcional, y me encontré con dos historias interesantes, en  primer lugar leí sobre la reunión en la que decidieron que nombre le pondrían a Haskell y era curioso que la esposa de Haskell Curry (que ya había fallecido en ese entonces) comento: “You know, Haskell actually never liked the name Haskell.” (ustedes saben, a Haskell no le gustaba el nombre Haskell) je je.

Pero lo mas curioso es al leer sobre el origen de los combinadores, Schönfinkel fue el que inventó la lógica combinatoria, ya después Haskell Curry la inventó por su propia cuenta, pero cuando se enteró del trabajo de Schönfinkel, lo buscó pero éste último ya estaba internado en un asilo para enfermos mentales (bueno en lo que leí dice un asilo para lunáticos). Lo cual me causa curiosidad, pero no pude encontrar nada sobre la vida de Schönfinkel, será que alguien tiene alguna referencia de un articulo que hable sobre él? 

Enviado por Eliminado



Comentarios

  1. Quizás:

    Veblen assured Curry that this was a positive, rather than negative, discovery and, after Alexander had informed him that Schönfinkel was in a mental hospital and therefore not continuing his line of research,

    http://www-history.mcs.st-andrews.ac.uk/Biographies/Curry.html

    Ya decían que entre la brillantes y locura sólo separa una línea delgada.

    user iconRho on Friday, 12 October 2007, 12:46 BOT # |

  2. ¿Ya viste esto?  Una parte:

    Schonfinkel (1924). On the building blocks of mathematical logic. Schonfinkel delivered an address on these ideas in 1920, but they were not written up until 1924 by Heinrich Behmann. It was known that Scheffer's stroke ("nand") is complete (for definability) for the propositional calculus. In an attempt to reduce predicate calculus in a similar manner, Schonfinkel introduced the U operator for recognizing disjoint classes. He carries the reduction much further by introducing the S ("fusion") and K ("constant") combinators and ultimately reducing formulas to applicative combinations of S, K and U (without variables).  ...  Schonfinkel treats classes and relations as special cases of functions. By allowing functions to stand as arguments, higher order classes and relations are also obtained. Schonfinkel introduces the idea of "Currying" functions, an idea anticipated by Frege [1893].

    user iconPablo Azero on Friday, 12 October 2007, 13:45 BOT # |

Debes iniciar sesión para enviar un comentario.