Logica matematica/Incompletezza/Teoremi di incompletezza di Gödel: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 28:
# <math>\vdash_S \forall x_1,...,x_k \exists x_{k+1}\forall y
(\alpha[x_1,...,x_k,y] \leftrightarrow y=x_{k+1})</math>.
=== Ricorsività ===
Una funzione <math>f</math> è detta ricorsiva sse essa è esprimibile mediante la [[Logica/Computabilità/Ricorsività|teoria della ricorsività]]. Una relazione (o un insieme) <math>R</math> è ricorsiva sse la sua [[Logica/Insiemi#Funzione caratteristica|funzione caratteristica]] è ricorsiva.
L'insieme <math>\mathcal{F}</math> delle formule ben formate di un sistema formale <math>S</math>, essendo definito induttivamente, è ricorsivo. L'insieme <math>\text{DIM}</math> delle dimostrazioni di <math>S</math> può essere definito induttivamente.
Sia <math>Ax</math> l'insieme degli assiomi di <math>S</math>.
== Primo Teorema di incompletezza ==
== Secondo Teorema di incompletezza ==
{{avanzamento|
[[Categoria:Logica|Teoremi di incompletezza di Gödel]]
| |||