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-