formalizace



Matematika
Logika a matematika, 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é Gödel Kurt.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 5. 9. 2006
Autor: -red-

Reklama: