This kind of reminds me of a question a theistic friend of mine with a masters in math asked me once. Was the fundamental theorem of calculus something discover

This kind of reminds me of a question a theistic friend of mine with a masters in math asked me once. Was the fundamental theorem of calculus something discovered by man (i.e created by God) or something created by man? He thought it was both something created by man, and yet also something discovered. Our mathematical constructs seem to me to describe things as they are, like discoveries, but it’s like we could only understand the discovery by creating a new way to think about things. What’s most fascinating is they’re not just constructs that are true in that they’re predictable and can be tested, but they have a. absoluteness to them that is this is true or nothing is true.