Wikipediadiskussion:Projekt logik/arkiv1

Övrigt

Om ni jämför artikeln om George Boolos med den engelska motsvarigheten ser ni att jag inte översatt all text om hans arbete, detta främst för att jag inte är tillräckligt insatt i ämnena den behandlar. Om någon logiker har tid och ork får ni gärna hjälpa till att fylla ut luckorna. I texten avslöjas också en hel del oskrivna logikartiklar på svenska wikipedia. --Huesos 14 juli 2007 kl. 12.35 (CEST)

Formella och informella bevis

Någon bör skriva om distinktionen mellan dessa. Mig veterligen finns det inget skrivet om detta än. Popperipopp 27 augusti 2007 kl. 12.27 (CEST)

Leibniz lag

Det skulle vara mycket bra om någon logiker faktakollade Leibniz lag. Jag översatte lite från engelska men är osäker på en del ord. Popperipopp 31 oktober 2007 kl. 20.36 (CET)

Sju år senare fixade jag till artikeln lite, jag tror att det blev en sammanblandning av logik och differentialkalkyl där. Marfuas (diskussion) 27 november 2014 kl. 23.19 (CET)

Inaktivt projekt

Det här projektet verka helt insomnat. Jag märker det med {{färdigt projekt}}.hejkompis (disk) 20 november 2009 kl. 10.56 (CET)

Hur ser du att projektet är insomnat? --Åke Persson 20 november 2009 kl. 16.33 (CET)

Fick intrycket av huvudsidans historik att det dog av 2005. hejkompis (disk) 21 november 2009 kl. 15.05 (CET)

Men detta är nu en portal med länkar där länkarna sitter i mallar. Det finns just ingen anledning att redigera själva sidan. När den gjordes till så här var en stor del av de inbäddade länkarna röda, nu har de flesta fått sidor. Kanske inte jätteaktivitet i projektet just nu, men insomnat är det inte. --Åke Persson 22 november 2009 kl. 00.18 (CET)