Read La guerra dei trent'anni (1900-1930): Da Hilbert a Gödel

La guerra dei trent'anni (1900-1930): Da Hilbert a Gödel

Gabriele Lolli

4.9/5 (34951 ratings)

Description:Nelle lezioni contenute in questo volume si descrive e si analizza la formazione della logica del primo ordine nel periodo 1900-1930. Si seguono due temi, che emergono dai problemi della assiomatizzazione delle teorie matematiche, e in particolare della teoria degli insiemi, all'inizio del secolo. Il primo è la chiarificazione e la distinzione dei concetti di completezza deduttiva di una teoria e di completezza logica. Il secondo è quello del programma di Hilbert, che si articola e si definisce nel corso degli anni Venti. La storia avventurosa del teorema di completezza logica con i suoi equivoci e incomprensioni, e la passione delle polemiche aspre di Hilbert con l'intuizionismo di L. Brouwer fanno della costituzione della logica come disciplina un episodio esemplare del processo di crescita della matematica. Nella seconda parte del volume si dà una dimostrazione dettagliata del primo teorema di incompletezza di Gödel, che almeno una volta nella vita, diceva Alonzo Church, occorre aver visto. Nel momento in cui Gödel dimostra fattibile il programma di Hilbert con l'aritmetizzazione, nel 1930, sancisce anche l'impossibilità degli obiettivi che si proponeva.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with La guerra dei trent'anni (1900-1930): Da Hilbert a Gödel. To get started finding La guerra dei trent'anni (1900-1930): Da Hilbert a Gödel, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: —

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: —

ISBN: 8846727894

Description: Nelle lezioni contenute in questo volume si descrive e si analizza la formazione della logica del primo ordine nel periodo 1900-1930. Si seguono due temi, che emergono dai problemi della assiomatizzazione delle teorie matematiche, e in particolare della teoria degli insiemi, all'inizio del secolo. Il primo è la chiarificazione e la distinzione dei concetti di completezza deduttiva di una teoria e di completezza logica. Il secondo è quello del programma di Hilbert, che si articola e si definisce nel corso degli anni Venti. La storia avventurosa del teorema di completezza logica con i suoi equivoci e incomprensioni, e la passione delle polemiche aspre di Hilbert con l'intuizionismo di L. Brouwer fanno della costituzione della logica come disciplina un episodio esemplare del processo di crescita della matematica. Nella seconda parte del volume si dà una dimostrazione dettagliata del primo teorema di incompletezza di Gödel, che almeno una volta nella vita, diceva Alonzo Church, occorre aver visto. Nel momento in cui Gödel dimostra fattibile il programma di Hilbert con l'aritmetizzazione, nel 1930, sancisce anche l'impossibilità degli obiettivi che si proponeva.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with La guerra dei trent'anni (1900-1930): Da Hilbert a Gödel. To get started finding La guerra dei trent'anni (1900-1930): Da Hilbert a Gödel, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

La guerra dei trent'anni (1900-1930): Da Hilbert a Gödel

La guerra dei trent'anni (1900-1930): Da Hilbert a Gödel

More Books

The Meaning of Proofs: Mathematics as Storytelling

The Meaning of Proofs: Mathematics as Storytelling

Il riso di Talete: Matematica e umorismo

Il riso di Talete: Matematica e umorismo

Discorso sulla matematica

Discorso sulla matematica

Cos'è la logica matematica - Gabriele Lolli (Franco Muzzio Editor) [1992]

Cos'è la logica matematica - Gabriele Lolli (Franco Muzzio Editor) [1992]

Da Euclide a Gödel

Da Euclide a Gödel

Matematica come narrazione

Matematica come narrazione

QED - Fenomenologia della dimostrazione

QED - Fenomenologia della dimostrazione

Filosofia della matematica: L'eredità del Novecento

Filosofia della matematica: L'eredità del Novecento

Tavoli, sedie, boccali di birra

Tavoli, sedie, boccali di birra