Momoblog
Il mio web log in italiano


Subscribe to "Momoblog" in Radio UserLand.

quaranta

Click to see the XML version of this web page.

Click here to send an email to the editor of this weblog.


 12/13/05
 12/13/05
 12/12/05
 12/11/05
 12/8/05
 12/7/05
 12/6/05
 12/5/05
 12/5/05
 12/1/05
 11/30/05
 11/29/05
 11/27/05
 11/26/05
 11/25/05
 11/25/05
 11/24/05
 11/24/05
 11/22/05
 11/21/05
 11/20/05
 11/19/05
 11/19/05
 11/17/05
 11/16/05
 11/15/05


miniXmlCoffeeMug.gif miniXmlButton.gif


domenica 21 agosto 2005
 

Che cos'è una dimostrazione? Cosa serve? Quali sono le strategie che i matematici usano per dimostrare i loro teoremi? Gabriele Lolli prova a dare una risposta a queste domande nel suo "QED. Fenomenologia della dimostrazione". La definizione di dimostrazione è straordinariamente vaga ma un matematico sa esattamente cos'è e la usa continuamente. Non così lo studente, o il matematico non professionista che si trova talvolta in difficoltà con passaggi logici che non riesce a comprendere. Lolli mostra che gli strumenti logici che vengono usati in una dimostrazione (e presi come ovvi dal matematico esperto) sono in realtà sottili e potenti, e il logico ha la sua bella difficoltà a districarli tutti.

Ciò ha anche uno scopo pratico: un giorno forse le macchine aiuteranno il matematico a controllare le dimostrazioni ma per ora non possono farlo (tranne in casi particolarissimi) perché quella della dimostrazione è arte, oltre che scienza ed il matematico deve usare strade creative per arrivare al risultato. Per il lettore (abbastanza) profano come me purtroppo il libro diventa troppo tecnico nell'ultima parte e del capitolo 4 posso dire di aver capito abbastanza poco. Ma il bello della matematica (come dell'arte migliore, credo) è che ti fa intravedere la sua bellezza anche se riesci a capirla solo in parte.






3:42:44 PM      comment []



Click here to visit the Radio UserLand website. © Copyright 2005 Massimo Morelli.
Last update: 14/12/2005; 11.46.27.site index

Agosto 2005
Dom Lun Mar Mer Gio Ven Sab
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31      
Lug   Set


Top 5 hits for La meravigliosa gestione delle Autostrade on..
Google
1.Massimo Morelli's Weblog
2.Massimo Morelli's Weblog
3.Massimo Morelli's Weblog
4.Massimo Morelli's Weblog
5.Massimo Morelli's Weblog

Help link 14/12/2005; 11.08.51.