When a structure is a mathematical structure?

73 Views Asked by At

We know that a group or a topology, for example, are purely mathematical objects. But what, for example, about a turing machine, or a normal-form game? They are also structures, but one could say that they belong to computer science and ecomonics, respectively, and that they are not mathematical structures. But they all are rigorously defined using logic and sets, so, what makes them different to say that one is a mathematical object and another one not?

1

There are 1 best solutions below

0
On BEST ANSWER

Turing machines and normal-form games are definitely mathematical structures. Although these concepts have applications in computer science or economics, they are also studied as abstract structures in their own right, leaving aside the limitations of any particular computer system or economy.

Many mathematical concepts start out from the consideration of physical "real world" examples, but they become mathematical structures when the essential parts of these examples are abstracted and studied independently. For instance, the whole field of probability and statistics originated from studying practical problems of calculating fair odds in gambling.