Henry Maurice Sheffer

[Šefr], *1.9.1883 – †17.3.1964, americký logik, prokázal že pomocí neslučitelnosti lze vyjádřit všechny binární výrokotvorné funktory.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 22. 8. 2006
Autor: -red-

Odkazující hesla: neslučitelnost.

Reklama: