Re: [OT] Formula misteriosa in episodio Simpsons

From: Elio Fabri <mcq8827_at_mcqlink.it>
Date: 1999/11/19

Enrico SMARGIASSI ha scritto:
> In realta' e' impossibile dimostrare che un teorema e' indimostrabile.
> Infatti, se un teorema e' falso e' sempre dimostrabile come tale: basta
> fornire un controesempio. Percio' se un teorema e' indimostrabile deve
> essere vero; ergo dimostrarne l'indimostrabilita' equivarrebbe a
> dimostrarne la verita', il che sarebbe una contraddizione.
Non mi convince: altrimenti "mestier non era" che Goedel facesse tutta
quella fatica...
Mi pare che l'equivoco sia che sovrapponi due piani: quello della teoria
e quello della metateoria.
Dimostrare un teorema ha senso dentro la teoria; dimostrane la
dimostrabilita' o meno, riguarda la metateoria.

Ma ovviamente siamo OT...
-------------------
Elio Fabri
Dip. di Fisica
Universita' di Pisa
-------------------
Per rispondere, togliere le q dall'indirizzo
To reply, delete all q's from e-mail address
Received on Fri Nov 19 1999 - 00:00:00 CET