Haskell brooks curry

Enviado por pelis. -5 puntos. Leido 266 veces

Comentarios (0)

Matematico estadounidense. Especializado en logica matematica y profesor en la Universidad de Pennsylvania, desarrollo la llamada logica combinatoria iniciada por M. Sch?nfinkel, sistematizando su teoria y simplificando su simbologia. Orientado hacia la metalogica y la filosofia de la matematica, preciso los conceptos de sistema formal y de su aplicabilidad . Destacan sus obras Lecciones de logica algebraica (1952), Esbozo de una filosofia formalista de la matematica y Teoria de la deduccion formal . (Millis, 1900-State College, 1982)
fuente : biografiasyvidas.com

Biografia enviada el Viernes, 28 de Marzo de 2008 y leido 266 veces.

0 positivos

0 negativos

Adicionar a Del.icio.us	Adicionar a Digg
Adicionar a Blinklist	Adicionar a Furl

Comentarios recibidos en Haskell brooks curry (Expandir)

Para dejar un comentario debe estar registrado

Registrate Aquí

Recomendar este enlace

Usuario
Contraseña

Portada - Biografias de Matematicos

Haskell brooks curry