• Tiempo Infinito (y además) Factorial
  • Contacto
  • del.icio.us

8

Nov

Origen del símbolo λ en cálculo lambda

Publicado por Jaime  en Rarezas

(Precisamente no hay x con circunflejo en unicode. Hay wcirc y ycirc pero no xcirc)
Scheme tomó lambda de LISP, quien lo tomó del cálculo lambda de Alonzo Church, quien a su vez lo tomó del Principia Mathematica de Whitehead & Russell, donde “la clase de todas las x tales que f(x)” se escribía como xf(x) [...]

Continue reading...

Sin comentarios
Next Page »

Meta

  • Entrada al azar
  • RSS

Buscar

Blogroll

  • Ricardo Galli
  • Heichal HaNegina
  • Shtetl-Optimized
  • Letritas
  • A Simple Jew

Varios

  • I CAN HAS CHEESEBURGER?
  • Haskell Weekly News
  • ZombieTime
  • Israellycool
  • TV Tropes
  • XKCD
  • FrontPage Magazine
  • Futility Closet
  • Sphere Online Judge
  • American Thinker
  • Overcoming Bias
  • Rosetta Code
  • λcats
  • Paco Calderón

Matemáticas

  • Alaska ataca a Kamtchatka
  • The n-Category Café
  • A Neighborhood of Infinity
  • Gaussianos
  • Dr. Math
  • Cut the knot
  • The dreams that stuff is made of
  • mathNEWS

Clásicos

  • Dry Bones
  • OSNews
  • Microsiervos
  • Planet Haskell
  • Proyecto Guía Galáctica
  • APOD
  • Lambda the Ultimate
  • Free Republic
  • EPOD
  • American Scientist
  • Gamasutra
  • Little Green Footballs
© 2006, 2007, 2008 Jaime Soffer
Esqueleto del tema por Wired Studios, modificado.
Valid XHTML | Valid CSS 3.0
Powered by Wordpress