Newsgroup: it.arti.cinema
Titolo: matrix e godel

E se utilizzassimo il paradosso di godel per giustificare le aporie di
matrix??
<Godel ha dimostrato che, all'interno di una teoria formalizzata di
complessità almeno pari all'aritmetica elementare dei numeri interi,
esistono delle proposizioni indecidibili, delle quali cioè non si può
dimostrare la verità o la falsità. Con un linguaggio più preciso possiamo
dire che se la teoria è non contraddittoria, allora non può riconoscere la
verità o la falsità di tutte le proposizioni che possono essere costruite
all'interno della teoria stessa (prima parte del teorema di Godel). Si può
dire quindi che la verità matematica di una proposizione non può essere
ridotta alla verità logica, nel senso che non può essere dimostrata all'
interno di un certo sistema formale. Se tuttavia si va oltre la struttura
formale della teoria si può dimostrare che alcune di queste proposizioni
sono vere. Per superare questa situazione dobbiamo allargare la nostra
teoria assumendo che la proposizione indecidibile o la sua negazione siano
un ulteriore postulato della teoria. In questo modo la teoria originaria
avrà dato origine a due nuove teorie, fra loro incompatibili, che possono
essere sviluppate autonomamente e portare alla costruzione di altre
proposizioni. A un certo punto inevitabilmente ci imbatteremo nuovamente,
sia nella prima che nella seconda teoria, in una proposizione indecidibile e
con la stessa tecnica vista prima arriveremo alla nascita di quattro teorie
incompatibili e così via all'infinito. I risultati della matematica non sono
quindi più validi in assoluto, ma solamente all'interno di una certa teoria,
perché esiste sempre un altra teoria che afferma cose completamente diverse,
come nel caso della geometria euclidea e di quella non-euclidea>

 matrix??
lascia perdere

 matrix??
(cut)
O magari anche no...
Cap.Ripley
--
"Hey,  you  sass  that  hoopy  Ford  Prefect? There's a frood who
really knows where his towel is."
D. Adams - THGTTG

"endrix" ha scritto nel messaggio
non credo che i Wachowski abbiano mai sentito o letto nulla di simile, stai
sovrainterpretando.
^__^
R.

 [...]
ho capito dove vuoi arrivare...
-- 
pl...@invento.it
(traduci il provider in inglese per scrivermi)
"era una bella mucca, certo, ma come tante mancava di un autentico
interesse drammatico"

 non credo che i Wachowski abbiano mai sentito o letto nulla di simile...
In realtà probabilmente sì: il Teorema di Godel citato è uno dei più
importanti teoremi utilizzati matematica e soprattutto in informatica.
Anzi, consiglio la lettura del meraviglioso saggio/romanzo "Godel, Escher,
Bach".
il Silvano

 ha scritto nel messaggio
news:sF8Aa.246283$K35.5...@news2.tin.it...


Hello, il!
You wrote  on Sun, 25 May 2003 23:09:18 GMT:
 iS> In realtà probabilmente sì: il Teorema di Godel citato è uno dei più
 iS> importanti teoremi utilizzati matematica e soprattutto in informatica.
 iS> Anzi, consiglio la lettura del meraviglioso saggio/romanzo "Godel,
 iS> Escher, Bach".
Il mio libro preferito. Lo rileggo almeno una volta ogni due anni. Ha
segnato una generazione di studenti.
Stefano
(Senbee)

> Ha segnato una generazione di studenti.
Non solo studenti, anche semplici informatici... :-)
-- 
questo articolo e` stato inviato via web dal servizio gratuito 
http://www.newsland.it/news
 segnala gli abusi ad 
ab...@newsland.it

 matrix??
in effetto mi aspettavo che qualcosa del genere saltasse fuori, durante
il film.
l'indecidibilita' intrinseca di un qualunque sistema formale puo' essere
presa come giustificazione del fatto che (non e' uno spoiler, tiro a
indovinare) alla fine probabilmente vinceranno i buoni e la matrice
verra' distrutta.
-- 
Matteo L.
for mailbox messages sum 36 + 36

 importanti teoremi utilizzati matematica e soprattutto in informatica.
e uno dei teoremi su cui piů si specula....

 matrix??
ci avevo pensato :)
neo sarebbe la vibrazione che distrugge il sistema... ma al momento mi 
sembra si stia muovendo secondo le regole del sistema (matrix) 
in compenso, quando manifesta i suoi poteri in zion, si avverte un primo 
cedimento del sistema....
non ho mai finito il libro (Godel, escher, bach...parcheggiato dopo un 
quarto circa, ahime'...)
-- 
Patlabor

matrix??
e ti pareva che non saltava fuori  Godel!
 :(
ma lasciatelo stare in pace all'interno della matematica che li' sta
benissimo e non lo tirate in ballo in campi che non gli competono.
su 
www.vialattea.net
c'e' un bellissimo capitolo di Odifreddi sugli orrori derivati
dall'applicazione del principio di Godel in vari campi.
-- 
TANSTAAFL
www.toto63.net
www.iaciners.org

"Senbee Norimaki" <leggi.l...@per.rispondermi> ha scritto nel messaggio
news:zIcAa.248258$K35.6...@news2.tin.it...

Ah, ecco di chi è la colpa.
Moritz Benedikt
'Life is too short'

 matrix??
e te pareva ... quando, a furia di impastare, non funziona più un cazzo, si
tira fuori Godel e tutto torna     :)

ho capito dove vuoi arrivare...
L'Architetto ci e' o ci fa? Se ignora il teorema di Goedel e il
caos... tanto di moda negli ultimi anni... 
Che il suo discorso sia un bluff, e' sempre possibile... 
Bye
S.


Argh!
Mi avete fatto venire in mente questa scena (Neo-Anderson era un
informatico, vero?)
L'Architetto (sala 101): "BLABLABLA, voi umani intrinsecamente
imperfetti e imprevedibili e inferiori..."
Neo: "Veramente sono i sistemi che contengono almeno una
formalizzazione del sistema dei numeri naturali ad essere
imprevedibili, perche': "
e qui si apre un'animazione stile Monty Phyton con il fumetto a forma
di papiro che esce dalla bocca di Neo recando teste' le seguenti
parole (lette dallo speaker a velocita' pazzesca): 
<\caratteri corsivi>
"Goedel ha dimostrato che, all'interno di una teoria formalizzata di
complessità almeno pari all'aritmetica elementare dei numeri interi,
esistono delle proposizioni indecidibili, delle quali cioè non si può
dimostrare la verità o la falsità. Con un linguaggio più preciso
possiamo BLABLABLAIPERBLAblalbla come nel caso della geometria
euclidea e di quella non-euclidea- >
nello spazio di cinque secondi durante i quali il volto serafico
dell'architetto si annulla, finche' con la bava alla bocca, in peino
berserk, l'A. salta abbaiando al collo di Neo che schiva e continua a
parlare con papiri enciclopedici che l'Architetto strappa mentre ne
ricompaiono altri.
Architetto (Gene Wilder mode on): "La mia scenaaaa! La mia scena
madreee! CANAAAAAGLIAAAA!!!", 
<\silly mode deactivated>
Bye
S. 

 Bach".
non ci ho mai trovato tutta sta gran meraviglia. Un libro a tesi,
schematico, forzato nella sua struttura, che mantiene molto meno di quel che
promette.