760:. A good way to understand these things is like moving boxes. If you have a map (or a checkerboard or whatever), and some rules you can move boxes to some places and not others. The places the rules allow you to move a box is a theorem. Perhaps more appropriate to the analogy, the box is a theorem in some places not others. So this is a totally new understanding of theorem. It doesn't involve "true" or "proved." Calling a box a theorem will certainly seem strange to a mathematician, however this is what is going on behind the scenes. It is not appropriate to say "Well but it isn't REALLY a theorem." That would be missing the point entirely. It is exactly this that is the essence of theorem. This is what it is like to talk about syntax without semantics. The same analogy goes for tautologies, although I found theorem easier to explain.
1369:
equivalent under mild assumptions that would tend to hold in logics unless they are specifically constructed to form a counterexample. Following the definitions of the article, maximal completeness implies syntactic completeness, but the converse implication does not necessarily hold. Take the logic whose sentences consist of a finite sequence of ¬ symbols followed by the symbol ⊥. The theorems are those sentences that have an odd number of ¬ symbols: {¬⊥, ¬¬¬⊥, ¬¬¬¬¬⊥, ...}. This logic is clearly syntactically complete. But ⊥ is not a theorem, and this sentence is also not a negation and therefore not the negation of any theorem. So the logic is not maximally complete. In general, a necessary condition for maximal completeness is that all unprovable sentences have the form of a negation; you can't have
1095:
We are able to move symbols around on paper according to rules, and get other symbols that happen to preserve deductive qualities. This is the level of analysis we seek, because we want to make sure we have a legitimate deductive system, with no presuppositions (as you have made about the so-called "equal numbers" you speak of.) We can see today that Euclid fudged somewhat on the rigor of some of his proofs. I'm sure he thought it was okay at the time. Mathematics is orders of magnitude more complex today, so BE CAREFUL! ...and be well.
2043:. I think the definition should be changed to agree with usual practice: a theory or formal system is inconsistent iff some formula and its negation are both theorems. Also, on the stricter logical meaning of "sentence" (a formula with no free variables), the equivalence as stated above is not as strong as it could be because it holds for all formulas. I will gladly change the definition if no one has objections. Cheers,
22:
2012:
Theorem, S is a complete subset of V. However, an infinite linear combination of monomials is a power series. And a power series which converges always gives you a differentiable function (even a real analytic function). But there are functions in C which are not differentiable. So, the statement must be false. Unless I dont understant the statement correctly. I hope, someone can explain this.--
794:
fine. However, it should not be looked upon as foreign or hostile at all. Please look at it as filling in the philosophical perspective. It seems to me that in philosophy classes we are told that mathematicians study this area too, but the mathematicians are not told that we study this area too (or they are told and promptly shrug them off as pretenders --silly).
71:
53:
316:
calculus. Formally, implies . Especially, all tautologies of the logic can be proven. Even when working with classical logic, this is not equivalent to the notion of completeness introduced above (both a statement and its negation might not be tautologies with respect to the logic). The reverse implication is called soundness.
1071:, interpreting the entries in the tables as strings of digits, it is syntactic equality. Well, the two notions will never give an observable difference, not for these equalities and not for tautologies. The statement that the two always give rise to the same verdict is itself a tautology. We may as well distinguish between
723:
understand what you say you understand, and you are forthright on these points where you are not 100% clear. However, I think what you do understand is not permitting this new understanding. This actually is the more fundamental understanding, not trivial at all, perhaps you have been mathematically prejudiced.
1425:
certain symbols as constants. Otherwise, suppose we have a logic with 0-ary symbols ⊥ and ⊤. We can interpret ⊥ and ⊤ as, respectively, "false" and "true" in some models, but as "true" and "false" in other models. That means that basically no sentence holds in all models. If the logic is semantically
1094:
You understand that this kind of supports my whole "mathematical prejudice" theory do you not? You are going to interpret a number as a number, huh? Yeah that seems pretty silly. Only that is not what is going on here. It's not a number until it is interpreted as such, until then it is just a symbol.
827:
There are no deadlines on wp, so I don't really have a good answer. The next time I get to the university library perhaps? It seems that the article is tagged for no sources so it really boils down to what we agree on until there are. I guess I could rightly ask you when you will come up with sources
315:
In proof theory and related fields of mathematical logic, a formal calculus is said to be complete with respect to a certain logic (i.e. with respect to its semantics), if every statement P that follows semantically from a set of premises G can be derived syntactically from these premisses within the
600:
If by FS you mean the system with theorems of the form †∗†∗ then I must confess I haven't the foggiest idea what it means for a string of daggers and asterisks to be a tautology, and so your statement that this system may qualify as not being complete in your sense of the term carries no content for
1207:
unrelated subjects, such as auditing, autocompletion, and complete metric spaces, etc, etc. I was originally looking for a link to completion of rings in commutative algebra, in order to add it to one of the articles I was editing, and was nary certain it's not even mentioned. Tells you how easy it
1079:
tautologies, where the latter are obtained by
Australians, New Zealanders, and some yoga practioning logicians. It is somewhat amazing that the author does not distinguish between semantic soundness and syntactic soundness. Whether semantic or syntactic, it doesn't say anything about how to defined
722:
Well
Lambiam, let me first say that I appreciate your care and attention to these matters. Our discussion has been a pleasure on my part. As you may know, I am not always very diplomatic, so please forgive my forthright conjecture. I can tell you have studied this subject well. It is clear that you
160:, which currently redirects here, in anticipation of this, and we can link to that page instead of this if we wish. However, I don't think that it's necessary to move the contents of this article over there, or to move links to this article over there, until we reach the point that there is either:
1968:
The formulation is inappropriate anyway. Every sentence being a theorem is a standard definition of an inconsistent deductive system going back at least to Tarski. It has nothing to do with expressing truth or falsehood, and it is a mainstream usage. Even if
Gregbard manages to dig a reference for
1345:
What is the difference between maximally complete and syntactically complete as defined? Similarly between deductively complete and semantically complete? (Actually there seems to be a misprint because semantically complete is referred to but not defined.) They seem to say the same thing. The page
1289:
I agree with the disambiguation proposal to merge. I would prefer it if we merely designated this article space as the disambiguation page without the "(disambiguation)" in the title. I'm not so keen on separating out the "(mathematics)" however. I find that whole (very strong apparently) tendency
987:
A semantic tautology is a wff of truth-functional propositional logic whose truth table column contains nothing but T's when these are interpreted as the truth-value Truth. A syntactic tautology is a wff of truth-functional logic whose truth table column contains nothing but T's when these T's are
2011:
I doubt that the statement is correct. Take for example the prominent separable Banach space V:=C, the space of continuous real valued functions on the unit interval with the topology of uniform convergence and take S:={1,X,X^2, ...} to be set of all monomials. Then, by
Weierstrass Approximation
1855:
in logic. In general, it is a nonsequitur to conclude from the fact that field A is related to field B, to the relationship of equally named concepts in these fields. The various things that mathematicians have called "complete", "completion" or "completeness" have hardly any relationship to each
557:
I think your statement "...do you just mean that "A = A" is not true because "A" is a variable?" is another way of looking at the idea I am trying to explain. These are syntactic qualities. I will look further into these matters and try to get a good example. In lieu of that good example, I will
390:
right? I'm going to get back to you at some point for your example. It is the formation of the symbols, "→", "p", etc, that determine whether it is a tautology or not, not any interpretation of, for instance, p being true. So for instance, if your example is a tautology, then it is a token or the
290:
This won't work, (I'm thinking this out, even as I type.), since the differences between the elements in a Cauchy sequence need not be rational. It would work if instead of the subfield isomorphic to the rationals, we used the largest subfield isomorphic to a subfield of the reals. But it's not
286:
Michael, you said "Not all ordered fields are metric spaces; this is not merely a special case of the metric space case." You are correct, of course, but the concept of a Cauchy sequence is still meaningful in nonmetric ordered fields. Every ordered field has a unique subfield isomorphic to the
1441:
If the logic is sound and syntactically complete, then it is also semantically complete: every true sentence is a theorem. The argument is as follows. Let P be an arbitrary true sentence. Then ¬P cannot be a theorem, since the system is sound. But then instead P is a theorem, since the system is
793:
I hope at some point this results in an "aha moment" rather than impatience with myself. I am only a cab driver, so I am learning a lot more from others than I am contributing. However, these appear to be concepts that mathematicians in general do not care about or, pay attention to, and that is
630:
I guess my next question is what does "carries no content for me" mean? Does it mean a) you just would like more clarification, b) you are indifferent to the clarifications I have made, and will be going ahead with your version, or c) you understand it as trivial, or d) something else? The other
1320:
page is now a redirect to its more common meaning, related to drilling wells - which has nothing to do with the concept of mathematical completeness. Every page that links to that article uses it in that context. This talk-page is the only place that links to "well completion" to refer to the
1368:
I'm not familiar with the terminology of "semantical completeness", but I suspect the property may be meant that is called "strong completeness" in the section on
Mathematics. I'm also not sure how common and notable all these variants of the notion of completeness in logic are, since most are
1398:
In other articles of
Knowledge (eg Predicate Logic) there is reference to syntactic and semantic completeness: the former means that one can always prove P or NOT P; the second means that every statement that holds universally (in every model) can be proved. Are these equivalent? under what
2269:
321:
Two things: (i)This notion is not really native to proof theory, although it originated there, but is rather one of the fundamental ideas of model theory. (ii)Completeness is not restricted to logic; it makes perfect sense to talk about completeness wrt to any first-order theory. ----
677:
It carries no content for me in the sense that I am unable to assign meaning to that string of words, presumably in the same way you can't extract meaningful content from a statement that "the rights of cloud precede mutation". In technical terms, the utterance is inoperative as a
828:
for your language too, however I'm not that way. I am quite sure there are sources that support both formulations, however yours belongs a little later in the article because of it involves an interpretation of the pure thing we are talking about. There is no good statement about
1437:
the sentences ⊥ and ⊤, and nothing else. The logic has a single axiom, ⊤, and no derivation rules. This logic cannot be syntactically complete, since neither ⊥ nor ¬⊥ is a theorem – the latter is not even a sentence of the language! But the system is semantically sound and
988:
uninterpreted tokens rather than, say, truth-values. The rules for generating the truth table column tell us to use one of these uninterpreted T's in exactly those cases where semantic considerations would have led us to use the truth-value Truth. This can be found at this
2038:
systems, e.g., classical first-order logic, but not in others, e.g., paraconsistent logic. Even in the systems where it holds, in all of the dozens of books that I have read, this fact is proven as a theorem and even has special names, e.g., the inconsistency effect or
1879:
article mentions that "diode-resistor logic ... is not a complete logic family." Is there already an article that discusses the various kinds of "complete logic family", and what makes them complete? Perhaps under some other name? Or should I start such an article?
1450:
number of ¬ symbols: {⊥, ¬¬⊥, ¬¬¬¬⊥, ...}. This logic is clearly syntactically complete. The true sentences are those with an odd number of ¬ symbols, but none of these is a theorem, so this logic is semantically incomplete. It is also very unsound.
277:
I agree that if non-mathematical usages are to be included, that should be a separate page. But perhaps in that case, this page should be moved to "Completeness (mathematics)", or, if that's a bit too narrow, "Completeness (mathematical sciences)".
631:
question I have is how long are you willing to wait for (1) and (2)? I think the fact that this type of formula can be a non-tautologous theorem should really inform and enhance your notion of tautology. That's is what I would like for the readers.
1260:; it is zany that the latter use of the term, which is not even mentioned in any dictionary I have access to and does not occur (except for the Knowledge article) in the first 100 Google hits for "completion", should have primacy. Funny fact:
2139:
338:
This is the primary, fundamental, canonical definition of completeness. What you say is true (of semantic completeness), however, that formulation of completeness is a little further down the road from syntactic completeness, so to speak.
1933:
The appropriate thing to do in cases like this is place a citation tag, not delete. That is what those tags are for. It would be nice if people looking for certain terms could find them -- even if certain special people don't use them.
1275:
now. However, I consider mathematical logic as much a field of mathematics as category theory, graph theory, analysis, and algebra, and I strongly disagree with the idea of banning the meanings in mathematical logic from such a page.
346:, whereas a formal system has "soundness" when all theorems are true sentences." ...because we can talk about the completeness of logical systems without regard to semantics (the idea that certain sentences are true or false) at all.
2058:
I'm not even sure a definition of inconsistency is needed here since a) an article about completeness and b) where consistency it is used in the definitions of completeness, it is linked to the page on consistency. I'll remove it.
2086:
I removed "and only if" from the three main logical definitions of completeness since this implies soundness is required. If it was indeed "iff", then the correct symbolic version of, say semantic completeness, would actually be:
1149:
here. The distinction between the two notions of tautology is, however, really mainly silly because they necessarily always coincide. Would you ask someone who states "¬(A ∧ ¬A) is a tautology" to clarify whether they mean a
903:
1445:
Without the requirement of soundness, the implication does not follow. Take the logic whose sentences consist of a finite sequence of ¬ symbols followed by the symbol ⊥. The theorems are those sentences that have an
2165:
832:
in the article, so I think your formulation (which I reverted) belongs in under that. However, I do not have a good canonical account, so I didn't put it in there because I could do it justice just yet. Be well,
1430:, which however means that our pronouncements can no longer be about completely arbitrary logics. In the following I only use customary fixed interpretations: ⊥ means "false", ⊤ means "true", and ¬ means "not".
1212:
to move out the mathematical uses of "complete" and "completion" that have nothing to do with logic, finances, or philosophy into "Complete (mathematics)", as was proposed by
Michael Hardy already 5 years ago.
915:
894:
261:
Linear combinations are by definition finite, so we would have to say a bit more to make this statement precise. Even then, I'm not sure that it is true in general (it surely works in
Hilbert spaces though).
457:
Can you give a source for a definition of "tautology" in the sense you understand it, and an example of a tautology that is not a true sentence? Or do you just mean that "A = A" is not true because "A" is a
1982:
Quelle surprise, no citation, no hits on google for anything other than this page or mirrors of it for the phrase 'extremely complete', therefore removing (for the third time now) as unsourced neologism.
2275:
where I’ve highlighted the “if and only if” part, and similarly for the other definitions. As you can see, the equivalence you removed is in a different place than you claim, and is completely harmless.—
489:
If that is a kleene star, I really don't know much about its properties. I cannot vouch for the accuracy of the above statement on those grounds. However, also, Please forgive my error. It's supposed to
382:"Tautology" is the more general term here. All "true sentences" are tautologies, however not all tautologies are "true sentences." That's a good quiz question. It looks like one of the principles of
924:
685:
How long do you expect me to wait? Given the meaning of completeness that I know and see in the literature, the article is wrong, but you reverted my fix with arguments that I don't comprehend. --
287:
rational numbers, so a Cauchy sequence is just one in which the difference between every pair of elements for some point onward corresponds to a rational number less than the given real number.
2333:
what do you mean, prop calculus is syntactically complete? You just said, for every wff A, either A or its negation is provable. Afaik, neither "p" nor its negation is a theorem of prop calc.
156:. However at this point, it's not really necessary; the metric (or uniform) space concept is the only one that has had enough written about it to form an entire article. Thus, I have created
2160:, nevertheless your explanation makes no sense at all. The symbolic translation of “A formal system S is semantically complete if and only if every tautology of S is a theorem of S” is
1911:
iff every sentence is a theorem. Not all formal systems are intended to express "truths" or "falsehoods," however for those that do an extremely complete formal system is the same as an
934:
The last of these is particularly interesting because the author uses the terminology "tautological consequence" but makes it explicit in the notation that this corresponds to the
540:
of them. The ink on the paper, or the actual chalk on the board may also be a "tautology." However, it is the properties of the abstract version that we are talking about here.
342:
Strictly speaking, it is not necessarily true, as you have worded it, that: "A logical system has "completeness" when all true sentences (given the semantics of the logic) are
1466:
Below follows a list of articles about some form of completion or completeness. Note that I did not check all of them to see whether it is appropriate to treat them here. --
2031:
I think the current definition of inconsistency is misleading in one case and wrong in others: "A formal system is inconsistent if and only if every sentence is a theorem."
601:
me. I am still waiting for (1) a source for a definition of "tautology" in the sense you understand it, and (2) an example of a tautology that is not a true sentence. --
992:. The syntactic qualities should be covered first, and then the many and varied semantic aspects should supplement. Like I implied earlier, we are both right. Be well,
2090:
2351:
1600:
97:
562:
iff every sentence that is a tautology is a theorem. (This is from the second definition in that bullet list). There do exist systems that are not
1819:
It seems that there is a tendency to write-out everything that connects math to logic. This is the math-centric thing I am always talking about.
2264:{\displaystyle \mathrm {Complete} (S){\mathrel {\color {red}\leftrightarrow }}\forall \varphi \,(\models _{S}\varphi \to {}\vdash _{S}\varphi ),}
2013:
1665:
1951:
I eagerly await your citation, which I'm sure you just didn't have right at hand when you were inserting your 'special' usage of the term.
93:
78:
58:
1919:
Until or unless a citation for this particular meaning of 'extreme completeness' is forthcoming, this text doesn't belong in the article.
1353:
1384:
I see that now the two have been merged. Since I have shown above that the two definitions are not equivalent, the old definition of
1881:
1729:
1406:
1291:
171:
a great deal written about one of the other sorts of completeness in this article that justifies splitting this into two articles.
1719:
2327:, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.
2007:
If V is separable, it follows that any vector in V can be written as a (possibly infinite) linear combination of vectors from S.
1576:
1080:
the notion for other logical systems than propositional logic. It is hard to imagine a non-semantical method to evaluate
33:
1860:
relate to completeness of a formal system? About to the same extent as it relates to completeness of a dinner set. --
1685:
1680:
1237:
1133:
and not just mechanically scanning for a column of uninterpreted "T" symbols? Even if you say you understand, for all
440:
1670:
1551:
1067:, interpreting the entries in the tables as numbers, it is semantic equality. If the same exercise leads to equal
2048:
1690:
2017:
1699:
1556:
1541:
1536:
153:
83:
1175:
Congratulations, you are now a philosopher. I will look into your answerable question at some point! Be well,
1421:
In general they are not equivalent. There is a problem with the notion of "holding universally". You have to
1357:
1714:
1516:
1272:
890:
In the meantime, let me give some references to definitions of soundness and completeness in various texts:
1410:
175:
Then we can do the transition; otherwise, the move may be harmless but is largely a waste of time. IMO. --
21:
2044:
2040:
1724:
1645:
1496:
537:
187:
1885:
1739:
1630:
1610:
1546:
1531:
1261:
39:
2070:
1988:
1956:
1924:
1843:
1774:
1605:
1402:
1349:
467:
241:
1779:
1655:
1146:
135:
Would it not be a good idea to have
Completeness as a dictionary style definition, leading off to:
2134:{\displaystyle \models _{\mathcal {S}}\varphi \ \leftrightarrow \ \vdash _{\mathcal {S}}\varphi }
1939:
1827:
1784:
1764:
1640:
1526:
1299:
1180:
1100:
1015:
997:
838:
644:
636:
575:
533:
422:
351:
298:. But there is a connection between the two definitions, which should be made clear somehow. --
279:
249:
1861:
1660:
1571:
1566:
1561:
1467:
1452:
1389:
1374:
1277:
1159:
1085:
943:
686:
602:
462:
370:
270:
221:
210:
176:
1373:
as a sentence, so to speak. To me this seems to be both an unusual and a useless concept. --
989:
1857:
1822:
It's another small point, but over time the consequences of this tendency have accumulated.
1769:
1709:
1704:
1650:
1625:
1615:
1521:
1427:
1218:
1007:
883:
of some logical system. What I don't get is what it means to state that it is, or is not, a
217:
1063:
Evaluate both sides, using tables of addition and multiplication. If this results in equal
2279:
1984:
1973:
1952:
1920:
1789:
1759:
1734:
1675:
1635:
1620:
1491:
1326:
1257:
529:
295:
183:
1271:
Whether the above can garner consensus or not, there is no impediment to starting a page
2298:
2146:
2141:, a formulation which is which is not terribly useful in a discussion of completeness.
2064:
1595:
1590:
1511:
1506:
1501:
1081:
911:
444:
263:
194:
157:
454:
I don't understand your sentence "it is a token or the type of tautology that is ...".
164:
a great deal written about completeness in some other article (such as the article on
2345:
2324:
1935:
1823:
1581:
1295:
1176:
1096:
1011:
993:
834:
640:
632:
571:
418:
347:
198:
1847:
in mathematics is related to logic. However, that does not imply that the notion of
1486:
1142:
757:
567:
202:
2339:
Last edited at 06:44, 18 April 2008 (UTC). Substituted at 19:53, 1 May 2016 (UTC)
1876:
1812:
1749:
1744:
1481:
1214:
679:
448:
387:
383:
323:
291:
clear to me that such a subfield must always exist, or that it's always unique.
2289:
Ah yes, you're absolutely right. Perhaps that confusion is part of the reason
2276:
1970:
1754:
1322:
1265:
1253:
939:
756:
The formal language with stars and daggers can form theorems, as described at
334:
Lambiam, the goal here is to account for the properties of the logical system
299:
2156:
The “and only if” should be removed as definitions should use plain “if” per
942:, bolstering my contention that being a tautology is a semantic property. --
2294:
2142:
2060:
558:
provide the principle that makes me know that it exists: A formal system is
536:" of things. They do not exist in any particular place or time. We only see
414:
366:
570:
qualifies, although I think there are better examples out there. Be well,
2290:
2157:
1426:
sound, not even ⊤ is a theorem. Therefore we must fix certain symbols as
343:
197:, since we'll want to discuss other notions of complete spaces (complete
1841:
in mathematics is related to logic, it is true that the notion of (say)
1233:
443:. The is sort of a modal operator, and the argument like a* is from a
165:
1203:
for the deceptively short disambiguation page for "Completion", mixes
186:, or something similar, but it would not be sensible to do this until
1969:
his term, the standard term should come first, and not vice versa. —
1856:
other beyond the common human-language meaning of complete. How does
2302:
2282:
2150:
2074:
2052:
2021:
1992:
1976:
1960:
1943:
1928:
1889:
1864:
1831:
1470:
1455:
1414:
1392:
1377:
1361:
1330:
1303:
1280:
1222:
1184:
1162:
1104:
1088:
1019:
1001:
946:
842:
689:
648:
605:
579:
471:
426:
373:
355:
70:
52:
1815:, the notion of completeness is related to completeness in logic."
1130:
896:
Handbook of Logic in
Artificial Intelligence and Logic Programming
417:
yet. The uninterpreted tautology may need elucidation. Be well,
15:
1807:
L, Do you really believe that it is not generally true that:
2122:
2100:
1475:
439:
It is a theorem that is an easy consequence of axiom A6 of
269:
Our article now discusses infinite linear combinations. --
361:
How would you determine whether (for example) the formula
564:
complete with respect to the property of tautologousness.
369:
applies only to a rather narrow set of simple logics. --
560:
complete with respect to the property of tautologousness
2319:
1043:(exdent) May I say that I find the distinction between
88:
509:"...it is a token of the type OF tautology that is..."
182:
The main content of this page may need to be moved to
168:) that justifies branching it off to a new article, or
96:, where you can join the project or contribute to the
2168:
2093:
1129:
are capable of real understanding of the concept of
365:
is a tautology? The definition given in our article
2263:
2133:
220:is a separate article, I'm doing the move now. --
1433:Take the logic whose formal language consists of
86:pages on Knowledge. If you wish to help, you can
76:This disambiguation page is within the scope of
2323:, and are posted here for posterity. Following
2317:The comment(s) below were originally left at
8:
917:Inexhaustibility: A Non-exhaustive Treatment
879:I have no problem with accepting †∗∗†∗ as a
82:, an attempt to structure and organize all
19:
1899:I removed (twice now) the following text:
1252:can refer to:". Finally, I think the page
1240:, so that the page starts with s.t. like "
1208:is to find stuff here! I strongly propose
1143:pushing symbols around in a neural network
1006:Thank you for your recent contribution to
47:
2246:
2240:
2228:
2205:
2204:
2169:
2167:
2121:
2120:
2099:
2098:
2092:
1601:Complete homogeneous symmetric polynomial
1388:and the new one cannot both be right. --
1141:"semantic" interpretation is nothing but
1051:tautology inane? I could likewise define
152:Yes, I agree that this would make a good
92:attached to this talk page, or visit the
32:does not require a rating on Knowledge's
1236:. Furthermore, it should be merged with
386:. That's a quantifier, not some kind of
248:can be written as a (possibly infinite)
193:If and when we move it, it should be to
2219:
905:An Introduction to Substructural Logics
336:without regard to meaning or semantics.
49:
2003:I have my problems with the paragraph
1666:Complete set of commuting observables
1316:This discussion is very old, but the
566:I think the FS system I described at
7:
2027:Definition of an inconsistent system
1010:. I learned something new about it.
528:The things we are talking about are
106:Knowledge:WikiProject Disambiguation
1059:equality. Take an equation such as
109:Template:WikiProject Disambiguation
38:It is of interest to the following
2213:
2191:
2188:
2185:
2182:
2179:
2176:
2173:
2170:
1228:This page should be turned into a
294:Please revert if what I wrote was
14:
2325:several discussions in past years
2206:
1730:Knuth-Bendix completion algorithm
1145:. We are really getting into the
2352:WikiProject Disambiguation pages
1871:yet another kind of completeness
413:I haven't taken a close look at
244:, it follows that any vector in
69:
51:
20:
639:) 15:10, 28 January 2008 (UTC)
310:The subection currently reads:
2255:
2237:
2221:
2207:
2201:
2195:
2111:
1199:This page is crazy! It is the
1:
2293:suggests using a plain "if".
2022:17:05, 23 February 2011 (UTC)
1993:22:32, 12 February 2009 (UTC)
1909:complete in the extreme sense
1851:in mathematics is related to
1577:Complete economic integration
1232:, conforming to the rules of
990:Glossary of first order logic
2303:22:53, 10 January 2013 (UTC)
2283:13:15, 10 January 2013 (UTC)
2053:05:06, 15 January 2012 (UTC)
1977:10:53, 30 January 2009 (UTC)
1961:07:51, 30 January 2009 (UTC)
1944:02:43, 30 January 2009 (UTC)
1929:01:33, 30 January 2009 (UTC)
1720:Gödel's completeness theorem
1230:standard disambiguation page
1185:22:20, 30 January 2008 (UTC)
1163:19:03, 30 January 2008 (UTC)
1105:15:04, 30 January 2008 (UTC)
1089:23:39, 29 January 2008 (UTC)
1020:20:39, 29 January 2008 (UTC)
1002:20:22, 29 January 2008 (UTC)
947:08:43, 29 January 2008 (UTC)
843:00:14, 29 January 2008 (UTC)
690:18:35, 28 January 2008 (UTC)
649:15:10, 28 January 2008 (UTC)
606:12:56, 28 January 2008 (UTC)
580:07:54, 28 January 2008 (UTC)
472:06:32, 28 January 2008 (UTC)
427:00:14, 28 January 2008 (UTC)
374:17:42, 27 January 2008 (UTC)
356:12:30, 27 January 2008 (UTC)
139:Completeness (metric spaces)
2151:23:43, 9 January 2013 (UTC)
2075:23:28, 9 January 2013 (UTC)
1890:04:32, 2 October 2008 (UTC)
1686:Completeness (order theory)
1681:Completeness (cryptography)
1238:Completion (disambiguation)
2368:
2320:Talk:Completeness/Comments
2034:This equivalence holds in
1865:01:13, 29 March 2008 (UTC)
1832:22:59, 28 March 2008 (UTC)
1671:Complete set of invariants
1552:Complete algebraic variety
1471:16:51, 20 March 2008 (UTC)
1393:00:50, 29 March 2008 (UTC)
1378:09:58, 18 March 2008 (UTC)
1362:17:01, 17 March 2008 (UTC)
1304:18:20, 19 March 2008 (UTC)
926:Logic, Sets, and Recursion
391:type of tautology that is:
79:WikiProject Disambiguation
2332:
1858:completeness of a measure
1691:Completeness (statistics)
1456:01:08, 2 April 2008 (UTC)
1415:09:26, 1 April 2008 (UTC)
1346:needs some cleaning up.
1281:08:56, 7 March 2008 (UTC)
1223:08:16, 1 March 2008 (UTC)
326:11:52, 29 Sep 2004 (UTC)
302:06:14, 15 Sep 2003 (UTC)
282:01:57, 15 Sep 2003 (UTC)
273:09:43, 26 Aug 2003 (UTC)
224:23:40 Feb 20, 2003 (UTC)
64:
46:
1700:Completion (ring theory)
1557:Complete bipartite graph
1542:Complete Heyting algebra
1537:Complete Boolean algebra
1462:Please disambiguate this
266:18:12 29 May 2003 (UTC)
213:, Sunday, July 14, 2002
179:, Monday, June 10, 2002
1715:Functional completeness
1517:Command line completion
1442:syntactically complete.
1331:14:35, 4 May 2010 (UTC)
306:Proof theory subsection
142:Completeness (measures)
112:Disambiguation articles
2265:
2135:
2041:principle of explosion
1895:"Extreme Completeness"
1725:Hamiltonian completion
1646:Complete partial order
1497:Bounded complete poset
1273:Complete (mathematics)
893:Michael O'Donnell. In
201:, maybe even complete
2266:
2136:
1740:Model complete theory
1631:Complete metric space
1611:Complete intersection
1547:Complete active space
1532:Complete (complexity)
1321:mathematical sense.
1262:Quadratic reciprocity
830:semantic completeness
447:, where the * is the
2166:
2091:
1853:generalized function
1849:generalized function
1844:generalized function
1775:Strongly NP-complete
1606:Complete information
1294:not helpful at all.
1125:, but how do I know
205:) under the heading
188:Pages_that_link_here
145:Completeness (logic)
1999:Functional Analysis
1903:A formal system is
1837:To the extent that
1780:Turing completeness
1656:Complete quadrangle
1264:currently links to
1256:should be moved to
1147:other minds problem
154:disambiguation page
30:disambiguation page
2313:Assessment comment
2261:
2220:
2210:
2131:
1905:extremely complete
1803:Math v logic again
1785:Weakly NP-complete
1765:Pattern completion
1641:Complete numbering
1527:Complete (box set)
1386:maximally complete
923:Robert L. Causey.
250:linear combination
190:is fixed. -- Anon
34:content assessment
2337:
2336:
2115:
2110:
1936:Pontiff Greg Bard
1824:Pontiff Greg Bard
1799:
1798:
1661:Complete quotient
1572:Complete contract
1567:Complete coloring
1562:Complete category
1428:logical constants
1417:
1405:comment added by
1364:
1352:comment added by
1296:Pontiff Greg Bard
1177:Pontiff Greg Bard
1097:Pontiff Greg Bard
1012:Pontiff Greg Bard
994:Pontiff Greg Bard
835:Pontiff Greg Bard
641:Pontiff Greg Bard
633:Pontiff Greg Bard
572:Pontiff Greg Bard
474:
419:Pontiff Greg Bard
402:(x → x) → (x → x)
363:(p → p) → (p → p)
348:Pontiff Greg Bard
128:
127:
124:
123:
120:
119:
2359:
2330:
2329:
2322:
2270:
2268:
2267:
2262:
2251:
2250:
2241:
2233:
2232:
2212:
2211:
2194:
2140:
2138:
2137:
2132:
2127:
2126:
2125:
2114:
2109:
2105:
2104:
2103:
2082:"if and only if"
2077:
1770:Sharp-P-complete
1710:Feature complete
1705:Early completion
1651:Complete protein
1626:Complete measure
1616:Complete lattice
1522:Complete (album)
1476:
1400:
1372:
1347:
1075:tautologies, en
1062:
1008:effective method
530:abstract objects
465:
364:
252:of vectors from
218:Complete measure
114:
113:
110:
107:
104:
91:
73:
66:
65:
55:
48:
25:
24:
16:
2367:
2366:
2362:
2361:
2360:
2358:
2357:
2356:
2342:
2341:
2318:
2315:
2242:
2224:
2164:
2163:
2116:
2094:
2089:
2088:
2084:
2068:
2045:Honestrosewater
2029:
2014:131.234.106.197
2001:
1897:
1873:
1805:
1800:
1790:Word completion
1760:PSPACE-complete
1735:Line completion
1676:Complete theory
1636:Complete mixing
1621:Complete market
1492:Almost complete
1464:
1370:
1343:
1318:well completion
1258:Well completion
1197:
1195:Making it saner
1154:tautology or a
1082:quantifications
1060:
362:
332:
324:Charles Stewart
308:
296:Patent nonsense
207:Generalisations
184:complete_metric
133:
111:
108:
105:
102:
101:
87:
12:
11:
5:
2365:
2363:
2355:
2354:
2344:
2343:
2335:
2334:
2314:
2311:
2310:
2309:
2308:
2307:
2306:
2305:
2273:
2272:
2271:
2260:
2257:
2254:
2249:
2245:
2239:
2236:
2231:
2227:
2223:
2218:
2215:
2209:
2203:
2200:
2197:
2193:
2190:
2187:
2184:
2181:
2178:
2175:
2172:
2130:
2124:
2119:
2113:
2108:
2102:
2097:
2083:
2080:
2079:
2078:
2073:comment added
2028:
2025:
2000:
1997:
1996:
1995:
1966:
1965:
1964:
1963:
1917:
1916:
1915:formal system.
1896:
1893:
1872:
1869:
1868:
1867:
1817:
1816:
1804:
1801:
1797:
1796:
1793:
1792:
1787:
1782:
1777:
1772:
1767:
1762:
1757:
1752:
1747:
1742:
1737:
1732:
1727:
1722:
1717:
1712:
1707:
1702:
1695:
1694:
1693:
1688:
1683:
1678:
1673:
1668:
1663:
1658:
1653:
1648:
1643:
1638:
1633:
1628:
1623:
1618:
1613:
1608:
1603:
1598:
1596:Complete group
1593:
1591:Complete graph
1586:
1585:
1584:
1579:
1574:
1569:
1564:
1559:
1554:
1549:
1544:
1539:
1534:
1529:
1524:
1519:
1514:
1512:Co-RE-complete
1509:
1507:Co-NP-complete
1504:
1502:Chain complete
1499:
1494:
1489:
1484:
1474:
1463:
1460:
1459:
1458:
1443:
1439:
1431:
1399:assumptions?
1396:
1395:
1381:
1380:
1342:
1339:
1338:
1337:
1336:
1335:
1334:
1333:
1309:
1308:
1307:
1306:
1292:disintegration
1284:
1283:
1269:
1196:
1193:
1192:
1191:
1190:
1189:
1188:
1187:
1168:
1167:
1166:
1165:
1158:tautology? --
1108:
1107:
1061:5 + 9 = 2 × 7.
1047:tautology and
1041:
1040:
1039:
1038:
1037:
1036:
1035:
1034:
1033:
1032:
1031:
1030:
1029:
1028:
1027:
1026:
1025:
1024:
1023:
1022:
1004:
966:
965:
964:
963:
962:
961:
960:
959:
958:
957:
956:
955:
954:
953:
952:
951:
950:
949:
932:
931:
930:
921:
912:Torkel Franzen
909:
902:Greg Restall.
900:
888:
860:
859:
858:
857:
856:
855:
854:
853:
852:
851:
850:
849:
848:
847:
846:
845:
810:
809:
808:
807:
806:
805:
804:
803:
802:
801:
800:
799:
798:
797:
796:
795:
776:
775:
774:
773:
772:
771:
770:
769:
768:
767:
766:
765:
764:
763:
762:
761:
739:
738:
737:
736:
735:
734:
733:
732:
731:
730:
729:
728:
727:
726:
725:
724:
705:
704:
703:
702:
701:
700:
699:
698:
697:
696:
695:
694:
693:
692:
683:
662:
661:
660:
659:
658:
657:
656:
655:
654:
653:
652:
651:
617:
616:
615:
614:
613:
612:
611:
610:
609:
608:
589:
588:
587:
586:
585:
584:
583:
582:
548:
547:
546:
545:
544:
543:
542:
541:
519:
518:
517:
516:
515:
514:
513:
512:
511:
510:
498:
497:
496:
495:
494:
493:
492:
491:
480:
479:
478:
477:
476:
475:
459:
455:
452:
445:Kleene algebra
432:
431:
430:
429:
408:
407:
406:
405:
404:
403:
395:
394:
393:
392:
377:
376:
331:
328:
319:
318:
307:
304:
284:
275:
259:
258:
229:
227:
199:uniform spaces
195:Complete_space
173:
172:
169:
158:Complete_space
147:
146:
143:
140:
132:
129:
126:
125:
122:
121:
118:
117:
115:
103:Disambiguation
84:disambiguation
74:
62:
61:
59:Disambiguation
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
2364:
2353:
2350:
2349:
2347:
2340:
2331:
2328:
2326:
2321:
2312:
2304:
2300:
2296:
2292:
2288:
2287:
2286:
2285:
2284:
2281:
2278:
2274:
2258:
2252:
2247:
2243:
2234:
2229:
2225:
2216:
2198:
2162:
2161:
2159:
2155:
2154:
2153:
2152:
2148:
2144:
2128:
2117:
2106:
2095:
2081:
2076:
2072:
2066:
2062:
2057:
2056:
2055:
2054:
2050:
2046:
2042:
2037:
2032:
2026:
2024:
2023:
2019:
2015:
2009:
2008:
2004:
1998:
1994:
1990:
1986:
1981:
1980:
1979:
1978:
1975:
1972:
1962:
1958:
1954:
1950:
1949:
1948:
1947:
1946:
1945:
1941:
1937:
1931:
1930:
1926:
1922:
1914:
1910:
1906:
1902:
1901:
1900:
1894:
1892:
1891:
1887:
1883:
1878:
1870:
1866:
1863:
1859:
1854:
1850:
1846:
1845:
1840:
1836:
1835:
1834:
1833:
1829:
1825:
1820:
1814:
1810:
1809:
1808:
1802:
1795:
1791:
1788:
1786:
1783:
1781:
1778:
1776:
1773:
1771:
1768:
1766:
1763:
1761:
1758:
1756:
1753:
1751:
1748:
1746:
1743:
1741:
1738:
1736:
1733:
1731:
1728:
1726:
1723:
1721:
1718:
1716:
1713:
1711:
1708:
1706:
1703:
1701:
1698:
1697:
1696:
1692:
1689:
1687:
1684:
1682:
1679:
1677:
1674:
1672:
1669:
1667:
1664:
1662:
1659:
1657:
1654:
1652:
1649:
1647:
1644:
1642:
1639:
1637:
1634:
1632:
1629:
1627:
1624:
1622:
1619:
1617:
1614:
1612:
1609:
1607:
1604:
1602:
1599:
1597:
1594:
1592:
1589:
1588:
1587:
1583:
1582:Complete game
1580:
1578:
1575:
1573:
1570:
1568:
1565:
1563:
1560:
1558:
1555:
1553:
1550:
1548:
1545:
1543:
1540:
1538:
1535:
1533:
1530:
1528:
1525:
1523:
1520:
1518:
1515:
1513:
1510:
1508:
1505:
1503:
1500:
1498:
1495:
1493:
1490:
1488:
1485:
1483:
1480:
1479:
1478:
1477:
1473:
1472:
1469:
1461:
1457:
1454:
1449:
1444:
1440:
1436:
1432:
1429:
1424:
1420:
1419:
1418:
1416:
1412:
1408:
1404:
1394:
1391:
1387:
1383:
1382:
1379:
1376:
1367:
1366:
1365:
1363:
1359:
1355:
1354:81.210.255.97
1351:
1340:
1332:
1328:
1324:
1319:
1315:
1314:
1313:
1312:
1311:
1310:
1305:
1301:
1297:
1293:
1288:
1287:
1286:
1285:
1282:
1279:
1274:
1270:
1267:
1263:
1259:
1255:
1251:
1247:
1243:
1239:
1235:
1231:
1227:
1226:
1225:
1224:
1220:
1216:
1211:
1206:
1202:
1194:
1186:
1182:
1178:
1174:
1173:
1172:
1171:
1170:
1169:
1164:
1161:
1157:
1153:
1148:
1144:
1140:
1136:
1132:
1128:
1124:
1120:
1116:
1112:
1111:
1110:
1109:
1106:
1102:
1098:
1093:
1092:
1091:
1090:
1087:
1083:
1078:
1074:
1070:
1066:
1058:
1055:equality and
1054:
1050:
1046:
1021:
1017:
1013:
1009:
1005:
1003:
999:
995:
991:
986:
985:
984:
983:
982:
981:
980:
979:
978:
977:
976:
975:
974:
973:
972:
971:
970:
969:
968:
967:
948:
945:
941:
937:
933:
929:
927:
922:
920:
918:
913:
910:
908:
906:
901:
899:
897:
892:
891:
889:
886:
882:
878:
877:
876:
875:
874:
873:
872:
871:
870:
869:
868:
867:
866:
865:
864:
863:
862:
861:
844:
840:
836:
831:
826:
825:
824:
823:
822:
821:
820:
819:
818:
817:
816:
815:
814:
813:
812:
811:
792:
791:
790:
789:
788:
787:
786:
785:
784:
783:
782:
781:
780:
779:
778:
777:
759:
755:
754:
753:
752:
751:
750:
749:
748:
747:
746:
745:
744:
743:
742:
741:
740:
721:
720:
719:
718:
717:
716:
715:
714:
713:
712:
711:
710:
709:
708:
707:
706:
691:
688:
684:
681:
676:
675:
674:
673:
672:
671:
670:
669:
668:
667:
666:
665:
664:
663:
650:
646:
642:
638:
634:
629:
628:
627:
626:
625:
624:
623:
622:
621:
620:
619:
618:
607:
604:
599:
598:
597:
596:
595:
594:
593:
592:
591:
590:
581:
577:
573:
569:
565:
561:
556:
555:
554:
553:
552:
551:
550:
549:
539:
535:
531:
527:
526:
525:
524:
523:
522:
521:
520:
508:
507:
506:
505:
504:
503:
502:
501:
500:
499:
488:
487:
486:
485:
484:
483:
482:
481:
473:
470:was added at
469:
464:
460:
456:
453:
450:
446:
442:
441:dynamic logic
438:
437:
436:
435:
434:
433:
428:
424:
420:
416:
412:
411:
410:
409:
401:
400:
399:
398:
397:
396:
389:
385:
381:
380:
379:
378:
375:
372:
368:
360:
359:
358:
357:
353:
349:
345:
340:
337:
329:
327:
325:
317:
313:
312:
311:
305:
303:
301:
297:
292:
288:
283:
281:
280:Michael Hardy
274:
272:
267:
265:
257:
255:
251:
247:
243:
239:
234:
233:
232:
228:
225:
223:
219:
214:
212:
208:
204:
203:Cauchy spaces
200:
196:
191:
189:
185:
180:
178:
170:
167:
163:
162:
161:
159:
155:
150:
149:etc? -- Anon
144:
141:
138:
137:
136:
130:
116:
99:
95:
90:
89:edit the page
85:
81:
80:
75:
72:
68:
67:
63:
60:
57:
54:
50:
45:
41:
35:
31:
27:
23:
18:
17:
2338:
2316:
2085:
2035:
2033:
2030:
2010:
2006:
2005:
2002:
1967:
1932:
1918:
1913:inconsistent
1912:
1908:
1904:
1898:
1874:
1852:
1848:
1842:
1838:
1821:
1818:
1806:
1794:
1487:ASR-complete
1465:
1447:
1434:
1422:
1397:
1385:
1344:
1317:
1249:
1246:completeness
1245:
1241:
1229:
1209:
1204:
1200:
1198:
1155:
1151:
1138:
1134:
1126:
1122:
1118:
1114:
1113:I know that
1076:
1072:
1068:
1064:
1056:
1052:
1048:
1044:
1042:
935:
925:
919:pp. 107–108.
916:
907:pp. 181–182.
904:
895:
884:
880:
829:
758:Talk:Theorem
568:Talk:Theorem
563:
559:
532:. They are "
341:
335:
333:
320:
314:
309:
293:
289:
285:
276:
271:Toby Bartels
268:
260:
253:
245:
237:
235:
230:
226:
215:
211:Toby Bartels
206:
192:
181:
177:Toby Bartels
174:
151:
148:
134:
131:completeness
94:project page
77:
40:WikiProjects
29:
2069:—Preceding
1882:68.0.124.33
1877:diode logic
1813:mathematics
1750:NP-complete
1745:NL-complete
1482:AI-complete
1407:92.50.98.91
1401:—Preceding
1348:—Preceding
1341:Equivalent?
1077:upside-down
680:truthbearer
466:—Preceding
449:Kleene star
388:Kleene star
384:modal logic
330:tautologies
216:Given that
1985:Zero sharp
1953:Zero sharp
1921:Zero sharp
1839:everything
1755:P-complete
1266:Completion
1254:Completion
1250:completion
1205:completely
1119:understand
940:entailment
938:notion of
898:pp. 40–41.
231:I removed
98:discussion
1438:complete.
1156:syntactic
1057:syntactic
1049:syntactic
885:tautology
458:variable?
415:tautology
367:Tautology
264:AxelBoldt
242:separable
2346:Category
2291:MOS:MATH
2158:MOS:MATH
1403:unsigned
1371:1 < 0
1350:unsigned
1290:towards
1242:Complete
1210:at least
1152:semantic
1053:semantic
1045:semantic
936:semantic
344:theorems
166:lattices
2071:undated
1862:Lambiam
1468:Lambiam
1453:Lambiam
1390:Lambiam
1375:Lambiam
1278:Lambiam
1234:MOS:DAB
1160:Lambiam
1123:meaning
1117:really
1086:Lambiam
1069:strings
1065:numbers
944:Lambiam
881:theorem
687:Lambiam
603:Lambiam
468:comment
463:Lambiam
371:Lambiam
1215:Arcfrk
1201:Ersatz
1137:know,
1073:normal
538:tokens
36:scale.
1323:Nimur
1131:Truth
1084:. --
928:p. 72
534:types
300:Daran
28:This
2299:talk
2295:mjog
2277:Emil
2147:talk
2143:mjog
2065:talk
2061:mjog
2049:talk
2036:some
2018:talk
1989:talk
1971:Emil
1957:talk
1940:talk
1925:talk
1886:talk
1875:The
1828:talk
1811:"In
1448:even
1435:only
1411:talk
1358:talk
1327:talk
1300:talk
1248:and
1219:talk
1181:talk
1139:your
1121:the
1101:talk
1016:talk
998:talk
839:talk
645:talk
637:talk
576:talk
423:talk
352:talk
222:Toby
209:. —
2067:)
1907:or
1451:--
1423:fix
1276:--
1127:you
490:be:
240:is
236:If
2348::
2301:)
2280:J.
2253:φ
2244:⊢
2238:→
2235:φ
2226:⊨
2217:φ
2214:∀
2208:↔
2149:)
2129:φ
2118:⊢
2112:↔
2107:φ
2096:⊨
2051:)
2020:)
1991:)
1974:J.
1959:)
1942:)
1927:)
1888:)
1880:--
1830:)
1413:)
1360:)
1329:)
1302:)
1244:,
1221:)
1183:)
1103:)
1018:)
1000:)
914:.
841:)
647:)
578:)
461:--
425:)
354:)
2297:(
2259:,
2256:)
2248:S
2230:S
2222:(
2202:)
2199:S
2196:(
2192:e
2189:t
2186:e
2183:l
2180:p
2177:m
2174:o
2171:C
2145:(
2123:S
2101:S
2063:(
2047:(
2016:(
1987:(
1955:(
1938:(
1923:(
1884:(
1826:(
1409:(
1356:(
1325:(
1298:(
1268:.
1217:(
1179:(
1135:I
1115:I
1099:(
1014:(
996:(
887:.
837:(
682:.
643:(
635:(
574:(
451:.
421:(
350:(
256:.
254:S
246:V
238:V
100:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.