There is a philosophical debate on whether mathematics is discovered or created by humans