indecidibile: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Italiano: Corretto errore di battitura Etichette: Modifica da mobile Modifica da web per mobile |
→Italiano: Aggiunta definizione Etichette: Modifica da mobile Modifica da web per mobile |
||
Riga 3:
{{Pn}} ''m'' e ''f sing'' {{Linkp|indecidibili}}
#che non si può [[determinare]]
#{{Term|matematica|it}} in logica matematica, data una formula ben formata e una teoria del primo ordine, si dice [[indecidibile]] se non è possibile dimostrare ne la formula stessa ne la sua negazione
{{-sill-}}
| |||