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.