The complexity of higher mathematics