My aim is to finally graduate as a Bachelor of Science in mathematics in the spring. To do that, I need to write a bachelor’s thesis. I’ve now agreed with my advisor about the topic: formalizing mathematics with Coq. It’s a topic I don’t yet know much about, and neither does my advisor. Still, I’ve been interested in it for a long time and this seemed like a good opportunity to capitalize on that interest.
It won’t be anything fancy, but I hope to make at least one useful contribution to the science: establishing some terminology in Finnish. The thesis must be in Finnish and not much has been written about the topic in Finnish before. Nobody reads bachelor’s theses, so I’m thinking of publishing a Finnish glossary on the web and improving the coverage in Finnish Wikipedia.