His name is now the byword for a fool, yet his proof for the existence of God was the most rigorous of the medieval period