Haskell Brooks Curry
Biografie / Matematika
[Kary], *12.9.1900 – †1.9.1982, americký logik a matematik, profesor univerzity v Pensylvánii, spolutvůrce kombinatorické logiky, stoupenec formalistické filozofie matematiky. Zabýval se též rozpracováním teorií deduktivního závěru i otázkami algebraické interpretace logiky. Hlavní dílo: Combinatory Logic (Kombinatorická logika).
Vytvořeno:
14. 3. 2000
Aktualizováno:
17. 7. 2008
Autor: -red-
Odkazující hesla: kombinatorická logika, modální logika.
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!
Reklama: