{"id":926,"date":"2019-01-02T17:33:25","date_gmt":"2019-01-02T17:33:25","guid":{"rendered":"http:\/\/generic.wordpress.soton.ac.uk\/skywritings\/?p=926"},"modified":"2019-01-02T17:33:25","modified_gmt":"2019-01-02T17:33:25","slug":"truth-vs-certainty","status":"publish","type":"post","link":"https:\/\/generic.wordpress.soton.ac.uk\/skywritings\/2019\/01\/02\/truth-vs-certainty\/","title":{"rendered":"Truth vs. Certainty"},"content":{"rendered":"

<\/a>In \u201cWhat if Current Foundations of Mathematics are Inconsistent?<\/a>\u201d Voevodsky (2010) suggests that there are three options in light of Goedel\u2019s theorems:<\/p>\n

Either:<\/b>
\n1. If we \u201cknow\u201d arithmetic is consistent, it should be provable, so Goedel’s second incompleteness theorem is false.<\/p>\n

Or:<\/b>
\n2. Admit there can be provably unprovable arithmetic \u201cknowledge\u201d<\/p>\n

Or:<\/b>
\n3. Admit that \u201cknowing\u201d arithmetic is consistent is an illusion, and arithmetic is inconsistent.<\/p><\/blockquote>\n

But why make any mention of psychological states like \u201cknowing\u201d at all? <\/p>\n

Surely, regardless of our intuitions, the only truths (besides the Cogito) that we can \u201cknow\u201d to be true, i.e., certain (rather than just probably true on all available evidence) are the truths that we have proved to be necessarily true, on pain of contradiction<\/p>\n

Why not the following?\u2014<\/p>\n

4. Admit that arithmetic\u2019s consistency is provably unprovable, but that then it may either be (unprovably) true (rather than unprovably \u201cknown\u201d) that arithetic is consistent \u2014 or it may be false that arithmetic is consistent.<\/p>\n

5. If arithmetic\u2019s consistency is true (but unprovable, hence unknowable), then all proven theorems are true (except that their consistency cannot be proven).<\/p>\n

6. If arithmetic\u2019s consistency is false, then either an instance of inconsistency will be found (hence inconsistency will be \u201cproven\u201d) or it will not be found, in which case it will never be known whether arithmetic is consistent or inconsistent, hence whether the negations of theorems we have proved are also provable. <\/p><\/blockquote>\n

\u201cReliability\u201d does not seem to be a valid substitute for provability-on-pain-of-contradiction. It would make mathematics into something more like inductive empirical science: provisionally true on the available evidence until\/unless contradictory evidence is encountered. That is just the conjunction of 5 and 6. It also has some of the flavor of intuitionistic reasoning (insofar as the excluded middle is concerned).<\/p>\n

As usual, this uncertainty only besets infinities, not finite constructions.<\/p>\n

Or does the notion of \u201cdeductive rigor\u201d all reside in the provability of consistency in nonfinite mathematics?<\/p>\n

(The problem of possible mistakes in proofs<\/a> (and the partial solution of computer-aided proofs) concerns another kind of reliability, and again seems to be a solution only for finite mathematics.)<\/p>\n","protected":false},"excerpt":{"rendered":"

In \u201cWhat if Current Foundations of Mathematics are Inconsistent?\u201d Voevodsky (2010) suggests that there are three options in light of Goedel\u2019s theorems: Either: 1. If we \u201cknow\u201d arithmetic is consistent, it should be provable, so Goedel’s second incompleteness theorem is false. Or: 2. Admit there can be provably unprovable arithmetic \u201cknowledge\u201d Or: 3. Admit that … <\/p>\n

Continue reading “Truth vs. Certainty”<\/span><\/a><\/p>\n","protected":false},"author":3074,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-926","post","type-post","status-publish","format-standard","hentry","category-uncategorised"],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/generic.wordpress.soton.ac.uk\/skywritings\/wp-json\/wp\/v2\/posts\/926","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/generic.wordpress.soton.ac.uk\/skywritings\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/generic.wordpress.soton.ac.uk\/skywritings\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/generic.wordpress.soton.ac.uk\/skywritings\/wp-json\/wp\/v2\/users\/3074"}],"replies":[{"embeddable":true,"href":"https:\/\/generic.wordpress.soton.ac.uk\/skywritings\/wp-json\/wp\/v2\/comments?post=926"}],"version-history":[{"count":1,"href":"https:\/\/generic.wordpress.soton.ac.uk\/skywritings\/wp-json\/wp\/v2\/posts\/926\/revisions"}],"predecessor-version":[{"id":927,"href":"https:\/\/generic.wordpress.soton.ac.uk\/skywritings\/wp-json\/wp\/v2\/posts\/926\/revisions\/927"}],"wp:attachment":[{"href":"https:\/\/generic.wordpress.soton.ac.uk\/skywritings\/wp-json\/wp\/v2\/media?parent=926"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/generic.wordpress.soton.ac.uk\/skywritings\/wp-json\/wp\/v2\/categories?post=926"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/generic.wordpress.soton.ac.uk\/skywritings\/wp-json\/wp\/v2\/tags?post=926"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}