Robert Grassman

Biografie

*8.3.1815 – †14.8.1901, německý logik, kritik tradiční formální logiky pro nedokazatelnost systému a nejasnost výrazů. Jeden z průkopníků matematické logiky, zkonstruoval logický kalkul, který obsahoval kalkul tříd, a formalizoval deduktivní úsudky tradiční logiky.

Vytvořeno: 14. 3. 2000
Aktualizováno: 10. 1. 2020
Autor: -red-