Download La macchina e le dimostrazioni: matematica, logica e informatica PDF Free - Full Version
Download La macchina e le dimostrazioni: matematica, logica e informatica by Gabriele Lolli in PDF format completely FREE. No registration required, no payment needed. Get instant access to this valuable resource on PDFdrive.to!
About La macchina e le dimostrazioni: matematica, logica e informatica
«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 ottenuto sono semplici rappresentazioni di dimostrazioni? Le rappresentazioni di dimostrazioni sono dimostrazioni, no?». La scrittura formalizzata della matematica in linguaggI simbolici, imposta dai logici contemporanei come Frege a Peano quale realizzazione del sogno leibniziano, spesso contestata in ambiente matematico, ha trovato nell'elaborazione meccanica dei testi formali e nell'automatizzazione della deduzione logica per mezzo dei calcolatori la sua giustificazione e la sua esaltazione. Per essere digerite o prodotte da un calcolatore, le dimostrazioni devono essere rappresentate in un linguaggio formale; tuttavia, secondo canoni della logica, una dimostrazione è tale solo se è formalizzabile. Allora i calcolatori che dimostrano teoremi partoriscono genuini prodotti della mente umana. Per negare questa prospettiva, si deve contestare che la sostanza della dimostrazione matematica si trovi nel legame logico di una catena deduttiva: la matematica perde privilegio di luogo della razionalità. Ma intanto la dimostrazione automatica celebra, con il teorema dei quattro colori, i suoi primi grandi successi. In questo saggio sono ricostruite e commentate le polemiche che hanno accompagnato l'introduzione della formalizzazione in mate natica e in informatica, da Peano e Poincaré a oggi, e sono discussi i problemi che questo tipo di dimostrazione solleva sulla natura della matematica.
Detailed Information
| Author: | Gabriele Lolli |
|---|---|
| Publication Year: | 1986 |
| ISBN: | 9788815012562 |
| Pages: | 152 |
| Language: | Italian |
| File Size: | 29.616 |
| Format: | |
| Price: | FREE |
Safe & Secure Download - No registration required
Why Choose PDFdrive for Your Free La macchina e le dimostrazioni: matematica, logica e informatica Download?
- 100% Free: No hidden fees or subscriptions required for one book every day.
- No Registration: Immediate access is available without creating accounts for one book every day.
- Safe and Secure: Clean downloads without malware or viruses
- Multiple Formats: PDF, MOBI, Mpub,... optimized for all devices
- Educational Resource: Supporting knowledge sharing and learning
Frequently Asked Questions
Is it really free to download La macchina e le dimostrazioni: matematica, logica e informatica PDF?
Yes, on https://PDFdrive.to you can download La macchina e le dimostrazioni: matematica, logica e informatica by Gabriele Lolli completely free. We don't require any payment, subscription, or registration to access this PDF file. For 3 books every day.
How can I read La macchina e le dimostrazioni: matematica, logica e informatica on my mobile device?
After downloading La macchina e le dimostrazioni: matematica, logica e informatica PDF, you can open it with any PDF reader app on your phone or tablet. We recommend using Adobe Acrobat Reader, Apple Books, or Google Play Books for the best reading experience.
Is this the full version of La macchina e le dimostrazioni: matematica, logica e informatica?
Yes, this is the complete PDF version of La macchina e le dimostrazioni: matematica, logica e informatica by Gabriele Lolli. You will be able to read the entire content as in the printed version without missing any pages.
Is it legal to download La macchina e le dimostrazioni: matematica, logica e informatica PDF for free?
https://PDFdrive.to provides links to free educational resources available online. We do not store any files on our servers. Please be aware of copyright laws in your country before downloading.
The materials shared are intended for research, educational, and personal use in accordance with fair use principles.
