formalizace
Matematika / Filozofie
Výstavba formalizovaných soustav (kalkulů), v jisté oblasti bezesporných a úplných, pomocí formálně axiomatických konstrukcí. Formalizace teorie je pak uvedení teorie do podoby, kdy každá dosavadní věta této teorie je buď axiómem, nebo ji lze z axiómů odvodit přípustnými operacemi. Obsahově dostatečně bohatá teorie však nemůže být formalizována úplně. Viz také Kurt Gödel.
Vytvořeno:
14. 3. 2000
Aktualizováno:
22. 8. 2024
Autor: -red-