{"id":328,"date":"2026-04-27T23:24:50","date_gmt":"2026-04-28T03:24:50","guid":{"rendered":"https:\/\/sites.nd.edu\/yuanshan-li\/?page_id=328"},"modified":"2026-04-27T23:24:51","modified_gmt":"2026-04-28T03:24:51","slug":"thoughts","status":"publish","type":"page","link":"https:\/\/sites.nd.edu\/yuanshan-li\/thoughts\/","title":{"rendered":"Thoughts"},"content":{"rendered":"\n
\n

At a purely formal level, one could call probability theory the study of\u00a0measure spaces\u00a0with total measure one, but that would be like calling number theory the study of strings of digits which terminate. (Terence Tao<\/a>)<\/p>\n<\/blockquote>\n\n\n\n

\n

Someone had told Linnik<\/a> the news beginning with one of the corollaries: Matiyasevich can construct a polynomial with integer coefficients such that the set of all natural number values assumed by this polynomial for natural number values of the variables is exactly the set of all primes.\u201d \u201cThat\u2019s wonderful,\u201d Linnik replied. \u201cMost likely we soon shall learn a lot of new things about primes.\u201d Then it was explained to him that the main result is in fact much more general: Such a polynomial can be constructed for every recursively enumerable set, i.e., a set the elements of which can be listed in some order by an algorithm. \u201cIt\u2019s a pity,\u201d Linnik said. \u201cMost likely, we shall not learn anything new about the primes.\u201d (Yuri Matiyasevich<\/a>)<\/p>\n<\/blockquote>\n\n\n\n

\n

The very possibility of mathematical science seems an
insoluble contradiction. If this science is only deductive
in appearance, from whence is derived that perfect rigour
which is challenged by none? If, on the contrary, all the
propositions which it enunciates may be derived in order
by the rules of formal logic, how is it that mathematics
is not reduced to a gigantic tautology? (Henri Poincar\u00e9<\/a>)<\/p>\n<\/blockquote>\n\n\n\n

\n

Questions of this kind show just how incomplete a picture of mathematics was provided by some philosophers early in the twentieth century, who held that it was merely a giant collection of tautologies. The way that tautologies relate to each other is fascinating and important, so even if one believes that mathematics consists of tautologies, the \u201cmerely\u201d is unacceptable. (Timothy Gowers<\/a>)<\/p>\n<\/blockquote>\n","protected":false},"excerpt":{"rendered":"

At a purely formal level, one could call probability theory the study of\u00a0measure spaces\u00a0with total measure one, but that would be like calling number theory the study of strings of digits which terminate. (Terence Tao) Someone had told Linnik the news beginning with one of the corollaries: Matiyasevich can construct a polynomial with integer coefficients … Continue reading Thoughts<\/span><\/a><\/p>\n","protected":false},"author":4419,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_monsterinsights_skip_tracking":false,"footnotes":""},"class_list":["post-328","page","type-page","status-publish","hentry"],"yoast_head":"\nThoughts - Yuanshan Li (Tom)<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/sites.nd.edu\/yuanshan-li\/thoughts\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Thoughts - Yuanshan Li (Tom)\" \/>\n<meta property=\"og:description\" content=\"At a purely formal level, one could call probability theory the study of\u00a0measure spaces\u00a0with total measure one, but that would be like calling number theory the study of strings of digits which terminate. (Terence Tao) Someone had told Linnik the news beginning with one of the corollaries: Matiyasevich can construct a polynomial with integer coefficients … Continue reading Thoughts\" \/>\n<meta property=\"og:url\" content=\"https:\/\/sites.nd.edu\/yuanshan-li\/thoughts\/\" \/>\n<meta property=\"og:site_name\" content=\"Yuanshan Li (Tom)\" \/>\n<meta property=\"article:modified_time\" content=\"2026-04-28T03:24:51+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/thoughts\\\/\",\"url\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/thoughts\\\/\",\"name\":\"Thoughts - Yuanshan Li (Tom)\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#website\"},\"datePublished\":\"2026-04-28T03:24:50+00:00\",\"dateModified\":\"2026-04-28T03:24:51+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/thoughts\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/thoughts\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/thoughts\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Thoughts\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#website\",\"url\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/\",\"name\":\"Yuanshan Li (Tom)\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#\\\/schema\\\/person\\\/e1aa5588a6c63d16955482765afa30fb\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":[\"Person\",\"Organization\"],\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#\\\/schema\\\/person\\\/e1aa5588a6c63d16955482765afa30fb\",\"name\":\"Yuanshan Li\",\"logo\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#\\\/schema\\\/person\\\/image\\\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Thoughts - Yuanshan Li (Tom)","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/sites.nd.edu\/yuanshan-li\/thoughts\/","og_locale":"en_US","og_type":"article","og_title":"Thoughts - Yuanshan Li (Tom)","og_description":"At a purely formal level, one could call probability theory the study of\u00a0measure spaces\u00a0with total measure one, but that would be like calling number theory the study of strings of digits which terminate. (Terence Tao) Someone had told Linnik the news beginning with one of the corollaries: Matiyasevich can construct a polynomial with integer coefficients … Continue reading Thoughts","og_url":"https:\/\/sites.nd.edu\/yuanshan-li\/thoughts\/","og_site_name":"Yuanshan Li (Tom)","article_modified_time":"2026-04-28T03:24:51+00:00","twitter_card":"summary_large_image","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/sites.nd.edu\/yuanshan-li\/thoughts\/","url":"https:\/\/sites.nd.edu\/yuanshan-li\/thoughts\/","name":"Thoughts - Yuanshan Li (Tom)","isPartOf":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#website"},"datePublished":"2026-04-28T03:24:50+00:00","dateModified":"2026-04-28T03:24:51+00:00","breadcrumb":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/thoughts\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/sites.nd.edu\/yuanshan-li\/thoughts\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/sites.nd.edu\/yuanshan-li\/thoughts\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/sites.nd.edu\/yuanshan-li\/"},{"@type":"ListItem","position":2,"name":"Thoughts"}]},{"@type":"WebSite","@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#website","url":"https:\/\/sites.nd.edu\/yuanshan-li\/","name":"Yuanshan Li (Tom)","description":"","publisher":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#\/schema\/person\/e1aa5588a6c63d16955482765afa30fb"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/sites.nd.edu\/yuanshan-li\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":["Person","Organization"],"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#\/schema\/person\/e1aa5588a6c63d16955482765afa30fb","name":"Yuanshan Li","logo":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#\/schema\/person\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/pages\/328","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/users\/4419"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/comments?post=328"}],"version-history":[{"count":1,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/pages\/328\/revisions"}],"predecessor-version":[{"id":330,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/pages\/328\/revisions\/330"}],"wp:attachment":[{"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/media?parent=328"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}