> the early 20th century attempt to formalize mathematics and put it on a strict logical foundation. That this program ended in disaster for mathematical logic is never mentioned.
Is he joking? Yes, it "failed", but in doing so created a wonderful revolution in mathematical thought, allowing exploring a rich area encompassing model theory, types, computability, algorithms, efficiency, and more.
Is he joking? Yes, it "failed", but in doing so created a wonderful revolution in mathematical thought, allowing exploring a rich area encompassing model theory, types, computability, algorithms, efficiency, and more.