Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Haskell Brooks Curry
#1
Haskell Brooks Curry

(Millis, 1900-State College, 1982) Matemático estadounidense. Especializado en lógica matemática y profesor en la Universidad de Pennsylvania, desarrolló la llamada lógica combinatoria iniciada por M. Schönfinkel, sistematizando su teoría y simplificando su simbología. Orientado hacia la metalógica y la filosofía de la matemática, precisó los conceptos de sistema formal y de su aplicabilidad. Destacan sus obras Lecciones de lógica algebraica (1952), Esbozo de una filosofía formalista de la matemática y Teoría de la deducción formal.
Reply


Possibly Related Threads...
Thread Views
  Richard Brooks 12
  Van Wyck Brooks 11
  Arnold Lionel Haskell 9

Forum Jump:

Close