Logicomix (1): Bad and good news.
Logicomix read. I saw him yesterday at the bookstore and I endured. I was not disappointed but not surprised me. It is a book well done, has an interesting structure, play at various levels, attempts to explore themes that are usually neglected in literature and does so in a polite way, say. The crisis of the foundations of mathematics is a great story, full of interesting characters, all with huge egos, which they embarked, each in its own way the task of solving a problem that had been around forever but everyone had overlooked: what are the foundations that support math standing? Are they solid? Are they resilient? "There!? For a long time, no one doubted the strength of the system. This is what happens when things go and bear fruit: it creates trust in tradition and over time that trust is confused with the certainty that nothing can happen and everything will remain as it always has been. It is assumed that the crisis was a product of non-Euclidean geometries but others say the work (great) of Cantor on the nature of infinity also contributed. I think it was something had to happen sooner rather than later. When in a game of Jenga tower doubt grows too is inevitable: there is something down? In the late 19 had sufficient overlapping pieces (enough geometry, algebra enough, enough analysis) to start looking down gently and make sure there is more than air. Something that I really liked the Logicomix is that manages to convey how the journey from Hilbert's problems to the incompleteness theorem was a feat which concluded initially caused great consternation among the protagonists. For a moment the epic drama morphed into tragedy. Many were defeated. Many understand the results Gödel as an unacceptable failure prevented us regain confidence in the old toy. However this did not happen. Gödel's theorems, eventually, convinced us that mathematics were not sentenced to automation. That was his true meaning. The theorems are not talking about the inability of the system but about our importance in the game. Mathematics was not a diversion program that could walk away and leave the machines. That was good news. Many great things have happened since then. Logicomix finish, perhaps, too soon.
0 comments:
Post a Comment