Newsgroup: it.cultura.filosofia
Titolo: Go(e)del's Theorem I

Chi meglio di Godel poteva promulgare una prova ontologica
dell'esistenza di Dio? Notate che il suo nome e' composto da due volte
il nome di Dio. Infatti: God (inglese) + El (ebraico).
Se al nome associamo l'inseparabile teorema, la situazione diventa
sospetta e preoccupante. Ora il nome di Dio appare tre volte. Osservate:
God (inglese) + El (ebraico) 's + Theo (greco) + REM (che
apparentemente non c'entra niente).
Siamo sicuri che REM sia messo li' a caso? Il suono e' troppo simile a
quello di ROM e RAM, termini fondamentali dell'Intelligenza
Artificiale. E tutti sanno che Dio e' pura intelligenza. Inoltre, il
gruppo rock americano dei REM, esordi' trionfalmente 9 anni fa con un
video di argomento sacro.
Tutti questi problemi meritano di essere analizzati a fondo. Non
perdiamo tempo a discutere di Dennet e di Whitehead. Occupiamoci di
teologia modale.
La modalita' non l'ho introdotta io. L'ho trovata nel sito proposto da
Roberto Corda. Sembra che l'assioma fondamentale dell'assiomaticita'
sia che gli assiomi siano indipendenti. Io desidererei
chiamarli "linearmente indipendenti". Perche'? Cosi' per giocare? No,
e' che l'indipendenza lineare e' il presupposto essenziale perche' n
vettori generino uno spazio n-dimensionale. Indipendenza lineare e'
quasi sinonimo di perpendicolarita'. Quindi gli assiomi, modali o non
modali, farebbero bene a essere tra loro perpendicolari. Certo,
potrebbero anche non esserlo. Ma se lo saranno la generazione dello
spazio sara' piu' snella, veloce e ordinata. In ogni caso si
genereranno spazi godenti di consistenza interna. Ma questi spazi,
internamente consistenti, sono reperibili da qualche parte la' fuori
nel mondo? Dalla matematica sappiamo dei fantasiosi spazi che si
possono creare sulla carta, o nel data-base del computer, ma sappiamo
anche che la consistenza interna non equivale al soffio vitale.
Prende corpo il sospetto che negli ultimi anni della sua vita Godel
frequentasse troppo le osterie di Vienna e dintorni.
Sent via Deja.com 
http://www.deja.com/
Before you buy.

In 8pou1r$ogg$
1...@nnrp1.deja.com
, 
bar...@my-deja.com
, 
bar...@my-deja.com
, il


Se gli scienziati fossero tutti simili a te, pieno di risposte e incapace di
farsi una domanda, traboccante giudizi e incapace di esprimere un dubbio,
saremmo ancora all'età della pietra.
K.

 Before you buy.
peterh

 tra loro perpendicolari.
ne' tantomeno ha un prodotto scalare.
Beve dde meno.
bye
    Luca
--
Posted from 
relay.sns.it
 [192.167.206.90] 
via Mailgate.ORG Server - 
http://www.Mailgate.ORG

 ne' tantomeno ha un prodotto scalare.
mhhh... mhhh..
[come mi manca it.fan.dewney :-( ]
dipende teoremi *de che* credo, ma del resto avrebbe, il prodotto in una
o piu' interpretazione non nel sistema formale in se.. o no?..
cmq in generale no ha il prodotto di sicuro, c'hai raggione.
Chissa se e' possibile costruire un sistema formale generico che abbia
definito un prodotto scalare, magari sulla lunghezza della stringa...
ma credo che sia completamete OT qua' sopra.. vabbe'
Ciao R.

 ne' tantomeno ha un prodotto scalare.
mhhh... mhhh..
[come mi manca it.fan.dewney :-( ]
dipende teoremi di quale  sistema formale credo, ma del resto avrebbe
 il prodotto in una o piu' interpretazioni non nel sistema formale in se.. o
no?..
cmq in generale di sicuro non ha il prodotto , hai ragione.
Chissa se e' possibile costruire un sistema formale generico con
l'espressivita'
dell'aritmetica che abbia definito un prodotto scalare, magari sulla


ma č uno scherzo o sei completamente rincoglionito? ma che popň di cazzate 
hai sparato? ma nessuno che si renda conto che questo č un pazzo scatenato?
Rem, Ram, Rom? ma questo č fuso totale!