pairofstrings said:
If I look at a computer programming language, like C, it has 'if' construct, it has 'conditional' construct, it has 'class' construct.
My question is: if I talk about constructs in Mathematics then am I correct to say that Set Theory is a mathematical construct; Functions in Set Theory are mathematical construct? If yes, then what are other mathematical constructs in mathematics. Is mathematics itself a construct?
The definition of construct is: something constructed by the mind as
a: a theoretical entity
b: a working hypothesis or concept
c: a product of ideology, history or social circumstance
Thanks
I see two things here that must be further clarified, in order to not cross the boundary between science / technology on the one side and philosophy on the other.
The first is if we talk about
physical or
conceptual constructs. The second is
how do you utilize the word
construct, meaning where exactly do you put the boundaries of something being a construct or not. If we don't put any kind of boundary then we'll end up to the philosophical realm.
In Mathematics there is obviously no physical construct so we talk about axioms, theorems and all the ingredients that make up the world of math. You can say that all these are conceptual constructs but in my opinion the term
concepts would be more appropriate for some things and constructs for other. Now, anyone can argue that even concepts are in many cases constructs themselves but following this perpetual path you'll eventually cross the boundary of mathematics and get into philosophy. For mathematics themselves as a whole, I'll just quote what
@fresh_42 said as this is my opinion too
fresh_42 said:
Whether mathematics as a whole is a construct, is a purely philosophical question. E.g. a perfect circle doesn't exist in reality, but we have no problems to deal with it mathematically. So you may call it a construct, but this is more a question of taste or the philosophical school you follow.
Now, talking about a programming language like
C that you mention about, it has
conditional constructs like "if" in
conceptual form i.e. regarding the
design of the language but it also has these conditional constructs
implemented using grammar and syntactic rules inside a compiler as well - C has no class concept; you probably refer to
C++ for this but the idea about constructs is the same. Going further, if you develop some software product then this as a whole is a construct that is utilizing other constructs, for instance smaller programs, that themselves utilize some programming language's constructs and so on and this holds true both for the conceptual level regarding the
design of the product as the
implementation i.e the product you install on a computing machine as well.
So, I think that it becomes obvious that while it is not wrong to use the term "construct", it is a very general and abstract term that needs further clarification at various levels, depths and widths and does not give sufficient clarity in many cases.