Pages: [1]   Go Down
Print
Author Topic: Esercizietto sistemi formali  (Read 284 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« on: 22-10-2018, 11:03:30 »

Anche se e' semplice, mostrare nel modo piu' preciso possibile che
in un sistema formale, preso un qualsiasi insieme Gamma di formule ben formate,
l'insieme Con(Gamma) e' una teoria.
« Last Edit: 22-10-2018, 13:31:01 by Franco Barbanera » Logged
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 3.027



WWW
« Reply #1 on: 23-10-2018, 23:19:36 »

Cerchiamo di partire con un po' di metodo.

Quand'e' che un insieme M di fbf e' una teoria?
quando Con(M) = M

Quindi, come dimostriamo che Con(Gamma) e' una teoria?
Basta far vedere che Con(Con(Gamma)) = Con(Gamma)

Dobbiamo quindi far vedere che gli insiemi Con(Con(Gamma)) e  Con(Gamma) sono identici.

Qual e' un possibile modo per far vedere che due insiemi sono identici?
Basta prendere un elemento generico del primo insieme e far vedere che appartiene anche al secondo insieme.
E poi prendere un elemento generico del secondo insieme e far veder che appartiene anche al primo insieme.

CONTINUARE
Logged
Pages: [1]   Go Up
Print
Jump to: