Haskell Brooks Curry

Biografie

[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).

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 17. 7. 2008
Autor: -red-

Odkazující hesla: kombinatorická logika, modální logika.

Reklama: