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.
Vytvořeno:
14. 3. 2000
Aktualizováno:
15. 8. 2006
Autor: -red-
Odkazující hesla: David Hilbert.