<p>I think you are looking for <a href="https://en.wikipedia.org/wiki/Type_theory" rel="nofollow noreferrer">type theory</a>. It combines mathematical objects and proofs - proofs are constructive, meaning that a proof is an <em>algorithm</em>, consisting of symbolic manipulations.</p>

<p>I am a bit vague on the details, it takes some time to give a proper introduction and it is not my field.</p>

<p>So, in short, type theory and constructive mathematics is what you are looking for. In constructive mathematics, a proposition of the form "there exists an X ..." must also provide an algorithm to construct said X, not just proving its existence.</p>

CC BY-SA 3.0
2017-07-30T14:49:28.777Z
2017-07-30T14:49:28.777Z
Per Alexandersson
<p>Data structures are similar to variables.
Algorithms to functions. Objects combine both data and algorithms. Is there a mathematical object / concept that combines variables and functions?</p>

CC BY-SA 3.0
2017-11-01T03:40:02.883Z
For "object", there is a simple answer: Coinduction! See Anton Setzer's papers. For object orientation there are a few more features. One is subtyping, which is solved by "Coercive subtyping in type theory" (and similar papers. Of course there is now exact definition of object orientation, so there might be more features depending on who you ask.
mrsteve
<constructive-mathematics><object-oriented><data-sets>
Mathematical analogy to objects (as in object orientation)?
A.L. Verminburger
# Mathematical analogy to objects (as in object orientation)?

(Asked by: username_0 on 2017-07-26)

Data structures are similar to variables.
Algorithms to functions. Objects combine both data and algorithms. Is there a mathematical object / concept that combines variables and functions?

**Tags:** constructive-mathematics, object-oriented, data-sets
> **Comments:**
> **username_1**: For "object", there is a simple answer: Coinduction! See Anton Setzer's papers. For object orientation there are a few more features. One is subtyping, which is solved by "Coercive subtyping in type theory" (and similar papers. Of course there is now exact definition of object orientation, so there might be more features depending on who you ask.  

---

## 1 answers

### Answer by username_2 on 2017-07-30. Score: 0 | Accepted answer

I think you are looking for [type theory](https://en.wikipedia.org/wiki/Type_theory). It combines mathematical objects and proofs - proofs are constructive, meaning that a proof is an *algorithm*, consisting of symbolic manipulations.

I am a bit vague on the details, it takes some time to give a proper introduction and it is not my field.

So, in short, type theory and constructive mathematics is what you are looking for. In constructive mathematics, a proposition of the form "there exists an X ..." must also provide an algorithm to construct said X, not just proving its existence.


---

