{"id":74959,"date":"2020-10-11T19:02:48","date_gmt":"2020-10-12T00:02:48","guid":{"rendered":"http:\/\/www.kateva.org\/sh\/?p=74959"},"modified":"2020-10-11T19:02:48","modified_gmt":"2020-10-12T00:02:48","slug":"to-define-a-perfectoid-space-the-three-mathematicians-had-to-combine-more-than-3000-definitions-of-other-mathematical-objects-and-30000-connections-between-them","status":"publish","type":"post","link":"http:\/\/www.kateva.org\/sh\/?p=74959","title":{"rendered":"\u201cTo define a perfectoid space, the three mathematicians had to combine more than 3,000 definitions of other mathematical objects and 30,000 connections between them.\u201c"},"content":{"rendered":"<p><a href=\"https:\/\/www.quantamagazine.org\/building-the-mathematical-library-of-the-future-20201001\/\">Link<\/a>. Using Lean, an environment for mathematical proofs.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Link. Using Lean, an environment for mathematical proofs.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[32],"class_list":["post-74959","post","type-post","status-publish","format-standard","hentry","category-share","tag-pinboard"],"_links":{"self":[{"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=\/wp\/v2\/posts\/74959","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=74959"}],"version-history":[{"count":1,"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=\/wp\/v2\/posts\/74959\/revisions"}],"predecessor-version":[{"id":74960,"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=\/wp\/v2\/posts\/74959\/revisions\/74960"}],"wp:attachment":[{"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=74959"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=74959"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.kateva.org\/sh\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=74959"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}