Discussione:Logica matematica

message: Che senso ha dividere i teoremi in diecimila categorie (debole, forte, nella versione di Pinco Pallino...), quando poi la relativa pagina risulta lunga 3 righe (e, al massimo, completandola diventerà 6 righe)? Questo non ha alcun senso, e, poi, rende praticamente impossibile creare i wikilink.--Pop Op 21:30, 29 apr 2007 (CEST)
replies: text: Naturalmente, esageravo. Il punto è che la nomenclatura non è uniforme, per cui c'è chi chiama teorema di completezza forte una cosa, chi lo chiama semplicemente teorema di completezza etc. etc. Quindi mi pare più giusto e semplice una pagina unica dove si confrontano le varie versioni dei teoremi. Non si può fare una pagina Teorema di completezza (versione di Godel), una Teorema di completezza (versione di Henkin), Teorema di completezza forte (versione di Ferro), Teorema di completezza debole (versione di Ferro) etc. etc.. Tieni presente che, almeno in Italia, molti professori hanno il vezzo di prendere un teorema noto, cambiare due paroline, e considerarlo un loro teorema (beninteso, in certi casi questo è molto utile ed importante perchè può introdurre un nuovo punto di vista significativo). Comunque (e mi pare lo standard di wikipedia), si inizi con una pagina unica: quando questa diventa abbastanza grande, la si divida!--Pop Op 10:36, 30 apr 2007 (CEST)
replies: text: Sono d'accordo --nicolaennio 20:42, 3 mag 2007 (CEST)
thread_title:  Teoremi significativi 

message: Gentili utenti,
ho appena modificato 1  sulla pagina Logica matematica. Per cortesia controllate la mia modifica. Se avete qualche domanda o se fosse necessario far sì che il bot ignori i link o l'intera pagina, date un'occhiata a queste FAQ. Ho effettuato le seguenti modifiche:
*Aggiunta del link all'archivio https://web.archive.org/web/20070408210315/http://world.logic.at/ per http://world.logic.at/
Fate riferimento alle FAQ per informazioni su come correggere gli errori del bot.
Saluti.—InternetArchiveBot (Segnala un errore) 11:44, 22 apr 2019 (CEST)
thread_title:  Collegamenti esterni modificati 

message: Gentili utenti,
ho appena modificato 1  sulla pagina Logica matematica. Per cortesia controllate la mia modifica. Se avete qualche domanda o se fosse necessario far sì che il bot ignori i link o l'intera pagina, date un'occhiata a queste FAQ. Ho effettuato le seguenti modifiche:
*Aggiunta di  su http://ulisse.sissa.it/biblioteca/saggio/2006/Ubib061229s003/at_download/file/Ubib061229s003.pdf
*Aggiunta del link all'archivio https://web.archive.org/web/20150208035413/http://www.cis.upenn.edu/%7Egiorgi/cl.html per https://www.cis.upenn.edu/~giorgi/cl.html
Fate riferimento alle FAQ per informazioni su come correggere gli errori del bot.
Saluti.—InternetArchiveBot (Segnala un errore) 03:40, 20 lug 2019 (CEST)
thread_title:  Collegamenti esterni modificati 

message: Una procedura automatica ha modificato uno o più collegamenti esterni ritenuti interrotti:
*Aggiunta del link all'archivio https://web.archive.org/web/20090605030110/http://home.swipnet.se/~w-33552/logic/home/index.htm per http://home.swipnet.se/~w-33552/logic/home/index.htm
In caso di problemi vedere le FAQ.—InternetArchiveBot (Segnala un errore) 06:53, 9 feb 2022 (CET)
thread_title:  Collegamenti esterni interrotti