𝔖 Scriptorium
✦   LIBER   ✦

📁

Dimostrazioni e confutazioni. La logica della scoperta matematica.

✍ Scribed by Imre Lakatos


Publisher
Feltrinelli
Year
1979
Tongue
Italian
Leaves
230
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents


Copertina
Titolo
Introduzione di Giulio Giorello
Prefazione di John Worrall e Elie Zahar
Ringraziamenti
Introduzione dell'Autore
I
1. Un problema e una congettura
2. Una dimostrazione
3. Critica della dimostrazione con controesempi locali ma non globali
4. Critica della congettura con controesempi globali
5. Critica dell'analisi della dimostrazione con controesempi che sono globali ma non locali. Il problema del rigore
6. Ritorno alla critica della dimostrazione con controesempi che sono locali ma non glonali. Il problema del contenuto
7. Revisione del problema del contenuto
8. Formazione dei concetti
9. Come la critica può trasformare la verità matematica in verità logica
II
Introduzione dei curatori dell' edizione originale
1. Traduzione della congettura nei termini "perfettamente noti" dell'algebra dei vettori. Il problema della traduzione
2. Un'altra dimostrazione della congettura
3. Alcuni dubbi sulla definitività della dimostrazione. Proce­dimento di traduzione; approccio essenzialista/ approccio nominalista alle definizioni
Appendice I - Un altro caso storico per il metodo delle dimostrazioni e confutazioni
1. La difesa di Cauchy del "principio di continuità"
2. La dimostrazione di Seidel e il concetto generato-dalla­-dimostrazione di convergenza uniforme
3. Il metodo di eliminazione di eccezioni di Abel
4 . Ostacoli sulla via della scoperta del metodo dell'analisi della dimostrazione
Appendice II - Approccio deduttivista/approccio euristico
1. L'approccio deduttivista
2. L'approccio euristico. Concetti generati dalla dimostrazione
Nota sulla vita e le opere di Imre Lakatos (A CURA DI GIULIO GIORELLO)
Bibliografia
Indice degli argomenti
Indice dei nomi
INDICE


📜 SIMILAR VOLUMES


Dimostrazioni e confutazioni. La logica
✍ Imre Lakatos 📂 Library 📅 1979 🏛 Feltrinelli 🌐 Italian

La vita di Imre Lakatos riflette alcune delle più drammatiche vicende della recente storia europea. Nato in Ungheria nel 1922 da famiglia ebraica - il suo cognome originario era Lipschitz - partecipò alla resistenza durante l'occupazione nazista del paese. In questa occasione cambiò il proprio cogno

La macchina e le dimostrazioni: matemati
✍ Gabriele Lolli 📂 Library 📅 1986 🏛 Il Mulino 🌐 Italian

«Nessuno si sognerebbe di dire che possiamo produrre latte e zucchero simulando al calcolatore le sequenze formali dei processi di lattazione e di fotosintesi... Ma supponiamo ora di simulare al calco- latore un matematico, e con successo: ci lamenteremmo forse perché... tutto o dello che abbiamo ot

Gli errori nelle dimostrazioni matematic
✍ Paolo Pietro Lava, Giorgio Balzarotti 📂 Library 📅 2009 🏛 Hoepli 🌐 Italian

Una dimostrazione non è necessariamente corretta soltanto perché le conseguenze sono giuste o ragionevoli; al contrario, errori nel ragionamento logico-matematico possono portare a risultati paradossali. Gli autori hanno raccolto in questo volume una serie di dimostrazioni in cui evidenziano, attra

La Matematica della Verità. Strumenti ma
✍ Ettore Casari 📂 Library 📅 2006 🏛 Bollati Boringhieri 🌐 Italian

Un repertorio organico di strumenti matematici per affrontare temi e problemi della logica semantica, fondamentali anche per filosofi e linguisti. La ricerca logica, o anche solo la lettura di articoli e saggi concernenti questa disciplina, richiede ormai la padronanza di un non banale patrimonio di