
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Dear Pedro and colleagues,<div><br></div><div>Thank you very much for the lively discussions and commentaries. I have learned a lot.</div><div><br></div><div>I would not say these are concluding comments, as all questions remain open, but perhaps "summarizing comments".</div><div><br></div><div>I think that efforts to “fix” formal systems to go beyond or around their limits (<i>à la</i> Hilbert’s program) are doomed to fail. We still need to accept them or find a better way of dealing with them. Perhaps an alternative would be not to see them as something negative, but as something we can exploit/benefit from. I mean, just hypothetically imagine if mathematics was consistent, complete, and decidable. Yes, we would have absolute truths, we could have certainty. But would we have creativity? Innovation? Serendipity? In other words, we could eliminate many problems we suffer from, but perhaps we would have many more. Even worse, perhaps we would not even be here. For how could human culture evolve in a consistent, complete, and decidable world?</div><div><br></div><div>Of course, this does not mean that we should abandon science or formal methods. But by acknowledging their limits, we should be able to use different narratives to explore beyond them.</div><div><br></div><div>Best (albeit incomplete) wishes,</div><div><br><div>

<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant-ligatures: normal; font-variant-position: normal; font-variant-caps: normal; font-variant-numeric: normal; font-variant-alternates: normal; font-variant-east-asian: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; border-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-stroke-width: 0px;"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Carlos</div></span></div></div>

</div>

<br></div></body></html>