Newsgroup: it.comp.ia
Titolo: [faq?] questo ng si dicoto tutte e solo le cose corrette sull'ia

[q]
Cosa e` il secondo teorema di Godel.
[a]
Il sTdG sostiene che
"Nessun sistema formale corretto puo` dimostrare la propria completezza, a
causa del primo teorema"
E con questo svanirono i sogni Frege e Russel [Principia Mathematica BR. per
Frege non so]
[q]
Che importanza hanno i TdG per l`IA
[a]
Una delle critiche dell`IA forte (le macchine possono pensare con il punto
esclamativo invece
 che interrogativo) era che la limitazione di Godel avrebbe impedito di
raggiungere il *livello ulteriore*
posseduto
dal cervello umano, essendo le macchine solo dei sistemi formali. L'IA forte
sostiene che qualsiasi
 sistema di calcolo (cervello compreso) sia un sistema formale, quindi la
critica viene giudicata insensata.
su questo credo che il buon sadun abbia qualcosa da ridire quindi si faccia
avanti :-)
--
Roberto Corda, detto anche Coso

 critica viene giudicata insensata.
[cut]
La critica e' sensata invece, al proposito si veda l'articolo "Minds,
Machines and Mathematics" di D. J. Chalmers. Se non lo trovate pazientate un
po' che lo sto traducendo in italiano.
Ciao,
     Stefano
--
 [spazio in affitto, per informazioni contattare 
iks...@infinito.it
]

 po' che lo sto traducendo in italiano.
Non sono daccordo, ma aspetto di leggerlo prima di dire qualcosa in
proposito
Ciao R.



la storia del 2° (credo) principio di euclide, quello per il quale per
un punto passa una e una sola retta parallela ad un 'altra, che è
indimostrabile e poi ha dato vita alle geometrie non euclidee come
quella riemanniana è un esempio di applicazione dei teoremi di godel?
(mi scuso se ho confuso nomi e principii, ma grosso modo era così...)

 (mi scuso se ho confuso nomi e principii, ma grosso modo era cosě...)
no mi spiace :-)
Diciamo che ha avuto un effetto *filosofico* simile e che fa parte della
ricerca
delle basi della matematica (e del sapere in generale) fatta nel 900, ma da
un punto di vista matematico non ha molto a che fare.. credo che potrebbero
dirtene di piu'
su it.scienza.matematica Prova a chiedere chi era Lobacheswky [ammesso si
scriva cosi']
oppure guarda
http://www.netsys.it/itis.alessandrini/infinito/noneucli.htm
Le geometrie non euclidee
Sono le geometrie che si fondano sulla negazione del quinto postulato
enunciato negli Elementi
 di Euclide.
I dettagli di questi due tipi di geometria non-euclidea sono piuttosto
complessi, ma in entrambi
 i casi i concetti fondamentali possono essere compresi per mezzo di
semplici modelli.
ciao R.

 proposito
Pazientate, e' quasi (quasi!) finito.


 (mi scuso se ho confuso nomi e principii, ma grosso modo era così...)
No, direi di no. Una similitudine molto forte la puoi comunque trovare nel
caso dell'assioma di scelta, molto importante nella teoria degli insiemi e
nella logica in generale, che si credeva essere "naturale" tanto quanto
l'ipotesi della retta parallela ai tempi di Euclide, ed invece e' possibile
scartarlo generando nuovi tipi di teorie degli insiemi (peraltro pochissimo
note).


 note).
infatti.. link in proposito? L'unica cosa che mi ricordo e' che Gardner
riusciva
a creare nuova materia grazie all'assioma di scelta.
Ciao R.

 a creare nuova materia grazie all'assioma di scelta.
Assolutamente nessuno, praticamente l'unica cosa che mi ricordo l'ho letta
in un testo di Analisi I dove si faceva un'ampia introduzione alla teoria
degli insiemi. Ma non credo che la cosa ti dovrebbe risultare difficile,
prova a consultare il Math Atlas (
www.math-atlas.org
) od il Weisstein's
Dictionary of Mathematics (
mathworld.wolfram.com
).
Ciao,
     Stefano

 Dictionary of Mathematics (
mathworld.wolfram.com
).
grazie.
Choice Axiom
given any set of mutually exclusive nonempty sets, there exists at least one
set that
contains exactly one element in common with each of the nonempty sets.
Assioma di scelta
Dato un qualsiasi insieme di insiemi non vuoti mutuamente esclusivi tra di
loro
ne esiste almeno uno che contiene esattamente un elemento in comune con
ognuno degli insiemi non vuoti.
[fine visto l'OT]

[fine visto l'OT]
Occhio: dice "there exists at least one set", che traduci con "esiste almeno un 
insieme che..". Questo insieme *non* e' tra quelli iniziali che, per ipotesi, 
sono mutualmente esclusivi.
-- 
God is Real, unless declared Integer.
ObjectZone - 
http://space.tin.it/computer/csadun

 sono mutualmente esclusivi.
ah! adesso ho capito.
Come dire ho tanti sacchi di palle colorate ogni sacco ha palline di un
colore diverso
posso riempire un ulteriore sacco in modo che abbia palline di tutti e soli
i colori
presenti negli altri sacchi (posso farlo in piu' modi di solito)
Ciao R. "che traduce senza leggere" Corda