Blogdeciencia.com Website Review

I know what you're thinking, Miguel, are you crazy? You can not prove an axiom! They are so 'obvious' propositions that they are accepted without requiring prior demonstration! If I could prove it, then it would not be an axiom, it would be a theorem! Basically, this is the essence of Gödel's second incompleteness theorem: a formal system can not demonstrate its own consistency. But there is a What is there in common between Cantor, Gödel and Turing? At least two things, and the first of them is that the three tried to expand the limits of mathematics. Cantor, for example, wanted to count to infinity. This is a very difficult task: all those who have tried it, get tired before concluding! But what Cantor perceived was that, although ... Immanuel Kant (1724-1804) can be considered a water divider in the history of philosophy. Some people claim that a philosophy can be made against Kant or in favor of Kant; but never without Kant. In fact Kant is one of the greatest philosophers of modernity. His thought proposed a revolution so great and significant ... Read More ..