Question
Asked 25 September 2021
Please, for me, answer the following question. Ask, answer, *Why is the set half open?* Thank you very much. Note, All answers are good answers?
As mathematicians, we are interested in questions of the following form. For the given property above, *, what is the requirement for * [star], to hold? Thank you for anything you have to say in response, it is a blessing to have researchgate.net community for network. I ask questions in the space of less than axiom space and more than axiom space, this is a category theory question in set theory. Have a beautiful day.
Similar questions and discussions
Is the beauty of patterns or are the structures in patterns the most important source of mathematics?
James F. Peters
It was observed in an earlier thread that G.H. Hardy made the following
observation in his 194o book A Mathematician's Apology:
"The mathematician's patterns, like the painter's or the poet's, must be beautiful, the ideas, like the colors or the words, must fit together in a harmonious way. Beauty is the first test; there is no permanent place in the world for ugly mathematics...It may be very hard to define mathematical beauty, but that is just as true of beauty of any kind-we may not know quite what we mean by a beautiful poem, but that does not prevent us from recognizing one when we read it."
The main issue for this thread is whether beauty or structure comes first in doing mathematics. In terms of structure, consider
A mathematical structure is a set (or sometimes several sets) with various associated mathematical objects such as subsets, sets of subsets, operations and relations, all of which must satisfy various requirements (axioms). The collection of associated mathematical objects is called the structure and the set is called the underlying set. http://www.abstractmath.org/MM/MMMathStructure.htm
For example, a set endowed with a proximity (nearness) relation acquires a structure, namely, collections of near sets (each collections contains all sets that are near a given set in a proximity space). Any set endowed with a relation has a structure. Then the question here is Do we first look for structures when we do mathematics?
The question here is not whether mathematics is beautiful but rather whether beautiful patterns are the starting point of mathematics. For example, is it the painting Mona Lisa or the golden ratios in the painting that first attracts us? See the attached image.
Related Publications
In Acta Math. Sin. 29, 217-223 (1986; Zbl 0638.03045), Zhang Jinwen constructed the conglomerate axiom system ACG in order to research the base of category theory. In this paper the author constructs the model Ω (B) (where B is a complete Boolean algebra) on the basis of models Δ (B) [the author, Chin. Sci. Bull. 36, No. 2, 99-102 (1991; Zbl 0738.0...
In his article the author attempts to investigate a logic model of space of thought with formal means of category theory. Concept of space of thought was elaborated by modern Russian psychologist A. Kurpatov. According to the author of the article, it would be appropriate to use a category of complete Heyting-valued sets as a model of space of thou...