uma discussao interessante no blog do Litpon. ---------- Forwarded message --------- From: Gödel's Lost Letter and P=NP <[email protected]> Date: Sun, Aug 23, 2020 at 11:12 PM Subject: Weekly digest for Gödel's Lost Letter and P=NP, on August 24, 2020 To: <[email protected]>
rjlipton posted: " If you cannot find proofs, talk about them. Robert Reckhow with his advsior Stephen Cook famously started the formal study of the complexity of proofs with their 1979 paper. They were interested in the length of the" New post on *Gödel's Lost Letter and P=NP* <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2Fauthor%2Frjlipton%2F&sr=1&signature=cfe892623d27e05ed0c4b087cc7c6263&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiIiwiX2RyIjpudWxsLCJfZGwiOiJcLyIsIl91dCI6IndwY29tOnVzZXJfaWQiLCJfdWwiOiJ2Y3ZwYWl2YSIsIl9lbiI6IndwY29tX2VtYWlsX2NsaWNrIiwiX3RzIjoxNTk4MjQ5NTQ1MjQxLCJicm93c2VyX3R5cGUiOiJwaHAtYWdlbnQiLCJfYXVhIjoid3Bjb20tdHJhY2tzLWNsaWVudC12MC4zIiwiYmxvZ190eiI6Ii01IiwidXNlcl9sYW5nIjoiZW4ifQ=&_z=z> Logical Complexity of Proofs <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2F2020%2F08%2F19%2Flogical-complexity-of-proofs%2F&sr=1&signature=409ab6af5a98008917a8b493392dd0fa&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiTG9naWNhbCBDb21wbGV4aXR5IG9mXHUwMGEwUHJvb2ZzIiwiX2RyIjpudWxsLCJfZGwiOiJcLyIsIl91dCI6IndwY29tOnVzZXJfaWQiLCJfdWwiOiJ2Y3ZwYWl2YSIsIl9lbiI6IndwY29tX2VtYWlsX2NsaWNrIiwiX3RzIjoxNTk4MjQ5NTQ1MjQxLCJicm93c2VyX3R5cGUiOiJwaHAtYWdlbnQiLCJfYXVhIjoid3Bjb20tdHJhY2tzLWNsaWVudC12MC4zIiwiYmxvZ190eiI6Ii01IiwidXNlcl9sYW5nIjoiZW4ifQ=&_z=z> by rjlipton <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2Fauthor%2Frjlipton%2F&sr=1&signature=cfe892623d27e05ed0c4b087cc7c6263&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoicmpsaXB0b24iLCJfZHIiOm51bGwsIl9kbCI6IlwvIiwiX3V0Ijoid3Bjb206dXNlcl9pZCIsIl91bCI6InZjdnBhaXZhIiwiX2VuIjoid3Bjb21fZW1haWxfY2xpY2siLCJfdHMiOjE1OTgyNDk1NDUyNDIsImJyb3dzZXJfdHlwZSI6InBocC1hZ2VudCIsIl9hdWEiOiJ3cGNvbS10cmFja3MtY2xpZW50LXYwLjMiLCJibG9nX3R6IjoiLTUiLCJ1c2VyX2xhbmciOiJlbiJ9&_z=z> *If you cannot find proofs, talk about them.* <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2F2020%2F08%2F19%2Flogical-complexity-of-proofs%2Frr%2F&sr=1&signature=bcc5849b7b283646a099327901efefa8&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiIiwiX2RyIjpudWxsLCJfZGwiOiJcLyIsIl91dCI6IndwY29tOnVzZXJfaWQiLCJfdWwiOiJ2Y3ZwYWl2YSIsIl9lbiI6IndwY29tX2VtYWlsX2NsaWNrIiwiX3RzIjoxNTk4MjQ5NTQ1MjQyLCJicm93c2VyX3R5cGUiOiJwaHAtYWdlbnQiLCJfYXVhIjoid3Bjb20tdHJhY2tzLWNsaWVudC12MC4zIiwiYmxvZ190eiI6Ii01IiwidXNlcl9sYW5nIjoiZW4ifQ=&_z=z> Robert Reckhow with his advsior Stephen Cook famously started the formal study of the complexity of proofs with their 1979 paper <https://www.cs.toronto.edu/~sacook/homepage/cook_reckhow.pdf>. They were interested in the length of the shortest proofs <https://en.wikipedia.org/wiki/Proof_complexity> of propositional statements. Georg Kreisel and others may have looked at proof length earlier, but one of the key insights of Reckhow and Cook is that low level propositional logic is important. Today I thought we might look at the complexity of proofs. Cook and Reckhow were motivated by issues like: How hard is it to prove that a graph has no clique of a certain size? Or how hard to prove that some program halts on all inputs of length [image: {n}]? All of these questions ask about the length of proofs in a precise sense. Proofs have been around forever, back to Euclid at least, but Cook and Reckhow were the first to formally study the lengths of proofs. They were not directly interested in actual proofs. The kind you can find in the arXiv <https://arxiv.org/archive/math> or in a math journal, or at a conference---online or not. The kind that are in their paper. <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2F2020%2F08%2F19%2Flogical-complexity-of-proofs%2Fpaper-5%2F&sr=1&signature=7b5b6244b8320a37808291bcaac3f1d1&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiIiwiX2RyIjpudWxsLCJfZGwiOiJcLyIsIl91dCI6IndwY29tOnVzZXJfaWQiLCJfdWwiOiJ2Y3ZwYWl2YSIsIl9lbiI6IndwY29tX2VtYWlsX2NsaWNrIiwiX3RzIjoxNTk4MjQ5NTQ1MjQyLCJicm93c2VyX3R5cGUiOiJwaHAtYWdlbnQiLCJfYXVhIjoid3Bjb20tdHJhY2tzLWNsaWVudC12MC4zIiwiYmxvZ190eiI6Ii01IiwidXNlcl9sYW5nIjoiZW4ifQ=&_z=z> We are talking today about these types of proofs. Not proofs that graphs have cliques. But proofs that a no planar graph can have a [image: {5}] clique. <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2F2020%2F08%2F19%2Flogical-complexity-of-proofs%2Funknown-144%2F&sr=1&signature=52566fec3bfee448ed7f47342b2fdcd8&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiIiwiX2RyIjpudWxsLCJfZGwiOiJcLyIsIl91dCI6IndwY29tOnVzZXJfaWQiLCJfdWwiOiJ2Y3ZwYWl2YSIsIl9lbiI6IndwY29tX2VtYWlsX2NsaWNrIiwiX3RzIjoxNTk4MjQ5NTQ1MjQyLCJicm93c2VyX3R5cGUiOiJwaHAtYWdlbnQiLCJfYXVhIjoid3Bjb20tdHJhY2tzLWNsaWVudC12MC4zIiwiYmxvZ190eiI6Ii01IiwidXNlcl9sYW5nIjoiZW4ifQ=&_z=z> Proofs Proofs are what we strive to find ever day. They the coin that measures progress in a mathematical field like complexity theory. We do sometimes work out examples, sometimes do computations to confirm conjectures on small examples, sometimes consider analogies to other proofs. But mostly we want to understand proofs. We want to create new ones and understand others proofs. Years ago when studying the graph isomorphism problem, I did some extensive computations for the random case. That is for the case of isomorphism for a random dense graphs against a worst case other graph. The computations helped me improve my result. It did not yield a proof, of course, but helped me realize that a certain lemma could be improved from a bound [image: {\log n}] to [image: {O(1)}]. My results were dominated by paper <https://www.researchgate.net/profile/Stanley_Selkow/publication/220618511_Random_Graph_Isomorphism/links/00463537d337e6a35d000000/Random-Graph-Isomorphism.pdf> of Laszlo Babai, Paul Erdös, and Stanley Selkow. Oh well. Proofs Complexity There are several measures of complexity for proofs. One is the length. Long proofs are difficult to find, difficult to write up, difficult to read, and difficult to check. Another less obvious measure is the logical structure of a proof. What does this mean? Our idea is that a proof can be modeled by a formula from propositional logic. The [image: {P}] is what we are trying to prove and the letters [image: {A}] and so on are for statements we already know. - [image: {(A \rightarrow P)}] This is a direct proof. - [image: {(\neg P \rightarrow \neg A)}] This is a proof by contradiction. - [image: {( A \vee \neg A \rightarrow P)}] This is proof that uses a statement [image: {A}] that may be true or false. The last is a slight cheat, we use [image: {A \vee \neg A}] to stand for a kind of axiom. A perfect example is from number theory. Let [image: {\pi(X)}] be the number of primes less than [image: {x}] and the function [image: {li(x)}] the logarithmic function <https://en.wikipedia.org/w/index.php?title=Logarithmic_integral_function&action=edit§ion=1>. [image: \displaystyle li(x) = \int_0^x \frac{dt}{\ln t}.] The prime number theorem <https://en.wikipedia.org/wiki/Prime_number_theorem> says that [image: \displaystyle \pi(x) = li(x) + E(x),] an error term. <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2F2020%2F08%2F19%2Flogical-complexity-of-proofs%2Fgraph%2F&sr=1&signature=7954e46a9d21f56f551bd4099efa651e&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiIiwiX2RyIjpudWxsLCJfZGwiOiJcLyIsIl91dCI6IndwY29tOnVzZXJfaWQiLCJfdWwiOiJ2Y3ZwYWl2YSIsIl9lbiI6IndwY29tX2VtYWlsX2NsaWNrIiwiX3RzIjoxNTk4MjQ5NTQ1MjQzLCJicm93c2VyX3R5cGUiOiJwaHAtYWdlbnQiLCJfYXVhIjoid3Bjb20tdHJhY2tzLWNsaWVudC12MC4zIiwiYmxvZ190eiI6Ii01IiwidXNlcl9sYW5nIjoiZW4ifQ=&_z=z> It was noted that [image: {li(x)}] is larger than [image: {\pi(x)}] for known values. The obvious question was that could [image: \displaystyle li(x) \ge \pi(x),] be always true? If so this would be an interesting inequality. In 1914 John Littlewood famously proved <https://www.google.com/books/edition/_/2SUrpE8NK6sC?hl=en&gbpv=1&pg=PA33&dq=John+Littlewood+pi+nd+li> that this was not true: *Theorem 1* * If the Riemann Hypothesis is true: * [image: \displaystyle \pi(x) - li(x)] is infinitely often positive and negative. If the Riemann Hypothesis is false: [image: \displaystyle \pi(x) - li(x)] is infinitely often positive and negative. Thus he proved that [image: \displaystyle \pi(x) - li(x)] is infinitely often positive and negative whether the the Riemann is true or not. Proofs in Trouble A sign of a proof in danger is, in my opinion, is not just the length. A better measure I think is the logical flow of proof. I know of no actual proof that uses this structure: [image: \displaystyle (A \rightarrow B) \rightarrow ((A \vee C) \rightarrow (B \vee C))] Do you? Even if your proof is only a few lines or even pages, if the high level flow was the above tautology I would be worried. Another example is [image: {P \rightarrow P}]. This of course is a circular proof. It seems hard to believe we would actually do this, but it has happen. The key is that no one says: I will assume the theorem to prove it. The flaw is disguised better than that. I cannot formally define this measure. Perhaps it is known, but I do think that it would be an additional measure. For actual proofs, ones we use every day, perhaps it would be valuable. I know I have looked at an attempted proof of X and noticed the logical flow in this sense was too complex. So complex that it was wrong. The author of the potential proof was me. Open Problems Is this measure, the logical flow of a proof, of any interest? *rjlipton <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2Fauthor%2Frjlipton%2F&sr=1&signature=cfe892623d27e05ed0c4b087cc7c6263&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoicmpsaXB0b24iLCJfZHIiOm51bGwsIl9kbCI6IlwvIiwiX3V0Ijoid3Bjb206dXNlcl9pZCIsIl91bCI6InZjdnBhaXZhIiwiX2VuIjoid3Bjb21fZW1haWxfY2xpY2siLCJfdHMiOjE1OTgyNDk1NDUyNDMsImJyb3dzZXJfdHlwZSI6InBocC1hZ2VudCIsIl9hdWEiOiJ3cGNvbS10cmFja3MtY2xpZW50LXYwLjMiLCJibG9nX3R6IjoiLTUiLCJ1c2VyX2xhbmciOiJlbiJ9&_z=z>* | August 19, 2020 at 8:00 am | Tags: complexity proof <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2Ftag%2Fcomplexity-proof%2F&sr=1&signature=d691c81be3e208e7f9804b3949cd9eb6&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiY29tcGxleGl0eSBwcm9vZiIsIl9kciI6bnVsbCwiX2RsIjoiXC8iLCJfdXQiOiJ3cGNvbTp1c2VyX2lkIiwiX3VsIjoidmN2cGFpdmEiLCJfZW4iOiJ3cGNvbV9lbWFpbF9jbGljayIsIl90cyI6MTU5ODI0OTU0NTI0MywiYnJvd3Nlcl90eXBlIjoicGhwLWFnZW50IiwiX2F1YSI6IndwY29tLXRyYWNrcy1jbGllbnQtdjAuMyIsImJsb2dfdHoiOiItNSIsInVzZXJfbGFuZyI6ImVuIn0&_z=z>, Logic <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2Ftag%2Flogic%2F&sr=1&signature=04330764eed645f3f8b50439c2fe692f&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiTG9naWMiLCJfZHIiOm51bGwsIl9kbCI6IlwvIiwiX3V0Ijoid3Bjb206dXNlcl9pZCIsIl91bCI6InZjdnBhaXZhIiwiX2VuIjoid3Bjb21fZW1haWxfY2xpY2siLCJfdHMiOjE1OTgyNDk1NDUyNDMsImJyb3dzZXJfdHlwZSI6InBocC1hZ2VudCIsIl9hdWEiOiJ3cGNvbS10cmFja3MtY2xpZW50LXYwLjMiLCJibG9nX3R6IjoiLTUiLCJ1c2VyX2xhbmciOiJlbiJ9&_z=z>, logical flow <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2Ftag%2Flogical-flow%2F&sr=1&signature=cbe8eec370344b30f59b03ad174d698c&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoibG9naWNhbCBmbG93IiwiX2RyIjpudWxsLCJfZGwiOiJcLyIsIl91dCI6IndwY29tOnVzZXJfaWQiLCJfdWwiOiJ2Y3ZwYWl2YSIsIl9lbiI6IndwY29tX2VtYWlsX2NsaWNrIiwiX3RzIjoxNTk4MjQ5NTQ1MjQ0LCJicm93c2VyX3R5cGUiOiJwaHAtYWdlbnQiLCJfYXVhIjoid3Bjb20tdHJhY2tzLWNsaWVudC12MC4zIiwiYmxvZ190eiI6Ii01IiwidXNlcl9sYW5nIjoiZW4ifQ=&_z=z>, proof length <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2Ftag%2Fproof-length%2F&sr=1&signature=f51e6591deb39223cfc71932ba0e4f06&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoicHJvb2YgbGVuZ3RoIiwiX2RyIjpudWxsLCJfZGwiOiJcLyIsIl91dCI6IndwY29tOnVzZXJfaWQiLCJfdWwiOiJ2Y3ZwYWl2YSIsIl9lbiI6IndwY29tX2VtYWlsX2NsaWNrIiwiX3RzIjoxNTk4MjQ5NTQ1MjQ0LCJicm93c2VyX3R5cGUiOiJwaHAtYWdlbnQiLCJfYXVhIjoid3Bjb20tdHJhY2tzLWNsaWVudC12MC4zIiwiYmxvZ190eiI6Ii01IiwidXNlcl9sYW5nIjoiZW4ifQ=&_z=z> | Categories: Oldies <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2Fcategory%2Fall-posts%2Foldies%2F&sr=1&signature=7cf7ef6cc29f280f236f41b067ebc6b4&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiT2xkaWVzIiwiX2RyIjpudWxsLCJfZGwiOiJcLyIsIl91dCI6IndwY29tOnVzZXJfaWQiLCJfdWwiOiJ2Y3ZwYWl2YSIsIl9lbiI6IndwY29tX2VtYWlsX2NsaWNrIiwiX3RzIjoxNTk4MjQ5NTQ1MjQ0LCJicm93c2VyX3R5cGUiOiJwaHAtYWdlbnQiLCJfYXVhIjoid3Bjb20tdHJhY2tzLWNsaWVudC12MC4zIiwiYmxvZ190eiI6Ii01IiwidXNlcl9sYW5nIjoiZW4ifQ=&_z=z>, Proofs <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2Fcategory%2Fall-posts%2Fproofs%2F&sr=1&signature=535e031ecd1dbdee0d446b137a06473e&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiUHJvb2ZzIiwiX2RyIjpudWxsLCJfZGwiOiJcLyIsIl91dCI6IndwY29tOnVzZXJfaWQiLCJfdWwiOiJ2Y3ZwYWl2YSIsIl9lbiI6IndwY29tX2VtYWlsX2NsaWNrIiwiX3RzIjoxNTk4MjQ5NTQ1MjQ0LCJicm93c2VyX3R5cGUiOiJwaHAtYWdlbnQiLCJfYXVhIjoid3Bjb20tdHJhY2tzLWNsaWVudC12MC4zIiwiYmxvZ190eiI6Ii01IiwidXNlcl9sYW5nIjoiZW4ifQ=&_z=z>, Results <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2Fcategory%2Fall-posts%2Fresults%2F&sr=1&signature=5ed671e8efe548cdba92686dbc772e56&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiUmVzdWx0cyIsIl9kciI6bnVsbCwiX2RsIjoiXC8iLCJfdXQiOiJ3cGNvbTp1c2VyX2lkIiwiX3VsIjoidmN2cGFpdmEiLCJfZW4iOiJ3cGNvbV9lbWFpbF9jbGljayIsIl90cyI6MTU5ODI0OTU0NTI0NCwiYnJvd3Nlcl90eXBlIjoicGhwLWFnZW50IiwiX2F1YSI6IndwY29tLXRyYWNrcy1jbGllbnQtdjAuMyIsImJsb2dfdHoiOiItNSIsInVzZXJfbGFuZyI6ImVuIn0&_z=z> | URL: https://wp.me/pr9Ir-4wZ Comment <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2F2020%2F08%2F19%2Flogical-complexity-of-proofs%2F%23respond&sr=1&signature=c3ebd98cf49020b3ebf2e7ee8b26831d&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiQ29tbWVudCIsIl9kciI6bnVsbCwiX2RsIjoiXC8iLCJfdXQiOiJ3cGNvbTp1c2VyX2lkIiwiX3VsIjoidmN2cGFpdmEiLCJfZW4iOiJ3cGNvbV9lbWFpbF9jbGljayIsIl90cyI6MTU5ODI0OTU0NTI0NSwiYnJvd3Nlcl90eXBlIjoicGhwLWFnZW50IiwiX2F1YSI6IndwY29tLXRyYWNrcy1jbGllbnQtdjAuMyIsImJsb2dfdHoiOiItNSIsInVzZXJfbGFuZyI6ImVuIn0&_z=z> See all comments <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2F2020%2F08%2F19%2Flogical-complexity-of-proofs%2F%23comments&sr=1&signature=164f90d9d18cdf183ee8f67976585d24&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiU2VlIGFsbCBjb21tZW50cyIsIl9kciI6bnVsbCwiX2RsIjoiXC8iLCJfdXQiOiJ3cGNvbTp1c2VyX2lkIiwiX3VsIjoidmN2cGFpdmEiLCJfZW4iOiJ3cGNvbV9lbWFpbF9jbGljayIsIl90cyI6MTU5ODI0OTU0NTI0NSwiYnJvd3Nlcl90eXBlIjoicGhwLWFnZW50IiwiX2F1YSI6IndwY29tLXRyYWNrcy1jbGllbnQtdjAuMyIsImJsb2dfdHoiOiItNSIsInVzZXJfbGFuZyI6ImVuIn0&_z=z> Like <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2F2020%2F08%2F19%2Flogical-complexity-of-proofs%2F%3Flike_actor%3D4123301%26like_hmac%3D6d0a0d55dd9c06d6d2e199882d20c074%26postid%3D17421%26like%3D1%26source%3Dsub_email&sr=1&signature=1cfcbfc75b6a89d556e255a2ad094463&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiTGlrZSIsIl9kciI6bnVsbCwiX2RsIjoiXC8iLCJfdXQiOiJ3cGNvbTp1c2VyX2lkIiwiX3VsIjoidmN2cGFpdmEiLCJfZW4iOiJ3cGNvbV9lbWFpbF9jbGljayIsIl90cyI6MTU5ODI0OTU0NTI0NSwiYnJvd3Nlcl90eXBlIjoicGhwLWFnZW50IiwiX2F1YSI6IndwY29tLXRyYWNrcy1jbGllbnQtdjAuMyIsImJsb2dfdHoiOiItNSIsInVzZXJfbGFuZyI6ImVuIn0&_z=z> Unsubscribe <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Fsubscribe.wordpress.com%2F%3Fkey%3D2fca0b2d44aab53d606ed57c60d4f99b%26email%3Dvaleria.depaiva%2540gmail.com%26b%3DGXcYvfnW8XMLU4lYOPRH2CNh6pLZF8MpkmCPLN87MJmCsPTxlNizlpEHbeHc64wi86yvBK3ILF9ZSkU5CGyoE4705IHJ4b1dhuZwkpumkDVG&sr=1&signature=2e198c373360f1afaa9503399e9aa4da&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiVW5zdWJzY3JpYmUiLCJfZHIiOm51bGwsIl9kbCI6IlwvIiwiX3V0Ijoid3Bjb206dXNlcl9pZCIsIl91bCI6InZjdnBhaXZhIiwiX2VuIjoid3Bjb21fZW1haWxfY2xpY2siLCJfdHMiOjE1OTgyNDk1NDUyNDYsImJyb3dzZXJfdHlwZSI6InBocC1hZ2VudCIsIl9hdWEiOiJ3cGNvbS10cmFja3MtY2xpZW50LXYwLjMiLCJibG9nX3R6IjoiLTUiLCJ1c2VyX2xhbmciOiJlbiJ9&_z=z> to no longer receive posts from Gödel's Lost Letter and P=NP. Change your email settings at Manage Subscriptions <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Fsubscribe.wordpress.com%2F%3Fkey%3D2fca0b2d44aab53d606ed57c60d4f99b%26email%3Dvaleria.depaiva%2540gmail.com&sr=1&signature=17fd4186e363a1bd545b08eac2e68234&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiTWFuYWdlIFN1YnNjcmlwdGlvbnMiLCJfZHIiOm51bGwsIl9kbCI6IlwvIiwiX3V0Ijoid3Bjb206dXNlcl9pZCIsIl91bCI6InZjdnBhaXZhIiwiX2VuIjoid3Bjb21fZW1haWxfY2xpY2siLCJfdHMiOjE1OTgyNDk1NDUyNDYsImJyb3dzZXJfdHlwZSI6InBocC1hZ2VudCIsIl9hdWEiOiJ3cGNvbS10cmFja3MtY2xpZW50LXYwLjMiLCJibG9nX3R6IjoiLTUiLCJ1c2VyX2xhbmciOiJlbiJ9&_z=z>. *Trouble clicking?* Copy and paste this URL into your browser: https://rjlipton.wordpress.com/2020/08/19/logical-complexity-of-proofs/ <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Frjlipton.wordpress.com%2F2020%2F08%2F19%2Flogical-complexity-of-proofs%2F&sr=1&signature=409ab6af5a98008917a8b493392dd0fa&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiaHR0cHM6XC9cL3JqbGlwdG9uLndvcmRwcmVzcy5jb21cLzIwMjBcLzA4XC8xOVwvbG9naWNhbC1jb21wbGV4aXR5LW9mLXByb29mc1wvIiwiX2RyIjpudWxsLCJfZGwiOiJcLyIsIl91dCI6IndwY29tOnVzZXJfaWQiLCJfdWwiOiJ2Y3ZwYWl2YSIsIl9lbiI6IndwY29tX2VtYWlsX2NsaWNrIiwiX3RzIjoxNTk4MjQ5NTQ1MjQ2LCJicm93c2VyX3R5cGUiOiJwaHAtYWdlbnQiLCJfYXVhIjoid3Bjb20tdHJhY2tzLWNsaWVudC12MC4zIiwiYmxvZ190eiI6Ii01IiwidXNlcl9sYW5nIjoiZW4ifQ=&_z=z> Thanks for flying with WordPress.com <https://public-api.wordpress.com/bar/?stat=groovemails-events&bin=wpcom_email_click&redirect_to=https%3A%2F%2Fwordpress.com&sr=1&signature=7e34f99b8a8f60a2979293df01c62e5d&user=4123301&_e=eyJlcnJvciI6bnVsbCwiYmxvZ19pZCI6NjQ3MjIwNywiYmxvZ19sYW5nIjoiZW4iLCJzaXRlX2lkX2xhYmVsIjoid3Bjb20iLCJlbWFpbF9uYW1lIjoiZW1haWxfc3Vic2NyaXB0aW9uIiwiX3VpIjo0MTIzMzAxLCJlbWFpbF9pZCI6ImQ5MWM5ZTY3NjRmYTE2ODQ3NTMxNjkyNjBkMWJhZmQxIiwiZGF0ZV9zZW50IjoiMjAyMC0wOC0yNCIsImxvY2FsZSI6ImVuIiwiY3VycmVuY3kiOiJTRUsiLCJjb3VudHJ5X2NvZGVfc2lnbnVwIjoiVVMiLCJkb21haW4iOiJyamxpcHRvbi53b3JkcHJlc3MuY29tIiwiZnJlcXVlbmN5IjoiMTY4IiwiZGlnZXN0IjoiMSIsImhhc19odG1sIjoiMSIsImFuY2hvcl90ZXh0IjoiVGhhbmtzIGZvciBmbHlpbmcgd2l0aCAgV29yZFByZXNzLmNvbSIsIl9kciI6bnVsbCwiX2RsIjoiXC8iLCJfdXQiOiJ3cGNvbTp1c2VyX2lkIiwiX3VsIjoidmN2cGFpdmEiLCJfZW4iOiJ3cGNvbV9lbWFpbF9jbGljayIsIl90cyI6MTU5ODI0OTU0NTI0NiwiYnJvd3Nlcl90eXBlIjoicGhwLWFnZW50IiwiX2F1YSI6IndwY29tLXRyYWNrcy1jbGllbnQtdjAuMyIsImJsb2dfdHoiOiItNSIsInVzZXJfbGFuZyI6ImVuIn0&_z=z> -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtP8F36wqAqZn2Yyv3Ny%3DF1ue6VN5FJ5Pe4wjiZw1y5-w%40mail.gmail.com.
