In my previous post, I argued mathematics can be considered as an highly sophisticated, fractal language in which ideas are layered on each other to build very tall mathematical buildings. Rigourous proofs are the strong mortar keeping the tower standing up. All of this was philosphical and suggestive, and stemmed from the evergreen question 'of … Continue reading Math is a language, pt. 2
I always been a lover of 'math for the sake of math' and I found annoying to ask 'but what is this useful for?' when learning about a new concept. It might seem weird, but to a pure mathematician 'apply' sounds like 'spoil'. Applications are a kind of low rank pursue for a mathematician, something … Continue reading Math is a language.
I wrestled with this for some days, but finally I figured it out. Here's a Bash script distilling the lessons I learned. The starting point is obviously Agda (quite cumbersome) documentation. I couldn't manage to run anything installed from apt, therefore I went for the first method. apt-get update # libraries necessary to run Cabal … Continue reading Setting up Agda on Debian
I found an elegant solution to a problem I often have: I need to write some lengthy footnote in the middle of a paragraph, making the source LaTeX unreadable.
A serendipitous encounter with an intriguing exercise led me to an Eureka! moment, with great beauty involved.
Hey folks, it's been a while! One of my New Year's resolutions is to write more on this blog (at least weekly, says the list), so here I am. My biggest impairment in doing so has been the feeling of incompetence about a lot of the stuff that interests me, hence my good intentions crashed … Continue reading The one integration secret mathematicians don’t want you to know
I just finished reading What does a mathematical proof prove?, a (supposedly) classic in philosophy of math by Imre Lakatos and it confirmed what I feared was happening: I can no longer bear any humanities paper. Everything you read typically has a 10x multiplier on words, and usually boils down to one/two interesting perspectives on … Continue reading On humanities papers and mathematical naivety.