Teoria della dimostrazione
Cos'è?
guglando non ho trovato molto, sembra che sia una branca della logica con collegata alla filosofia. ma precisamente qual è il suo campo di indagine e che tipo di risultati fornisce?
guglando non ho trovato molto, sembra che sia una branca della logica con collegata alla filosofia. ma precisamente qual è il suo campo di indagine e che tipo di risultati fornisce?
Risposte
"fields":
[quote="nato_pigro"]si lo stavo appunto sfogliando sembra fatto bene.la curiosità mi è venuta leggendo "La prova di Goedel" di Nagel e Newman, con alla fine un saggio di Jean-Yves Girard: la nota biografica a fondo pagina dice che è appunto uno specialista di teoria della dimostrazione.
Jean-Yves Girard e', a parer mio, il piu' grande logico vivente che si occupa di teoria della dimostrazione. La sua dimostrazione della coerenza della Aritmetica del secondo ordine e' uno dei grandi capolavori della logica ed occupa un posto di rilievo nella mia personale classifica: "All time best mathematics" ; e' di una bellezza estetica, eleganza e profondita' eccezionali ed e' il culmine di tutta un'area di ricerca
[/quote]mamma mia... mi fai venire i brividi con questa presentazione XD
"nato_pigro":
si lo stavo appunto sfogliando sembra fatto bene.la curiosità mi è venuta leggendo "La prova di Goedel" di Nagel e Newman, con alla fine un saggio di Jean-Yves Girard: la nota biografica a fondo pagina dice che è appunto uno specialista di teoria della dimostrazione.
Jean-Yves Girard e', a parer mio, il piu' grande logico vivente che si occupa di teoria della dimostrazione. La sua dimostrazione della coerenza della Aritmetica del secondo ordine e' uno dei grandi capolavori della logica ed occupa un posto di rilievo nella mia personale classifica: "All time best mathematics" ; e' di una bellezza estetica, eleganza e profondita' eccezionali ed e' il culmine di tutta un'area di ricerca
si lo stavo appunto sfogliando sembra fatto bene.la curiosità mi è venuta leggendo "La prova di Goedel" di Nagel e Newman, con alla fine un saggio di Jean-Yves Girard: la nota biografica a fondo pagina dice che è appunto uno specialista di teoria della dimostrazione.
Il primo link di vict85 e' ottimo. Un'altra panoramica, molto piu' breve ma di ottima qualita', e' la seguente:
http://plato.stanford.edu/entries/proof ... velopment/
http://plato.stanford.edu/entries/proof ... velopment/
"nato_pigro":
comunque non i sembra proprio il caso di scomodarlo per chiedergli "cos'è...?"
I prof (professionisti esclusi) non aspettano altro che farsi scomodare, con rare eccezioni.
"Fioravante Patrone":
[quote="nato_pigro"][quote="Fioravante Patrone"]Bussa alla porta di Borga
non capisco...
[/quote]Non fai mate a GE?
Studio 824. Lato monte del piano ottavo, dove c'è anche il mio semi-ex studio.
Se serve, ma non credo proprio, digli che ti manda Patrone
Mi riferisco al libro:
Fondamenti di logica. Introduzione alla teoria della dimostrazione
di Borga Marco, Fanco Angeli ed.[/quote]
ah sisi, non collegavo che Borga fosse un professore... comunque non i sembra proprio il caso di scomodarlo per chiedergli "cos'è...?"
tra l'altro ho già i miei problemi con le materie del primo anno, figuriamoci mettersi a studiarne altre. Per ora è solo una curiosità.
"nato_pigro":
[quote="Fioravante Patrone"]Bussa alla porta di Borga
non capisco...
[/quote]Non fai mate a GE?
Studio 824. Lato monte del piano ottavo, dove c'è anche il mio semi-ex studio.
Se serve, ma non credo proprio, digli che ti manda Patrone
Mi riferisco al libro:
Fondamenti di logica. Introduzione alla teoria della dimostrazione
di Borga Marco, Fanco Angeli ed.
Credo che in qualsiasi manuale di logica per l'università ci sia uno o due capitoli su quello...
In generale credo che studi i metodi di dimostrazione. Dal punto di vista logico credo che si tratti delle regole di derivazione di una formula da un'altra e delle dimostrazioni formali. Non saprei dirti di più perché ho fatto poca logica ma se puoi andare in una biblioteca trovi sicuramente qualcosa...
comunque ecco qualche link...
http://www.andrew.cmu.edu/user/avigad/P ... finite.pdf
http://www.fecundity.com/codex/forallx.pdf
In generale credo che studi i metodi di dimostrazione. Dal punto di vista logico credo che si tratti delle regole di derivazione di una formula da un'altra e delle dimostrazioni formali. Non saprei dirti di più perché ho fatto poca logica ma se puoi andare in una biblioteca trovi sicuramente qualcosa...
comunque ecco qualche link...
http://www.andrew.cmu.edu/user/avigad/P ... finite.pdf
http://www.fecundity.com/codex/forallx.pdf
"Fioravante Patrone":
Bussa alla porta di Borga
non capisco...
Bussa alla porta di Borga 
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo