Talk:Soundness theorem

From Wikipedia, the free encyclopedia

WikiProject Mathematics
Mathematics Portal
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: Start Class Mid Priority  Field: Foundations, logic, and set theory
Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article.

Contents

[edit] Gama

I just de-stubbed this, but am left with a mark-up issue. I've written 'Gama' at several places in the text. If you know how to put in the capital greek letter Gama, please do so. Thanks. Unsigned comment: 18:34, 8 July 2005 132.216.86.126

I've done so, using Γ - this (and many others) can be found via the Editing Help link just next to 'Save Page'.

[edit] Move/Merge

Shouldn't this be on the soundness page? the completeness description is also already on the completeness page, and that links to the soundness page. The issue is already (very briefly) covered on the current soundness page. --Raboof 9 July 2005 15:24 (UTC)

[edit] Context

I took a whack at an opening paragraph to try to give some context. I'm leaving the 'context' tag in place though so that other editors can take a look at what I've written. I also added some section heads, and wikified the reference to he completeness theorem (the other direction of soundness). Any feedback, corrections and improvements are of course most welcome. Zero sharp 09:33, 19 February 2007 (UTC)

Hi, thanks for the edit. However, I felt that is too general to be interesting, and that the part regarding the preservation of truth was misleading (in fact, incorrect in general). I tried to add context by remarking on why the property is interesting from a metalogical point of view. So I deleted the context marker. There is certainly more interesting stuff to say about the importance of soundness, e.g., that it is not particularly interesting without completeness (nor is completeness without soundness). Nortexoid 00:05, 20 February 2007 (UTC)
Thanks for the corrections.Zero sharp 07:31, 20 February 2007 (UTC)

[edit] clarification

It most cases, this comes down to its rules having the property of preserving truth, but this is not the case in general.

So what _is_ the case in general? I'm not getting it from the balance of the article Zero sharp 22:37, 4 June 2007 (UTC)