Contributi di 151.47.6.6

19 nov 2007

• 00:4700:47, 19 nov 2007 diff cron −1‎ Logica matematica/Calcolo delle proposizioni ‎ →‎Teoria della dimostrazione
• 00:4600:46, 19 nov 2007 diff cron +281‎ Logica matematica/Calcolo delle proposizioni ‎ →‎Teoria della dimostrazione

18 nov 2007

• 22:3522:35, 18 nov 2007 diff cron −1‎ Logica matematica/Calcolo delle proposizioni/La deduzione naturale ‎ →‎La deduzione naturale
• 22:3222:32, 18 nov 2007 diff cron +942‎ Logica matematica/Calcolo delle proposizioni/La deduzione naturale ‎ →‎Esempi
• 22:2222:22, 18 nov 2007 diff cron +23‎ Logica matematica/Calcolo delle proposizioni/La deduzione naturale ‎ →‎Esempi
• 22:1822:18, 18 nov 2007 diff cron −45‎ Logica matematica/Calcolo delle proposizioni/La deduzione naturale ‎ →‎Le regole
• 22:1822:18, 18 nov 2007 diff cron +438‎ Logica matematica/Calcolo delle proposizioni/La deduzione naturale ‎ →‎Esempi
• 22:0122:01, 18 nov 2007 diff cron +40‎ Logica matematica/Calcolo delle proposizioni/La deduzione naturale ‎ →‎Le regole

17 nov 2007

• 12:3312:33, 17 nov 2007 diff cron −2‎ Logica matematica/Intermezzo paradossi ‎ →‎Paradosso di Quine
• 12:2612:26, 17 nov 2007 diff cron +213‎ Logica matematica/Incompletezza ‎Nessun oggetto della modifica
• 11:1511:15, 17 nov 2007 diff cron +158‎ Logica matematica/Incompletezza ‎Nessun oggetto della modifica
• 11:1111:11, 17 nov 2007 diff cron +769‎ N Logica matematica/Incompletezza ‎ Nuova pagina: Dopo tanti risultati positivi arriviamo in questo capitolo ai risultati negativi: l' incompletezza. Dobbiamo a Goedel questo grande risultato: ogni sistema logico abbastanza potente d...