{"id":462,"date":"2020-08-07T04:17:37","date_gmt":"2020-08-07T04:17:37","guid":{"rendered":"http:\/\/soulofmathematics.com\/?p=462"},"modified":"2020-08-07T04:17:39","modified_gmt":"2020-08-07T04:17:39","slug":"godels-incompleteness-theorems","status":"publish","type":"post","link":"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/","title":{"rendered":"G\u00f6del\u2019s Incompleteness Theorems"},"content":{"rendered":"\n

“In Mathematics there is no ignorabimus<\/em>. We must know, we shall know.”<\/p>-David Hilbert<\/cite><\/blockquote>\n\n\n\n

The incompleteness theorem, says roughly the following: under certain conditions in any language there exist true but unprovable statements.<\/p>\n\n\n\n

The Set of True Statements<\/strong>– We assume that we are given a subset T of the set L (where L is the alphabet of the language under consideration) which is called the set of “true statements” (or simply “truths”). In going right to the subset T we are omitting such intermediate steps as: firstly, specifying which words of all the possible ones in the alphabet L are correctly formed expressions in the language, i.e.. have a definite meaning in our interpretation of the language (for example, 2 + 3, x + 3, x = y, x = 3, 2 = 3, 2 = 2 ‘are correctly formed expressions, while + = x is not); secondly, which of all the expressions are formulas, i.e., in our interpretation make statements which may depend on a parameter (for example, x = 3, x = y, 2 = 3, 2 = 2); thirdly, specifying which of all the possible formulas are closed formulas, i. e., statements which do not depend on parameters (for example, 2 = 3, 2 = 2); and finally, which of all the possible closed formulas are true statements (for example, 2 = 2).<\/p>\n\n\n\n

Attempts at a Precise Formulation of the Incompleteness
Theorem.<\/strong><\/p>\n\n\n\n

First Attempt<\/strong>– “Under certain conditions, given a fundamental pair (L, T) and a deductive system (P, P, B) over L, there always exists a word in T which does not have a proof.” This statement is still too vague. In particular, we could obviously think up many deductive systems having very few provable words. For example, there are no provable words at all in the empty deductive system (where P = 0).<\/p>\n\n\n\n

Second Attempt<\/strong>– There is another more natural approach. Suppose we are given a language, in the precise meaning that we are given a fundamental pair (L, T). We now look for a deductive system over L (intuitively, we look for techniques of proof) in which we can prove as many words in T as possible, ideally, all words in T. G\u00f6del\u2019s theorem describes a situation in which such a deductive system (in which every word of T has a proof) does not exist. Thus, we would like to make the following statement: “Under certain conditions concerning the fundamental pair (L, T) there does not exist a deductive system over L in which every word in T has a proof.” However, this statement is clearly false, since one need only take the deductive system with P = L, P = P” and ~ (p) = p for all p in P”: then every word in L is trivially provable. Thus, we need a restriction on the deductive systems that we are allowed to use.<\/p>\n\n\n\n

\"\"
Code devised by G\u00f6del for every mathematical symbol in the system correspond to a unique natural number and every formula to generate a unique natural number called a G\u00f6del number using prime numbers in the manner shown. A G\u00f6del substitutio<\/em>n is defined by plugging the G\u00f6del number back into the formula wherever we find the symbol \u201c\u0251<\/em>\u201d.<\/figcaption><\/figure>\n\n\n\n

The Simplest Incompleteness Criteria<\/strong>
We now know that enumerability of the set T is equivalent to the existence of a complete and consistent deductive system for (L, T). However, we might be interested not in all truths in the language, but only in truths of a certain type or a certain class, much as a student studying for a math exam is not concerned with the truth of all mathematical statements, but only those which are likely to be encountered on the exam. For example, we might want to construct a deductive system in which one can derive all true statements of length at most 1000 and cannot derive any false statement of length at most 1000. In this case, for a statement of length greater than 1000 the question of whether or not it can be derived in the deductive system may have nothing- to do with whether or not it is true. Moreover, in certain situations (such as the language of set theory), one cannot even define the set of all truths in their totality. This is why we restrict ourselves to considering consistency and completeness for subsets of the word set L.<\/p>\n\n\n\n

There are three axioms of G\u00f6del\u2019s Incompleteness Theorems which I will try to provige through another post.<\/h6>\n\n\n\n
\n
All Posts<\/a><\/div>\n<\/div>\n\n\n\n


<\/p>\n\n\n\n


<\/p>\n\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

“In Mathematics there is no ignorabimus. We must know, we shall know.” -David Hilbert The incompleteness theorem, says roughly the following: under certain conditions in any language there exist true but unprovable statements. The Set of True Statements– We assume that we are given a subset T of the set L (where L is the alphabet of the language under consideration) which is called the set of “true statements” (or simply “truths”). In going right to the subset T we are omitting such intermediate steps as: firstly, specifying which words of all the possible ones in the alphabet L are correctly formed expressions in the language, i.e.. have a definite meaning in our interpretation of the language (for example, 2 + 3, x + 3, x = y, x = 3, 2 = 3, 2 = 2 ‘are correctly formed expressions, while + = x is not); secondly, which of all the expressions are formulas, i.e., in our interpretation make statements which may depend on a parameter (for example, x = 3, x = y, 2 = 3, 2 = 2); thirdly, specifying which of all the possible formulas are closed formulas, i. e., statements which do not depend on parameters (for example, 2 = 3, 2 = 2); and finally, which of all the possible closed formulas are true statements (for example, 2 = 2). Attempts at a Precise Formulation of the IncompletenessTheorem. First Attempt– “Under certain conditions, given a fundamental pair (L, T) and a deductive system (P, P, B) over L, there always exists a word in T which does not have a proof.” This statement is still too vague. In particular, we could obviously think up many deductive systems having very few provable words. For example, there are no provable words at all in the empty deductive system (where P = 0). Second Attempt– There is another more natural approach. Suppose we are given a language, in the precise meaning that we are given a fundamental pair (L, T). We now look for a deductive system over L (intuitively, we look for techniques of proof) in which we can prove as many words in T as possible, ideally, all words in T. G\u00f6del\u2019s theorem describes a situation in which such a deductive system (in which every word of T has a proof) does not exist. Thus, we would like to make the following statement: “Under certain conditions concerning the fundamental pair (L, T) there does not exist a deductive system over L in which every word in T has a proof.” However, this statement is clearly false, since one need only take the deductive system with P = L, P = P” and ~ (p) = p for all p in P”: then every word in L is trivially provable. Thus, we need a restriction on the deductive systems that we are allowed to use. The Simplest Incompleteness CriteriaWe now know that enumerability of the set T is equivalent to the existence of a complete and consistent deductive system for (L, T). However, we might be interested not in all truths in the language, but only in truths of a certain type or a certain class, much as a student studying for a math exam is not concerned with the truth of all mathematical statements, but only those which are likely to be encountered on the exam. For example, we might want to construct a deductive system in which one can derive all true statements of length at most 1000 and cannot derive any false statement of length at most 1000. In this case, for a statement of length greater than 1000 the question of whether or not it can be derived in the deductive system may have nothing- to do with whether or not it is true. Moreover, in certain situations (such as the language of set theory), one cannot even define the set of all truths in their totality. This is why we restrict ourselves to considering consistency and completeness for subsets of the word set L. There are three axioms of G\u00f6del\u2019s Incompleteness Theorems which I will try to provige through another post.<\/p>\n","protected":false},"author":1,"featured_media":465,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-462","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-sneak-peeks"],"featured_image_src":"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2020\/08\/Roberts-KurtGodel1.jpg?fit=960%2C974&ssl=1","blog_images":{"medium":"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2020\/08\/Roberts-KurtGodel1.jpg?fit=296%2C300&ssl=1","large":"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2020\/08\/Roberts-KurtGodel1.jpg?fit=960%2C974&ssl=1"},"ams_acf":[],"yoast_head":"\nG\u00f6del\u2019s Incompleteness Theorems - SOUL OF MATHEMATICS<\/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:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"G\u00f6del\u2019s Incompleteness Theorems - SOUL OF MATHEMATICS\" \/>\n<meta property=\"og:description\" content=\"“In Mathematics there is no ignorabimus. We must know, we shall know.” -David Hilbert The incompleteness theorem, says roughly the following: under certain conditions in any language there exist true but unprovable statements. The Set of True Statements– We assume that we are given a subset T of the set L (where L is the alphabet of the language under consideration) which is called the set of “true statements” (or simply “truths”). In going right to the subset T we are omitting such intermediate steps as: firstly, specifying which words of all the possible ones in the alphabet L are correctly formed expressions in the language, i.e.. have a definite meaning in our interpretation of the language (for example, 2 + 3, x + 3, x = y, x = 3, 2 = 3, 2 = 2 ‘are correctly formed expressions, while + = x is not); secondly, which of all the expressions are formulas, i.e., in our interpretation make statements which may depend on a parameter (for example, x = 3, x = y, 2 = 3, 2 = 2); thirdly, specifying which of all the possible formulas are closed formulas, i. e., statements which do not depend on parameters (for example, 2 = 3, 2 = 2); and finally, which of all the possible closed formulas are true statements (for example, 2 = 2). Attempts at a Precise Formulation of the IncompletenessTheorem. First Attempt– “Under certain conditions, given a fundamental pair (L, T) and a deductive system (P, P, B) over L, there always exists a word in T which does not have a proof.” This statement is still too vague. In particular, we could obviously think up many deductive systems having very few provable words. For example, there are no provable words at all in the empty deductive system (where P = 0). Second Attempt– There is another more natural approach. Suppose we are given a language, in the precise meaning that we are given a fundamental pair (L, T). We now look for a deductive system over L (intuitively, we look for techniques of proof) in which we can prove as many words in T as possible, ideally, all words in T. G\u00f6del\u2019s theorem describes a situation in which such a deductive system (in which every word of T has a proof) does not exist. Thus, we would like to make the following statement: “Under certain conditions concerning the fundamental pair (L, T) there does not exist a deductive system over L in which every word in T has a proof.” However, this statement is clearly false, since one need only take the deductive system with P = L, P = P” and ~ (p) = p for all p in P”: then every word in L is trivially provable. Thus, we need a restriction on the deductive systems that we are allowed to use. The Simplest Incompleteness CriteriaWe now know that enumerability of the set T is equivalent to the existence of a complete and consistent deductive system for (L, T). However, we might be interested not in all truths in the language, but only in truths of a certain type or a certain class, much as a student studying for a math exam is not concerned with the truth of all mathematical statements, but only those which are likely to be encountered on the exam. For example, we might want to construct a deductive system in which one can derive all true statements of length at most 1000 and cannot derive any false statement of length at most 1000. In this case, for a statement of length greater than 1000 the question of whether or not it can be derived in the deductive system may have nothing- to do with whether or not it is true. Moreover, in certain situations (such as the language of set theory), one cannot even define the set of all truths in their totality. This is why we restrict ourselves to considering consistency and completeness for subsets of the word set L. There are three axioms of G\u00f6del\u2019s Incompleteness Theorems which I will try to provige through another post.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/\" \/>\n<meta property=\"og:site_name\" content=\"SOUL OF MATHEMATICS\" \/>\n<meta property=\"article:published_time\" content=\"2020-08-07T04:17:37+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2020-08-07T04:17:39+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/i1.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2020\/08\/Roberts-KurtGodel1.jpg?fit=1922%2C1951&ssl=1\" \/>\n\t<meta property=\"og:image:width\" content=\"1922\" \/>\n\t<meta property=\"og:image:height\" content=\"1951\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Rajarshi Dey\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Rajarshi Dey\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/\",\"url\":\"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/\",\"name\":\"G\u00f6del\u2019s Incompleteness Theorems - SOUL OF MATHEMATICS\",\"isPartOf\":{\"@id\":\"https:\/\/soulofmathematics.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2020\/08\/Roberts-KurtGodel1.jpg?fit=1922%2C1951&ssl=1\",\"datePublished\":\"2020-08-07T04:17:37+00:00\",\"dateModified\":\"2020-08-07T04:17:39+00:00\",\"author\":{\"@id\":\"https:\/\/soulofmathematics.com\/#\/schema\/person\/c61ee309ed66bc94ba7a27f6129b945c\"},\"breadcrumb\":{\"@id\":\"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/#primaryimage\",\"url\":\"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2020\/08\/Roberts-KurtGodel1.jpg?fit=1922%2C1951&ssl=1\",\"contentUrl\":\"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2020\/08\/Roberts-KurtGodel1.jpg?fit=1922%2C1951&ssl=1\",\"width\":1922,\"height\":1951},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/soulofmathematics.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"G\u00f6del\u2019s Incompleteness Theorems\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/soulofmathematics.com\/#website\",\"url\":\"https:\/\/soulofmathematics.com\/\",\"name\":\"SOUL OF MATHEMATICS\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/soulofmathematics.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/soulofmathematics.com\/#\/schema\/person\/c61ee309ed66bc94ba7a27f6129b945c\",\"name\":\"Rajarshi Dey\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/soulofmathematics.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/14acfcec71e13078f5b322bb6adfd1f6579c091317d0e0077c2311511263a8b0?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/14acfcec71e13078f5b322bb6adfd1f6579c091317d0e0077c2311511263a8b0?s=96&d=mm&r=g\",\"caption\":\"Rajarshi Dey\"},\"sameAs\":[\"http:\/\/soulofmathematics.com\"],\"url\":\"https:\/\/soulofmathematics.com\/index.php\/author\/rajarshidey1729gmail-com\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"G\u00f6del\u2019s Incompleteness Theorems - SOUL OF MATHEMATICS","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:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/","og_locale":"en_US","og_type":"article","og_title":"G\u00f6del\u2019s Incompleteness Theorems - SOUL OF MATHEMATICS","og_description":"“In Mathematics there is no ignorabimus. We must know, we shall know.” -David Hilbert The incompleteness theorem, says roughly the following: under certain conditions in any language there exist true but unprovable statements. The Set of True Statements– We assume that we are given a subset T of the set L (where L is the alphabet of the language under consideration) which is called the set of “true statements” (or simply “truths”). In going right to the subset T we are omitting such intermediate steps as: firstly, specifying which words of all the possible ones in the alphabet L are correctly formed expressions in the language, i.e.. have a definite meaning in our interpretation of the language (for example, 2 + 3, x + 3, x = y, x = 3, 2 = 3, 2 = 2 ‘are correctly formed expressions, while + = x is not); secondly, which of all the expressions are formulas, i.e., in our interpretation make statements which may depend on a parameter (for example, x = 3, x = y, 2 = 3, 2 = 2); thirdly, specifying which of all the possible formulas are closed formulas, i. e., statements which do not depend on parameters (for example, 2 = 3, 2 = 2); and finally, which of all the possible closed formulas are true statements (for example, 2 = 2). Attempts at a Precise Formulation of the IncompletenessTheorem. First Attempt– “Under certain conditions, given a fundamental pair (L, T) and a deductive system (P, P, B) over L, there always exists a word in T which does not have a proof.” This statement is still too vague. In particular, we could obviously think up many deductive systems having very few provable words. For example, there are no provable words at all in the empty deductive system (where P = 0). Second Attempt– There is another more natural approach. Suppose we are given a language, in the precise meaning that we are given a fundamental pair (L, T). We now look for a deductive system over L (intuitively, we look for techniques of proof) in which we can prove as many words in T as possible, ideally, all words in T. G\u00f6del\u2019s theorem describes a situation in which such a deductive system (in which every word of T has a proof) does not exist. Thus, we would like to make the following statement: “Under certain conditions concerning the fundamental pair (L, T) there does not exist a deductive system over L in which every word in T has a proof.” However, this statement is clearly false, since one need only take the deductive system with P = L, P = P” and ~ (p) = p for all p in P”: then every word in L is trivially provable. Thus, we need a restriction on the deductive systems that we are allowed to use. The Simplest Incompleteness CriteriaWe now know that enumerability of the set T is equivalent to the existence of a complete and consistent deductive system for (L, T). However, we might be interested not in all truths in the language, but only in truths of a certain type or a certain class, much as a student studying for a math exam is not concerned with the truth of all mathematical statements, but only those which are likely to be encountered on the exam. For example, we might want to construct a deductive system in which one can derive all true statements of length at most 1000 and cannot derive any false statement of length at most 1000. In this case, for a statement of length greater than 1000 the question of whether or not it can be derived in the deductive system may have nothing- to do with whether or not it is true. Moreover, in certain situations (such as the language of set theory), one cannot even define the set of all truths in their totality. This is why we restrict ourselves to considering consistency and completeness for subsets of the word set L. There are three axioms of G\u00f6del\u2019s Incompleteness Theorems which I will try to provige through another post.","og_url":"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/","og_site_name":"SOUL OF MATHEMATICS","article_published_time":"2020-08-07T04:17:37+00:00","article_modified_time":"2020-08-07T04:17:39+00:00","og_image":[{"width":1922,"height":1951,"url":"https:\/\/i1.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2020\/08\/Roberts-KurtGodel1.jpg?fit=1922%2C1951&ssl=1","type":"image\/jpeg"}],"author":"Rajarshi Dey","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Rajarshi Dey","Est. reading time":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/","url":"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/","name":"G\u00f6del\u2019s Incompleteness Theorems - SOUL OF MATHEMATICS","isPartOf":{"@id":"https:\/\/soulofmathematics.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/#primaryimage"},"image":{"@id":"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/#primaryimage"},"thumbnailUrl":"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2020\/08\/Roberts-KurtGodel1.jpg?fit=1922%2C1951&ssl=1","datePublished":"2020-08-07T04:17:37+00:00","dateModified":"2020-08-07T04:17:39+00:00","author":{"@id":"https:\/\/soulofmathematics.com\/#\/schema\/person\/c61ee309ed66bc94ba7a27f6129b945c"},"breadcrumb":{"@id":"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/#primaryimage","url":"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2020\/08\/Roberts-KurtGodel1.jpg?fit=1922%2C1951&ssl=1","contentUrl":"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2020\/08\/Roberts-KurtGodel1.jpg?fit=1922%2C1951&ssl=1","width":1922,"height":1951},{"@type":"BreadcrumbList","@id":"https:\/\/soulofmathematics.com\/index.php\/godels-incompleteness-theorems\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/soulofmathematics.com\/"},{"@type":"ListItem","position":2,"name":"G\u00f6del\u2019s Incompleteness Theorems"}]},{"@type":"WebSite","@id":"https:\/\/soulofmathematics.com\/#website","url":"https:\/\/soulofmathematics.com\/","name":"SOUL OF MATHEMATICS","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/soulofmathematics.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/soulofmathematics.com\/#\/schema\/person\/c61ee309ed66bc94ba7a27f6129b945c","name":"Rajarshi Dey","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/soulofmathematics.com\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/14acfcec71e13078f5b322bb6adfd1f6579c091317d0e0077c2311511263a8b0?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/14acfcec71e13078f5b322bb6adfd1f6579c091317d0e0077c2311511263a8b0?s=96&d=mm&r=g","caption":"Rajarshi Dey"},"sameAs":["http:\/\/soulofmathematics.com"],"url":"https:\/\/soulofmathematics.com\/index.php\/author\/rajarshidey1729gmail-com\/"}]}},"jetpack_sharing_enabled":true,"jetpack_featured_media_url":"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2020\/08\/Roberts-KurtGodel1.jpg?fit=1922%2C1951&ssl=1","jetpack-related-posts":[],"jetpack_shortlink":"https:\/\/wp.me\/pcfs4y-7s","_links":{"self":[{"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/posts\/462","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/comments?post=462"}],"version-history":[{"count":0,"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/posts\/462\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/media\/465"}],"wp:attachment":[{"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/media?parent=462"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/categories?post=462"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/tags?post=462"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}