Alright, it’s been almost 4 years since I have created this blog and I still haven’t posted anything apart from the introduction post. This wasn’t caused by the lack of time or anything like that, but rather by me being lazy and not motivated. But today I’ve decided to get around and get something done on this blog.
As I have remarked in my previous (4 years old) post, creation of the blog was inspired by the CP4Space blog by Adam P. Goucher, and I have originally intended my blog to remind his in most aspects, writing somewhat expository articles for a somewhat general audience. However, the reason I decided to work on the blog again was that I’ve realized it will be a good opportunity to keep my thoughts on a single problem organized.
A type of post I am definitely going to do, but hopefully it won’t be all of the content of the blog, will be illustrated by the very next post, which is me writing up a single proof. It needn’t be a novel fact; indeed, it will most likely be a result which has several proofs, all of which have some elements which I find appealing, and the proof I type up will mix elements from various proof in an attempt to construct the “most appealing” proof of the fact. Of course it will be just my subjective opinion, so you don’t have to agree about this proof being the best in any aspect, and for that reason I am hoping to get some feedback regarding how you would modify/improve such a proof.
Anyways, I’m going to head out and work on the promised first post. One last remark I want to make is that my goal is not to make these proofs understandable for everyone. Very often some background will be desirable or even necessary to understand what I’m rambling about, but I can provide references to some background material if you’re interested!