I am studying Logic and then Mathematical Logic in order to be able to do research in Mathematical Logic.
A fun hardware experiment.