What does it mean for a mathematical statement to be true? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T08:16:46Z http://mathoverflow.net/feeds/question/24350 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true What does it mean for a mathematical statement to be true? teil 2010-05-12T08:58:42Z 2010-05-25T23:08:02Z <p>As I understand it, mathematics is concerned with correct deductions using postulates and rules of inference. From what I have seen, statements are called true if they are correct deductions and false if they are incorrect deductions. If this is the case, then there is no need for the words true and false. I have read something along the lines that Godel's incompleteness theorems prove that there are true statements which are unprovable, but if you cannot prove a statement, how can you be certain that it is true? And if a statement is unprovable, what does it mean to say that it is true? </p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/24353#24353 Answer by Charles Stewart for What does it mean for a mathematical statement to be true? Charles Stewart 2010-05-12T09:18:46Z 2010-05-12T09:18:46Z <p>Both the optimistic view that all true mathematical statements can be proven and its denial are respectable positions in the philosophy of mathematics, with the pessimistic view being more popular. The question is more philosophical than mathematical, hence, I guess, your question's downvotes.</p> <p><a href="http://people.cohums.ohio-state.edu/tennant9/publications.html" rel="nofollow">Neil Tennant</a> 's <em>Taming of the True</em> (1997) argues for the optimistic thesis, and covers a lot of ground on the way. I recommend it to you if you want to explore the issue.</p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/24355#24355 Answer by Pierre-Yves Gaillard for What does it mean for a mathematical statement to be true? Pierre-Yves Gaillard 2010-05-12T09:38:30Z 2010-05-13T06:41:06Z <p>In my humble opinion, the best reference for this kind of questions is Bourbaki's "Set Theory" ... Actually, I would recommend Bourbaki's book to people who, like me, have trouble to understand other texts on the same subject. </p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/24370#24370 Answer by Douglas S. Stones for What does it mean for a mathematical statement to be true? Douglas S. Stones 2010-05-12T10:40:47Z 2010-05-12T10:40:47Z <p>The answer to the "unprovable but true" question is found on <a href="http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems" rel="nofollow">Wikipedia</a>:</p> <blockquote> <p>For each consistent formal theory T having the required small amount of number theory, the corresponding Gödel sentence G asserts: “G cannot be proved to be true within the theory T”...</p> <p>If G is true: G cannot be proved within the theory, and the theory is incomplete. If G is false: then G can be proved within the theory and then the theory is inconsistent, since G is both provable and refutable from T.</p> </blockquote> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/24382#24382 Answer by Gerald Edgar for What does it mean for a mathematical statement to be true? Gerald Edgar 2010-05-12T12:25:36Z 2010-05-12T12:25:36Z <p>I say that $$\int_{-\infty}^{+\infty} e^{-x^2} dx = \sqrt{\pi}$$ is <strong>true</strong> .... and any talk about "correct deductions using postulates" is a rationalization added later. Mathematicians knew this fact (yes, <strong>fact</strong>) even before the field of mathematical logic began.</p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/24385#24385 Answer by Joel David Hamkins for What does it mean for a mathematical statement to be true? Joel David Hamkins 2010-05-12T13:07:17Z 2010-05-12T13:07:17Z <p>Tarski defined what it means to say that a first-order statement is true in a structure $M\models \varphi$ by a simple induction on formulas. This is a completely mathematical definition of truth.</p> <p>Goedel defined what it means to say that a statement $\varphi$ is <em>provable</em> from a theory $T$, namely, there should be a finite sequence of statements constituting a <em>proof</em>, meaning that each statement is either an axiom or follows from earlier statements by certain logical rules. (There are numerous equivalent proof systems, useful for various purposes.) </p> <p>The Completeness Theorem of first order logic, proved by Goedel, asserts that a statement $\varphi$ is true in all models of a theory $T$ if and only if there is a proof of $\varphi$ from $T$. Thus, for example, any statement in the language of group theory is true in all groups if and only if there is a proof of that statement from the basic group axioms. </p> <p>The Incompleteness Theorem, also proved by Goedel, asserts that any consistent theory $T$ extending some a very weak theory of arithmetic admits statements $\varphi$ that are not provable from $T$, but which are true in the intended model of the natural numbers. That is, we prove in a stronger theory that is able to speak of this intended model that $\varphi$ is true there, and we also prove that $\varphi$ is not provable in $T$. This is the sense in which there are true-but-unprovable statements. </p> <p>The situation can be confusing if you think of <em>provable</em> as a notion by itself, without thinking much about varying the collection of axioms. After all, as the background theory becomes stronger, we can of course prove more and more. The true-but-unprovable statement is really unprovable-in-$T$, but provable in a stronger theory. </p> <p>Actually, although ZFC proves that every arithmetic statement is either true or false in the standard model of the natural numbers, nevertheless there are certain statements for which ZFC does not prove which of these situations occurs. </p> <p>Much or almost all of mathematics can be viewed with the set-theoretical axioms ZFC as the background theory, and so for most of mathematics, the naive view equating <em>true</em> with <em>provable in ZFC</em> will not get you into trouble. But the independence phenomenon will eventually arrive, making such a view ultimately unsustainable. The fact is that there are numerous mathematical questions that cannot be settled on the basis of ZFC, such as the Continuum Hypothesis and many other examples. We have of course many strengthenings of ZFC to stronger theories, involving large cardinals and other set-theoretic principles, and these stronger theories settle many of those independent questions. Some set theorists have a view that these various stronger theories are approaching some kind of undescribable limit theory, and that it is that limit theory that is the true theory of sets. Others have a view that set-theoretic truth is inherently unsettled, and that we really have a multiverse of different concepts of set. On that view, the situation is that we seem to have no <em>standard</em> model of sets, in the way that we seem to have a standard model of arithmetic. </p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/24393#24393 Answer by André Henriques for What does it mean for a mathematical statement to be true? André Henriques 2010-05-12T14:08:05Z 2010-05-12T20:08:45Z <p>There are two answers to your question:<Br></p> <p>&bull; A statement is true <em>in absolute</em> if it can be proven formally from the axioms.<br> &bull; A statement is true <em>in a model</em> if, using the interpretation of the formulas inside the model, it is a valid statement about those interpretations.</p> <p>Assuming your set of axioms is consistent (which is equivalent to the existence of a model), then<br> $\qquad$ truth in absolute $\Rightarrow$ truth in any model.</p> <p>Conversely, if a statement is not true in absolute, then there exists a model in which it is false.</p> <hr> <p>Let's take an example to illustrate all this. Let $P$ be a property of integer numbers, and let's assume that you want to know whether the formula $\exists n\in \mathbb Z : P(n)$ is true. Three situations can occur:<br> &bull; You're able to find $n\in \mathbb Z$ such that $P(n)$.<br> &bull; You're able to prove that $\not\exists n\in \mathbb Z : P(n)$<br> &bull; Neither of the above.<br> In the latter case, there will exist a model $\tilde{\mathbb Z}$ of the integers (it's going to be some ring, probably much bigger than $\mathbb Z$, and that satisfies all the axioms that "characterize" $\mathbb Z$) that contains an element $n\in \tilde {\mathbb Z}$ satisgying $P$.</p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/24408#24408 Answer by jamesbgood for What does it mean for a mathematical statement to be true? jamesbgood 2010-05-12T16:03:48Z 2010-05-12T16:03:48Z <p>If ‘true’ isn’t the same as provable according to a set of specific axioms and rules, then, since every such provable statement is true, then there must be ‘true’ statements that are not provable – otherwise provable and true would be synonymous. That means that as long as you define true as being different to provable, you don’t actually need Godel's incompleteness theorems to show that there are true statements which are unprovable.</p> <p>Tarski’s definition of truth assumes that there can be a statement A which is true because there can exist a infinite number of proofs of an infinite number of individual statements that together constitute a proof of statement A - even if no proof of the entirety of these infinite number of individual statements exists. So Tarksi’s proof is basically reliant on a Platonist viewpoint that an infinite number of proofs of infinite number of particular individual statements exists, even though no proof can be shown that this is the case. Whether Tarski’s definition is a clarification of truth is a matter of opinion, not a matter of fact.</p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/24414#24414 Answer by Qfwfq for What does it mean for a mathematical statement to be true? Qfwfq 2010-05-12T17:11:26Z 2010-05-12T17:11:26Z <p>This is a philosophical question, rather than a matehmatical one. Anyway personally (it's a metter of personal taste!) I totally agree that mathematics is more about correctness than about truth.</p> <p>In the following paragraphs I will try to (partially) answer your specific doubts about Goedel incompleteness in a down to earth way, with the caveat that I'm no expert in logic nor I am a philosopher. (See also <a href="http://mathoverflow.net/questions/22635/can-we-prove-set-theory-is-consistent" rel="nofollow">this</a> MO question, from which I will borrow a piece of notation). I had some doubts about whether to post this answer, as it resulted being a bit too verbose, but in the end I thought it may help to clarify the related philosophical questions to a non-mathematician, and also to myself.</p> <hr> <p>The point is that there are several "levels" in which you can "state" a certain mathematical statement; more: in theory, in order to make clear what you <em>formally</em> want to state, along with the informal "verbal" mathematical statement itself (such as $2+2=4$) you should specify in which "level" it sits. (Of course, as mathematicians don't want to get crazy, in everyday practice all of this is left completely as understood, even in mathematical logic). </p> <p>For example, suppose we work in the framework of Zermelo-Frenkel set theory ZF (plus a formal logical deduction system, such as Hilbert-Frege HF): let's call it <strong>Set1</strong>. In this setting, you can talk formally about sets and draw correct (relative to the deduction system) inferences about sets from the axioms. You can also formally talk and prove things about other mathematical entities (such as $\mathbb{N}$, $\mathbb{R}$, algebraic varieties or operators on Hilbert spaces), but everything always boils down to sets. </p> <p>Still in this framework (that we called <strong>Set1</strong>) you can also play the game that logicians play: talking, and proving things, about <em>theories</em> $T$. How? Well, you only have sets, and in terms of sets alone you can define "logical symbols", the "language" $L$ of the theory you want to talk about, the "well formed formulae" in $L$, and also the <em>set</em> of "axioms" of your theory. Examples of such theories are Peano arithmetic PA (that in this incarnation we should perhaps call <strong>PA2</strong>), group theory, and (which is the reason of your perplexity) a version of Zermelo-Frenkel set theory ZF as well (that we will call <strong>Set2</strong>). Note that every piece of <strong>Set2</strong> "is" a set of <strong>Set1</strong>: even the "$\in$" symbol, or the "$=$" symbol, of <strong>Set2</strong> is itself a set (e.g. a string of 0's and 1's specifying it's ascii character code...) of which we can formally talk within <strong>Set1</strong>, likewise every logical formula regardless of its "truth" or even well-formedness. Stating that a certain formula can be deduced from the axioms in <strong>Set2</strong> reduces to a certain "combinatorial" (syntactical) assertion in <strong>Set1</strong> about <em>sets</em> that describe sentences of <strong>Set2</strong>. </p> <p>The good think about having a meta-theory <strong>Set1</strong> in which to construct (or from which to see) other formal theories $T$ is that you can <em>compare</em> different theories, and the good thing of this meta-theory being a <em>set theory</em> is that you can talk of <em>models</em> of these theories: you have a notion of semantics. </p> <p>In the light of what we've said so far, you can think of the statement "$2+2=4$" either as a statement about natural numbers (elements of $\mathbb{N}$, constructed as "finite von Neumann ordinals" within <strong>Set1</strong>, for which $0:=\emptyset$, $1:=${$\emptyset$} etc.); or as a sentence of <strong>PA2</strong> (which is actually itself a bare set, of which <strong>Set1</strong> can talk). </p> <p>An interesting (or quite obvious?) thing is that in some cases it makes sense to go on to "construct theories" also within the lower levels. For example, within <strong>Set2</strong> you can easily mimick what you did at the above level and have formal theories, such as ZF set theory itself, again (which we can call <strong>Set3</strong>)! A crucial observation of Goedel's is that you can construct a version of Peano arithmetic not only within <strong>Set2</strong> but even within <strong>PA2</strong> itself (not surprisingly we'll call such a theory <strong>PA3</strong>). So you have natural numbers (of which <strong>PA2</strong> formulae talk of) codifying sentences of Peano arithmetic!</p> <p>So, if we loosely write "$A-\triangleright B$" to indicate that the theory or structure $B$ can be "constructed" (or "formalized") within the theory $A$, we have a picture like this:</p> <p><strong>Set1</strong> $-\triangleright$ ($\mathbb{N}$; <strong>PA2</strong> $-\triangleright$ <strong>PA3</strong>; <strong>Set2</strong> $-\triangleright$ <strong>Set3</strong>; <strong>T2</strong> $-\triangleright$ <strong>T3</strong>; ...).</p> <p>So, you see that in some cases a theory can "talk about itself": <strong>PA2</strong> talks about sentences of <strong>PA3</strong> (as they are just natural numbers!), and there is a formally precise way of stating and proving, within <strong>Set1</strong>, that "<strong>PA3</strong> is essentially the same thing as <strong>PA2</strong> in disguise". </p> <p>Furthermore, you can make sense of otherwise loose questions such as "Can the theory $T$ prove it's own consistency?". How? Well, you construct (within <strong>Set1</strong>) a version of $T$, say <strong>T2</strong>, and within <strong>T2</strong> formalize another theory <strong>T3</strong> that also "works exatly as $T$". Then you have to formalize the notion of proof. </p> <p>So, the Goedel incompleteness result stating that</p> <blockquote> <p>"Peano arithmetic cannot prove its own consistency"</p> </blockquote> <p>is really a theorem of <strong>Set1</strong> asserting that "<strong>PA2</strong> cannot prove the consistency of <strong>PA3</strong>". This means: however you've codified the axioms and formulae of PA as natural numbers and the deduction rules as sentences about natural numbers (all within <strong>PA2</strong>), there is no way, manipulating correctly the formulae of <strong>PA2</strong>, to obtain a formula (expressed of course in terms of logical relations between natural numbers, according to your codification) that reads like "It is not true that axioms of <strong>PA3</strong> imply $1\neq 1$". </p> <p>You can say an exactly analogous thing about <strong>Set2</strong> $-\triangleright$ <strong>Set3</strong>, and likewise about every theory "at least compliceted as PA".</p> <p>Now, about truth. First of all, the distinction between provability a and truth, as far as I understand it. It is easy to say what being "provable" means for a formula in a formal theory $T$: it means that you can obtain it applying correct inferences starting from the axioms of $T$. This is a purely syntactical notion. </p> <p>The concept of "truth", as understood in the <em>semantic</em> sense, poses some problems, as it depends on a set-theory-like meta-theory within which you are supposed to work (say, <strong>Set1</strong>). Saying that a certain formula of $T$ is true means that it holds true once interpreted in <em>every</em> model of $T$ (Of course for this definition to be of any use, $T$ must <em>have</em> models!).</p> <p>If we could convince ourselves in a rigorous way that ZF was a consistent theory (and hence had "models"), it would be great because then we could simply define a sentence to be "true" if it holds in every model. This was Hilbert's program. Unfortunately, as said above, it is impossible to rigorously (within ZF itself for example) prove the consistency of ZF.</p> <hr> <p>About true undecidable statements. </p> <p>The assertion of Goedel's that</p> <blockquote> <p>"There is a property of natural numbers that is true but unprovable from the axioms of Peano arithmetic"</p> </blockquote> <p>is a theorem of <strong>Set1</strong> stating that there is a sentence of <strong>PA2</strong> that holds true* in any model of <strong>PA2</strong> (such as $\mathbb{N}$) but is not obtainable as the conclusion of a finite set of correct logical inference steps from the axioms of <strong>PA2</strong>.</p> <p>*(that a sentence of <strong>PA2</strong> is "true in any model" here means: "the corresponding interpretation of that sentence in each model, which is a sentence of <strong>Set1</strong>, is a consequence of the axioms of <strong>Set1</strong>")</p> <p>According to Goedel's theorems, you can find undecidable statements in any consistent theory which is rich enough to describe elementary arithmetic. That is, such a theory is either inconsistent or incomplete.</p> <hr> <p>About meaning of "truth".</p> <p>Foundational problems about the <em>absolute</em> meaning of truth arise in the "zeroth" level, i.e. about sentences expressed in what is supposed to be the foundational theory <strong>Th0</strong> for all of mathematics According to some, this <strong>Th0</strong> ought to be itself a formal theory, such as ZF or some theory of classes or something weaker or different; and according to others it cannot be prescribed but in an informal way and reflect some ontological -or psychological- entity such as the "real universe of sets". I would roughly classify the former viewpoint as "formalism" and the second as "platonism".</p> <p>One point in favour of the platonism is that you have an absolute concept of truth in mathematics. One drawback is that you have to commit an act of faith about the existence of some "true universe of sets" on which you have no rigorous control (and hence the absolute concept of truth is not formally well defined). According to platonism, the Goedel incompleteness results say that </p> <blockquote> <p>"Logic cannot capture all of mathematical truth".</p> </blockquote> <p>On the other hand, one point in favour of "formalism" (in my sense) is that you don't need any ontological commitment about mathematics, but you still have a perfectly rigorous -though relative- control of your statements via checking the correctness of their derivation from some set of axioms (axioms that vary according to what you <em>want</em> to do). One consequence (not necessarily a drawback in my opinion) is that the Goedel incompleteness results assume the meaning: </p> <blockquote> <p>"There is no place for an absolute concept of truth: you must accept that mathematics (unlike the natural sciences) is more a science about correctness than a science about truth".</p> </blockquote> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/24417#24417 Answer by Gabriel Girón-Garnica for What does it mean for a mathematical statement to be true? Gabriel Girón-Garnica 2010-05-12T17:59:58Z 2010-05-12T17:59:58Z <p>This may help: <a href="http://www.ditext.com/tarski/tarski.html" rel="nofollow">http://www.ditext.com/tarski/tarski.html</a>.</p> <p>Is it Philosophy or Mathematics? Both?</p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/24456#24456 Answer by George Lowther for What does it mean for a mathematical statement to be true? George Lowther 2010-05-13T00:10:21Z 2010-05-13T00:41:48Z <p>This is a question which I spent some time thinking about myself when first encountering Goedel's incompleteness theorems. I should add the disclaimer that I am no expert in logic and set theory, but I think I can answer this question sufficiently well to understand statements such as Goedel's incompleteness theorems (at least, sufficiently well to satisfy myself).</p> <p>One one end of the scale, there are statements such as CH and AOC which are independent of ZF set theory, so it is not at all clear if they are <em>really true</em> and we could argue about such things forever. Even for statements which are true in the sense that it is possible to prove that they hold in all models of ZF, it is still possible that in an alternative theory they could fail. Even things like the intermediate value theorem, which I think we can agree is true, can <a href="http://en.wikipedia.org/w/index.php?title=Constructive_analysis&amp;oldid=356221232#The_intermediate_value_theorem" rel="nofollow">fail with intuitionistic logic</a>.</p> <p>On the other end of the scale, there are statements which we should agree are true independently of any model of set theory or foundation of maths. For example, I know that 3+4=7. There are simple rules for addition of integers which we just have to follow to determine that such an identity holds. You might come up with some freaky model of integer addition following different rules where 3+4=6, but that is really a different statement involving a different operation from what is commonly understood by addition. Similarly, I know that there are positive integral solutions to $x^2+y^2=z^2$. To verify that such equations have a solution we just need to iterate through all possible triples $(x,y,z)\in\mathbb{N}^3$ and test whether $x^2+y^2=z^2$, stopping when a solution is reached. In this case we are guaranteed to arrive at some solution, such as (3,4,5), proving that there is indeed a solution to the equation.</p> <p>More generally, consider any statement which can be interpreted in terms of a deterministic, computable, algorithm. If we simply follow through that algorithm and find that, after some finite number of steps, the algorithm terminates in some state then the truth of that statement should hold regardless of the logic system we are founding our mathematical universe on.</p> <p>So, there are statements of the following form: "A specified program (P) for some Turing machine and given initial state (S0) will eventually terminate in some specified final state (S1)". If such a statement is true, then we can prove it by simply running the program - step by step until it reaches the final state. Such statements, I would say, must be true in all reasonable foundations of logic &amp; maths. Identities involving addition and multiplication of integers fall into this category, as there are standard rules of addition &amp; multiplication which we can program. So does the existence of solutions to diophantine equations like $x^2+y^2=z^2$. Existence in any one reasonable logic system implies existence in any other.</p> <p>At the next level, there are statements which are falsifiable by a computable algorithm, which are of the following form: "A specified program (P) for some Turing machine with initial state (S0) will never terminate". For example, "There are no positive integer solutions to $x^3+y^3=z^3$" fall into this category. You can write a program to iterate through all triples (x,y,z) checking whether $x^3+y^3=z^3$. Fermat's last theorem tells us that this will never terminate. We can never prove this by running such a program, as it would take forever. However, the negation of statement such as this is just of the previous form, whose truth I just argued, holds independently of the "reasonable" logic system used (this is basically $\omega$-consistency, used by Goedel). That is, if I can write an algorithm which I can prove is never going to terminate, then I wouldn't believe some alternative logic which claimed that it did. In the same way, if you came up with some alternative logical theory claiming that there there are positive integer solutions to $x^3+y^3=z^3$ (without providing any explicit solutions, of course), then I wouldn't hesitate in saying that the theory is wrong. Statements like $$\int_{-\infty}^\infty e^{-x^2}\,dx=\sqrt{\pi}$$ are also of this form. Assuming we agree on what integration, $e^{-x^2}$, $\pi$ and $\sqrt{\ }$ mean, then we can write a program which will evaluate both sides of this identity to ever increasing levels of accuracy, and terminates if the two sides disagree to this accuracy. The identity is then equivalent to the statement that this program never terminates.</p> <p>Going through the proof of Goedels incompleteness theorem generates a statement of the above form. i.e., "Program P with initial state S0 never terminates" with two properties. (1) If the program P terminates it returns a proof that the program never terminates in the logic system. (2) If there exists a proof that P terminates in the logic system, then P never terminates.</p> <p>So, if P terminated then it would generate a proof that the logic system is inconsistent and, similarly, if the program never terminates then it is not possible to prove this within the given logic system. </p> <p>In fact, P can be constructed as a program which searches through all possible proof strings in the logic system until it finds a proof of "P never terminates", at which point it terminates. The assumptions required for the logic system are that is "effectively generated", basically meaning that it is possible to write a program checking all possible proofs of a statement.</p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/24475#24475 Answer by Emerton for What does it mean for a mathematical statement to be true? Emerton 2010-05-13T06:05:25Z 2010-05-25T18:58:33Z <p>Let me offer an explanation of the difference between truth and provability from postulates which is (I think) slightly different from those already presented. (Although perhaps close in spirit to that of Gerald Edgars's.)</p> <p>First of all, if we are talking about results of the form "for all groups, ..." or "for all topological spaces, ... " then in this case truth and provability are essentially the same: a result is true if it can be deduced from the axioms. (There is the caveat that the notion of group or topological space involves the underlying notion of set, and so the choice of ambient set theory plays a role. This role is usually tacit, but for certain questions becomes overt and important; nevertheless, I will ignore it here, possibly at my peril.)</p> <p>But other results, e.g in number theory, reason not from axioms but from the natural numbers. Of course, along the way, you may use results from group theory, field theory, topology, ..., which will be applicable provided that you apply them to structures that satisfy the axioms of the relevant theory. But in the end, everything rests on the properties of the natural numbers, which (by Godel) we know can't be captured by the Peano axioms (or any other finitary axiom scheme). How do we agree on what is true then? Well, experience shows that humans have a common conception of the natural numbers, from which they can reason in a consistent fashion; and so there is agreement on truth.</p> <p>If you like, this is not so different from the model theoretic description of truth, except that I want to add that we are given certain models (e.g. the standard model of the natural numbers) on which we agree and which form the basis for much of our mathematics. (Again, certain types of reasoning, e.g. about arbitrary subsets of the natural numbers, can lead to set-theoretic complications, and hence (at least potential) disagreement, but let me also ignore that here.) </p> <p>In summary: certain areas of mathematics (e.g. number theory) are not about deductions from systems of axioms, but rather about studying properties of certain fundamental mathematical objects. Axiomatic reasoning then plays a role, but is not the fundamental point.</p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/24614#24614 Answer by Carl Mummert for What does it mean for a mathematical statement to be true? Carl Mummert 2010-05-14T12:29:14Z 2010-05-14T12:29:14Z <p>The Stanford Encyclopedia of Philosophy has several articles on theories of truth, which may be helpful for getting acquainted with what is known in the area. Their top-level article is</p> <p><a href="http://plato.stanford.edu/entries/truth/" rel="nofollow">http://plato.stanford.edu/entries/truth/</a></p> <p>There are several more specialized articles in the table of contents. </p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/25913#25913 Answer by Matoudo for What does it mean for a mathematical statement to be true? Matoudo 2010-05-25T18:40:05Z 2010-05-25T18:40:05Z <p>I think it is Philosophical Question having a Mathematical Response. </p> <p>This question cannot be rigorously expressed nor solved mathematically, nevertheless a philosopher may "understand" the question and may even "find" the response. This response obviously exists because it can only be YES or NO (and this is a binary mathematical response), unfortunately the correct answer is not yet known. Despite the fact no rigorous argument may lead (even by a philosopher) to discover the correct response, the response may be discovered empirically in say some billion years simply by oberving if all nowadays mathematical conjectures have been solved or not. </p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/25936#25936 Answer by nickname for What does it mean for a mathematical statement to be true? nickname 2010-05-25T21:17:10Z 2010-05-25T21:17:10Z <p>I am attonished by how little is known about logic by mathematicians. I am sorry, I dont want to insult anyone, it is just a realisation about the common "meta-knowledege" about what we are doing. (This is not the first question that I see here that should be solved in an undergraduate course in mathematical logic)</p> http://mathoverflow.net/questions/24350/what-does-it-mean-for-a-mathematical-statement-to-be-true/25949#25949 Answer by Timothy Chow for What does it mean for a mathematical statement to be true? Timothy Chow 2010-05-25T23:08:02Z 2010-05-25T23:08:02Z <p>Part of the reason for the confusion here is that the word "true" is sometimes used informally, and at other times it is used as a technical mathematical term.</p> <p>Informally, asserting that "X is true" is usually just another way to assert X itself. When I say, "I believe that the Riemann hypothesis is true," I just mean that I believe that all the non-trivial zeros of the Riemann zeta-function lie on the critical line. (Note in particular that I'm not claiming to have a <i>proof</i> of the Riemann hypothesis!) This insight is due to Tarski. If you know what a mathematical statement X asserts, then "X is true" states no more and no less than what X itself asserts. Now, there is a slight caveat here: Mathematicians being cautious folk, some of them will refrain from <i>asserting</i> that X is true unless they <i>know how to prove</i> X or at least <i>believe that X has been proved</i>. So in some informal contexts, "X is true" actually means "X is proved." As we would expect of informal discourse, the usage of the word is not always consistent.</p> <p>The word "true" can, however, be defined mathematically. Truth is a property of sentences. If you have defined a formal language $L$, such as the first-order language of arithmetic, then you can define a sentence $S$ in $L$ to be <i>true</i> if and only if $S$ holds of the natural numbers. So for example the sentence $\exists x: x > 0$ is true because there does indeed exist a natural number greater than 0. Here it is important to note that <i>true is not the same as provable</i>. The formal sentence corresponding to the twin prime conjecture (which I won't bother writing out here) is true if and only if there are infinitely many twin primes, and it doesn't matter that we have no idea how to prove or disprove the conjecture.</p> <p>Now, perhaps this bothers you. Is it legitimate to define truth in this manner? Some people don't think so. However, note that there is really nothing different going on here from what we normally do in mathematics. When we were sitting in our number theory class, we all knew what it meant for there to be infinitely many twin primes. Why should we suddenly stop understanding what this means when we move to the mathematical logic classroom? If we understand what it means, then there should be no problem with defining some particular formal sentence to be true if and only if there are infinitely many twin primes. It is as legitimate a mathematical definition as any other mathematical definition.</p> <p>Now, how can we have true but unprovable statements? And if we had one how would we know? Joel David Hamkins explained this well, but in brief, "unprovable" is always with respect to some set of axioms. Therefore it is possible for some statement to be true but unprovable from some particular set of axioms $A$. In order to <i>know</i> that it's true, of course, we still have to prove it, but that will be a proof from some <i>other</i> set of axioms besides $A$.</p>