Versione delle 19:14, 17 feb 2014 modifica Rojelio (discussione \| contributi) Amministratori 81 129 modifiche m →‎Decidibilità di enunciati in una teoria ← Differenza precedente		Versione delle 01:00, 12 set 2014 modifica annulla Botcrux (discussione \| contributi) Bot 3 457 497 modifiche m →‎Decidibilità di una teoria: Bot, replaced: Linguaggio formale (matematica) → Linguaggio formale Differenza successiva →
Riga 18: === Decidibilità di una teoria === Nella [[logica matematica]] una ''teoria'' individuata da un insieme di [[formula ben formata\|formule]] di un [[Linguaggio formale ~~(matematica)~~\|linguaggio]] si dice '''decidibile''' se tale insieme di formule è un [[insieme ricorsivo]], cioè esiste un algoritmo che data una qualsiasi formula può stabilire in tempo finito se questa appartiene alla teoria oppure no. Un esempio di teoria decidibile è la [[logica proposizionale]] (in questo caso l'algoritmo di decisione è quello individuato dalle [[tavole di verità]]).

Decidibilità: differenze tra le versioni