Frederick Fitch
Biografie
[Fič], *9.9.1908 (Greenwich, Connecticut, USA) – †18.9.1987 (New Haven, Connecticut, USA), celým jménem Frederick Brenton Fitch, americký logik. Zaměřoval se na metalogiku a aplikace logiky v technice. Dokázal, že rozvětvená teorie typu (bez axiómu reducibility) je bezesporná.
Vytvořeno:
14. 3. 2000
Aktualizováno:
30. 4. 2020
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!