Title: Contributions to mathematical knowledge and its acquisition