Difference between revisions of "Universality"

From PKC
Jump to navigation Jump to search
Line 14: Line 14:


==Namespace Management as a way to represent Idea Space==
==Namespace Management as a way to represent Idea Space==
For the purpose of representability, using concrete names to denote ideas is a necessary practice. However, the practical matter of managing namespaces at large can be challenging. Therefore, using a general purpose namespace management tool, such as [[Mediawiki]], can be a pragmatic solution. Clearly, the notion of Wiki is not just about the database, but also the integrative features that comes with its browser-friendly nature, so that everyone, and anywhere can all be using this namespace management infrastructure, therefore, it is universal.
For the purpose of representability, using concrete names to denote ideas is a necessary practice. However, the practical matter of managing namespaces at large can be challenging. Therefore, using a general-purpose namespace management tool, such as [[Mediawiki]], can be a pragmatic solution. Clearly, Wiki is not just about its database, but also the integrative user experience that come with its browser-friendly nature, so that everyone can use this namespace management infrastructure anywhere. Henceforth, Wiki's namespace management can be thought of as a kind of universal data abstraction mechanism.
The three aspects of namespace management can be stated as:
The three aspects of namespace management can be stated as:
# Scalability: The sizes of application-specific namespaces can be scaled to requirements
# Scalability: The sizes of application-specific namespaces can be scaled to requirements

Revision as of 00:44, 29 January 2022

Universality
Term Universal
Knowledge Domain Science, Mathematics, Mathematical Logic
Parent Domain Cognitive Science


Universal, Universality or Universal Property are technical terms defined in Mathematical Logic as a property that applies to all cases in a domain explicitly represented by a fixed, often finite set of symbols. A short statement about Universality can be found on page 131 of Davey and Priestly [1]. More over, Eugene Wigner's talk on The Unreasonable Effectiveness of Mathematics in the Natural Sciences[2], is also a good place to get a sense of universality.

Universal Constructs

There is a data type called: Partially ordered set, or POSet, being considered as the universal data type for all representables.

Idealized Space

Another way to talk about universaily, is to think of it as a way to express the most ideal situation for representing certain concepts[3].

Namespace Management as a way to represent Idea Space

For the purpose of representability, using concrete names to denote ideas is a necessary practice. However, the practical matter of managing namespaces at large can be challenging. Therefore, using a general-purpose namespace management tool, such as Mediawiki, can be a pragmatic solution. Clearly, Wiki is not just about its database, but also the integrative user experience that come with its browser-friendly nature, so that everyone can use this namespace management infrastructure anywhere. Henceforth, Wiki's namespace management can be thought of as a kind of universal data abstraction mechanism. The three aspects of namespace management can be stated as:

  1. Scalability: The sizes of application-specific namespaces can be scaled to requirements
  2. Highly Available: The functionality of namespace management is always available
  3. Security: Namespace data content can be protected in ways that will not be contaminated or destroyed.


References

  1. B. A. Davey, H. A. Priestley, Introduction to Lattices and Order, Second Edition, Cambridge University Press, May 6, 2002, P. 131
  2. Wigner, E. P. (1960). "The unreasonable effectiveness of mathematics in the natural sciences. Richard Courant lecture in mathematical sciences delivered at New York University, May 11, 1959". Communications on Pure and Applied Mathematics. local page. 13: 1–14. Bibcode:1960CPAM...13....1W. doi:10.1002/cpa.3160130102. Archived from the original on 2020-02-12. 
  3. Beskin, Daniel (Apr 19, 2020). Daniel Beskin- Category Theory as a Tool for Thought- λC 2019. local page: LambdaConf. 

Related Pages