Gabriel Claramunt – The (un?) reasonable effectiveness of mathematics in computer programming