Difference between revisions of "Boundaries and Extremities"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
In decision making, identifying the scope and limitations of the decision space is a foundational question. This can be represented in the topological structure of [[lattice]]s<ref>{{:Paper/Outline of a Mathematical Theory of Computation}}</ref>. | In decision making, identifying the scope and limitations of the decision space is a foundational question. This can be represented in the topological structure of [[lattice]]s<ref>{{:Paper/Outline of a Mathematical Theory of Computation}}</ref>. | ||
=Boundedness= | |||
The notion of boundaries can be expressed in formal languages. Specifically, there is a notion of [[bounded variable]], that must be understood by people who study [[logic]] and [[math]]. | |||
<noinclude> | <noinclude> | ||
Line 5: | Line 8: | ||
<references/> | <references/> | ||
=Related Pages= | =Related Pages= | ||
[[Category:Logic]] | |||
[[Category:POSet]] | [[Category:POSet]] | ||
[[Category:Lattice]] | [[Category:Lattice]] | ||
</noinclude> | </noinclude> |
Revision as of 02:01, 19 January 2022
In decision making, identifying the scope and limitations of the decision space is a foundational question. This can be represented in the topological structure of lattices[1].
Boundedness
The notion of boundaries can be expressed in formal languages. Specifically, there is a notion of bounded variable, that must be understood by people who study logic and math.
References
- ↑ Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.