formalismus
Logika, některý kalkul, umožňující operace s objekty nahradit operacemi se znaky, směr v matematice a logice, usilující vyřešit problémy těchto věd pomocí formální axiomatické metody, založený počátkem 20. století D. Hilbertem.
Datum vytvoření: 14. 3. 2000
Datum aktualizace: 15. 8. 2006
Autor: -red-
Odkazující hesla: David Hilbert.
Reklama: