Discussione:Logica matematica

Teoremi significativi

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.--P_op O^p 21:30, 29 apr 2007 (CEST)

Credo che questi teoremi possano essere estesi a ben più di tre righe, per questo non possono essere uniti. --nicolaennio 10:14, 30 apr 2007 (CEST)

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!--P_op O^p 10:36, 30 apr 2007 (CEST)

Sono d'accordo --nicolaennio 20:42, 3 mag 2007 (CEST)

Collegamenti esterni modificati

Gentili utenti,

ho appena modificato 1 collegamento esterno 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)

Collegamenti esterni modificati

Gentili utenti,

ho appena modificato 1 collegamento esterno 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 {{collegamento interrotto}} 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)

Collegamenti esterni interrotti

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)