Science topics: MathematicsSet Theory
Science topic
Set Theory - Science topic
Explore the latest questions and answers in Set Theory, and find Set Theory experts.
Questions related to Set Theory
This is a question about Godel Numbering. As I understand it, the axioms of a system are mapped to a set of composite numbers. Is this really the case, so for example the 5 axioms of Euclidean plane geometry are mapped to 5 composite numbers? Does this also imply that theorems of the system are now composite numbers that are dependent on the composite numbers that were the target of the map from the set of axioms PLUS the elementary numbers that describe the logical operations, such as +, if..then, There exists, ext.?
Dear all,
I have been finding several published papers on soft set, soft topology and hybrid structures. In early days of my career in soft topology, I also worked with notions of Cagman et al., Shabir and Naz, etc. But, I must admit boldly that ideas of soft set theory, soft topology, etc. defined by others are incorrect. Prof. Molodtsov raised questions many times on available notions of soft empty set, soft absolute set, etc. He showed disagreements on these notions which carry no sense of soft set in reality. Prof. Molodtsov had disagreements on operations of soft sets, soft mappings, etc. His arguments and disagreements were published in several journals, but I am sad to say that soft set researchers community never tried to find Prof. Molodtsov, the father of soft set, along with his works on soft sets.
Thus, I am bold enough to ask following questions to researchers of soft topology:
1) How can you claim that you are following correct notions and meanings of soft topology?
2) Have you ever tried enough to search about Prof. Molodtsov and his published papers post 1999's soft set theory before publishing rubbish ideas in spite of the fact that Prof. Molodtsov showed us correct path in soft set, soft topology, soft rational analysis, etc.? The published papers of others are not contributing any correct idea to soft set theory and hybrid structures by anyway. These papers are simply misleading young researchers because of some arrogant researchers of soft set theory who are desperately ready to reject ideas and advices of Prof. Molodtsov, the father of soft set theory just for publication bof their ideas or to increase citations.
Thus, I request editors of journals to stop publishing incorrect ideas of soft set theory. I also request publishing houses to encourage correct notions and ideas of soft set theory and hybrid structures. I also request American Mathematical Society, European Mathematical Society, etc. to take initiative to organise conferences on soft set theory for the discussion of correct structures of soft set, soft topology, etc. I am available for debates on correct structures of soft set theory and related ideas in international conferences if one is ready to debate. I just want that soft set theory and hybrid structures must be developed using correct ideas of Prof. Molodtsov.
Thanks
Santanu Acharjee, PhD
(Collaborator of Prof. D. Molodtsov,
Title of the paper: Soft rational line integrals, published in 2021 and two more in submitted form)
Assistant Professor
Department of Mathematics
Gauhati University, India
Edit: I updated question 1 and added a link in Section 3.1. I also explained the intuition in section 4.4.1.
I have yet to understand amenability and group theory, but the questions in my attachment might be of interest.
I would be glad if all the questions were answered; however, if you wish for a particular question, read section 4 of my paper and the question in section 5.
I want an elegant choice function where, for specific A in 4.4, gives the structure (defined in 4.2) that I'm looking for.
How can I find a list of open problems in Homotopy Type Theory and Univalent Foundations ?
Minimal requirements for standard model of set theory leading to inconsistency?
There Is No Standard Model of ZFC and ZFC_2 with Henkin Semantics
An posible generalization of the Löb's theorem.
Jaykov Foukzon*, Israel Institute of Technology, Haifa, Israel
(1089-03-60)
Attention: the topic is littered with stupid amateur comments
Re: ARTICLE: "Should Type Theory replace Set Theory as the Foundation of Mathematics?" BY
Thorsten Altenkirch
Type Theory is indicated (by the author) to be a sometimes better alternative and a sometimes-replacement for regular set theory AND thus a sometimes better replacement for the logical foundations for math (and Science). It seems to allow turning what is qualitative and not amenable to regular set theory into things that can be the clear particular objects of logical reasoning. Is this the case? (<-- REALLY, I am asking you.)
It is very rarely, if ever, I have addressed anything that I did not have a good understanding of; BUT, here is the exception (and a BIG one). (I HAVE VERY, VERY little understanding of this Article -- even from the most crude qualitative standpoint. You would say I should have researched this more, but it in not my bailiwick , only more confusion, on my part would likely occur, "shedding no light". My sincere apologies. ANYHOW:
:
If indeed things are as the author, Thorsten Altenkirch, says: it seems different things (other than those related to standard propositions in regular set theory) could widen the use of set theory itself yet retaining (including) all of regular set theory (with all of its virtues, as needed). BUT, in addition it is indicated it could be applied to areas (PERHAPS, like biological and behavior science) where present set theory (and the math founded on it) cannot now be applied.
"[ The ] type theoretic axiom of choice hardly corresponds to the axiom of
choice as it is used in set theory. Indeed, it is not an axiom but just a derivable
fact."
More Quoting of the author: "Mathematicians would normally avoid non-structural properties, because they entail that results are may not be transferable between different representations of the same concept. However, frequently non-structural properties are exploited to prove structural properties and then it is not clear whether the result is transferable." .... "And because we cannot
talk about elements in isolation it is not possible to even state non-structural properties of the natural numbers. Indeed, we cannot distinguish different representations, for example using binary numbers instead." ... "we can actually play the same trick as in set theory
and define our number classes as subsets of the largest number class we want to
consider and we have indeed the subset relations we may expect. ... Hence Type Theory allows us to do basically the same things as set theory"
... as far as numbers are concerned (modulo the question of constructivity) but in a more disciplined fashion limiting the statements we can express and prove to
purely structural ones."
"we cannot talk about elements in isolation. This means that we cannot observe
intensional properties of our constructions. This already applies to Intensional
Type Theory, so for example we cannot observe any difference between two
functions which are pointwise equal." ...
"...Hence in ITT (regular set theory) while we cannot distinguish extensionally equal functions we do not identify them either. This seems to be a rather inconvenient incomplete-
ness of ITT, [ (common set theory)] which is overcome by Type Theory (HoTT)"
"[It] reflects mathematical practice to view isomorphic structures as equal.
However, this is certainly not supported by set theory which can distinguish
isomorphic structures. Yes, indeed all structural properties are preserved but
what exactly are those. In HoTT all properties are structural, hence the problem
disappears. ..."
"While not all developments
can be done constructively it is worthwhile to know the difference and the difference shouldn’t be relegated to prose but should be a mathematical statement." [AND}: ...
"Mathematicians think and they often implicitly assume that
isomorphic representations are interchangeable, which at closer inspection isn’t
correct when working in set theory. Modern Type Theory goes one step further
by stating that isomorphic representations are actually equal, indeed because
they are always interchangeable."...
..."The two main features that distinguish set theory and type theory: con-
structive reasoning and univalence are not independent of each other. Indeed
by being more explicit about choices we have made we can frequently avoid
using the axiom of choice which is used to resurrect choices hidden in a proposition. Replacing propositions by types shows that that the axiom of choice in many cases is only needed because conventional logic limits us to think about propositions when we should have used more general types."
Oh, here's the link to THE ARTICLE:
I have digged into a theory established by D. Loeb from University of Bordeaux, and found an interesting way to represent the things you have (classical set) and the things you do not have and might need, want, be ready to acquire (new forms of set with negative number of elements)
This fits very well in the extension of the matrices of sets which I needed to develop, se why and how here (see references below).
I would be thrilled to know if you have use cases where this model of classical sets of what you have, and new negative sets of what you do not have, my help.
Please share your input!
REF:
[1]
[2]
Presentation Matrices of Sets, complete tutorial with use cases
[3] D. Loeb, Sets with a negative number of elements, Advances in Mathematics, 91 (1992), 64–74.https://core.ac.uk/download/pdf/82474206.pdf
Considering a matrix A which has vectors v1=[1;0;0] and v2=[1;1;0] i.e. this matrix A is spanned by the vectors v1 and v2.
The rank of this matrix A is 2. Going by the definition of the rank of a matrix it means the number of independent vectors or the dimension of the row space.
Seeing A={v1,v2} with a cardinality of 2 an we say that the cardinality is the same as the rank of the matrix which in turn means that it gives the number of independent vectors spanning A
Hi all,
Can the gen keyword be used to run stepwise calculations for a molecule using lower to higher order basis sets/theory? What I was not sure about is let's say I start with pm6->b3lyp->m06, will the chk file be updated and used progressively to make calculations easier for the next level of theory?
Thanks for any input!
I run into this problem all the time. We have physical samples with a number of properties that are being measured. Those parameters are not necessarily normally distributed. We want to split the entirety of these samples into subsets for experiments. We want the subsets to be of equal distribution in each dimension, as far as possible that is.
Random sampling is not useful since it mostly generates subsets which are worse than hand picking. At the moment most of us do hand pick or just run random samples.
I mostly iterate random sampling and use a Kolmogorov-Smirnov test in each dimension to check the 'quality' of the subsets against each other and the entirety of the data. I don't know how to express this problem mathematically or programmatically to run a proper optimization of subsets but I have the feeling this can be solved much more elegantly and effectively. To me it feels like a reversed latin-hypercube problem. Minimize correlation and maximize space filling.
I'm grateful for any ideas, readily available functions or papers/books related to it.
Andreas
Soft set was introduced soft set in 1999 as a model to capture uncertainties. Recently, Smarandache introduced a notion which he calls hyper soft set. In soft set theory a soft is associated with a function which assigns a subset of the universe of discourse to each parameter.
In case of hyper soft sets, also we have a function which associates every parametric value tuple with a subset of the universe of discourse.
As claimed by Smarandache, his notion generalises an earlier notion of Gamma soft sets. That is when number of parameters is 2 we gat Gamma soft sets.
But, as dealt by the authors of Gama soft set, the second component is a fixed set of parameters. This does not seem to be the case of hyper soft sets.
So, my query is why the notion of Smarandache be called as hyper soft set. It would have been termed so if we are getting soft set when the number of parameters is reduced to 1.
I would like to get inputs from researchers in soft set theory as well as hyper soft set theory.
We have seen a stability in the supply chains of goods, food in particular, during the current pandemic of Covid19 continue, mostly undisturbed.
It is very reassuring at a time of uncertainty and macro-risks falling onto societies.
How much do we owe to the optimised management and supervision of Container transport, and multimodal support to it with deep sea vessels, harbour feeder vessels, trains and trucks/lorries?
What is the granularity involved? Hub to hub, regional distribution, local delivery?
Do we think that the connectivity models with matrices, modelling the transport connections, the flows per category (passengers, freight, within freight: categories of goods), could benefit from a synthetic model agreggation of a single matrix of set federating what has been so far spread over several separate matrices of numbers?
What do you think?
Below references on container transport, and on matrices of sets
REF
A) Matrices of set
[i] a simple rationale
[ii] use for containers
[iii] tutorial
B) Containers
[1] Generating scenarios for simulation and optimization of container terminal logistics by Sönke Hartmann, 2002
[2] Optimising Container Placement in a Sea Harbour, PhD thesis by by Yachba Khedidja
[3] Impact of integrating the intelligent product concept into the container supply chain platform, PhD thesis by Mohamed Yassine Samiri
Do you think the "New Whole Numbers Classification" exactly describes the organization of set N ?
Whole numbers are subdivided into these two categories:
- ultimates: an ultimate number not admits any non-trivial divisor (whole number) being less than it.
- non-ultimates: a non-ultimate number admits at least one non-trivial divisor (whole number) being less than it.
Non-ultimate numbers are subdivided into these two categories:
- raiseds: a raised number is a non-ultimate number, power of an ultimate number.
- composites: a composite number is a non-ultimate and not raised number admitting at least two different divisors.
Composite numbers are subdivided into these two categories:
- pure composites: a pure composite number is a non-ultimate and not raised number admitting no raised number as divisor.
- mixed composites: a mixed composite number is a non-ultimate and not raised number admitting at least a raised number as divisor.
From the paper:
Preprint New Whole Numbers Classification
I can't find any manual or procedure on how to conduct the MMDE process. It looks like most of the literature has copy-pasted the stuff without any method of how to do to it. Any practical book, paper or support is much appreciated. I don't have much expertise in mathematics or set theories that's why not able to apprehend the concepts.
How does one get access to the Mizar Mathematical Library (MML) ? This refers
to the Mizar system for the formalisation and automatic checking of mathematical proofs based
on Tarski-Grothendieck Set Theory (mizar.org).
Self-contained sets are accepted in set theory. An example is the set E of all sets having more than two members, which has more than two members itself; hence E∈ E. Likewise, most subsets of E have also more than two members; therefore most subsets of E are also members of E. This statement can be written as follows
P_2(E) ⊆ E. (1)
where P_2(E) denotes the collection of all subsets of E having "more than two members".
Likewise, denote by K(E) the collection of all subsets of E having "at most two members." It is a straightforward consequence of these definitions that
P(E) = P_2(E) ∪ K(E) (2)
where P(E) stands for the powerset of E.
Now suppose that E is an infinite countable set. It is not difficult to see, that the collection K(E) is also countable; accordingly, since P(E) is non-countable, by virtue of the equation (2), P_2(E) must be non-countable too. Thus, the equation (2) means that the countable set E contains a non-countable subset P_2(E).
suppose in 2 dimensional space there are two triangles. Now there are different cases as follows
1> they have no intersection
2> they intersect on a point
3> they intersect on an edge
4> they intersect on a 2D area
I want to quantify these intersections using a measure defined on sets. Is there a measure that can be helpful in this pursuit.
Regard and thanks in advance!!!
Zubair
As The First Generation of Infinite Set Theory is based on present classical infinite theory system, contradictory concepts of "potential infinite” and “actual infinite" make people unable to understand at all what the mathematical things being quantitative cognized in set theory are-------- are they "potential infinite things” or “actual infinite things " or the mixtures of both or none of both? People have been unable to understand at all what kind of relationship between the quantitative cognizing theory and the unavoidable concepts of "potential infinite, actual infinite" in set theory: If the mathematical things being quantitative cognized are "potential infinite”, what kind of "potential infinite” cognizing idea, operations and results should people have; if the mathematical things being quantitative cognized are "actual infinite”, what kind of "actual infinite” cognizing idea, operations and results should people have; if the mathematical things being quantitative cognized are the mixtures of both or none of both "potential infinite” and "actual infinite”, what kind of mixing cognizing idea, operations and results should people have? Are there "one to one correspondence" theories and operations for "potential infinite elements” or “actual infinite elements" or the mixtures of both or none of both? Why?
Therefore, it is very free and arbitrary for people to conduct quantitative cognitions to any infinite related mathematical things in The First Generation of Infinite Set Theory: It can either be proved that there are as many elements in Rational Number Set as there are in Natural Number Set or that there are more elements in Rational Number Set than that in Natural Number Set; the T = {x|x📷x}theory can either be used to create Russell’s Paradox or to create "Power Set Theorem", make up the story of “the Hilbert Hotel forever with available rooms” ------- strictly make all the family members of the Russell's Paradox mathematicization and turn all the family members of Russell's Paradox into all kinds of Russell's Theorems; ...
However, because it has a little to do with applied mathematics; it is impossible to verify the scientificity of many practical quantitative cognitive operations and results in set theory. So, there are far more unscientific contents (more arbitrary quantitative cognizing behaviors) in the quantitative cognitive process of present classical infinite set theory than in present classical mathematical analysis.
The emergence of the new infinite theory system determines the emergence of the second generation of infinite set theory and the fourth generation of mathematical analysis------- we call present classical infinite set theory basing on present classical infinite theory system “the first generation of infinite set theory (the old infinite set theory)" and the new infinite set theory basing on the new infinite theory system the second generation of infinite set theory"; we call "the first, second and third generations of mathematical analysis (before standard analysis, standard analysis and non-standard analysis) " basing on present classical infinite theory system “the present classical mathematical analysis (the old mathematical analysis) " and the new mathematical analysis basing on the new infinite theory system the fourth generation of mathematical analysis".
We have understood from the studies of infinite related mathematics’ history that present classical infinite theory system is based on the concepts of "potential infinite and actual infinite", which cannot be defined scientifically and contradict each other. This fatal flaw in the basic theory deeply affects the scientific nature of mathematical behavior of mathematical workers in the field related to the concept of "infinite". So, one cannot escape the constraint of the two false concepts of "potential infinite and actual infinite", and one cannot stop the emergence of various infinite related paradoxes. In addition, these paradoxes must exist in the form of "family (infinite paradox syndrome)". In different historical periods, the constantly emerging paradox family members repeatedly reveal the fundamental defects in the classical infinite theory system from different perspectives and call on people to solve these very defects. The fatal fundamental defects in present classical infinite theory system are the source of the second and the third mathematical crisis: more than 2500 years, no one can get rid of a kind of disease in the infinite related fields of mathematics --------- a diseases produced by the confusion of "potential infinite and actual infinite" concepts in set theory diagnosed clearly by Poincare, Frege, and Weyl more than 100 years ago. Studies have proved that this is the common "disease" existing in many infinite related mathematical disciplines with the foundation of present classical infinite theory system: the various "number and non--number mathematical things” -------- “variables of not only potential infinite but also actual infinite (the ‘ghost’ disappearing and reappearing at any time?)" for all the family members of Zeno's Paradox and Berkeley's Paradox in mathematical analysis [1-6]; the mathematical things with the property of "elements belonging and not belonging to a set ---------- T = {x|x📷x} (variable elements of not only potential infinite but also actual infinite: the ‘ghost’ disappearing and reappearing at any time?) " for all the family members of Russell paradox in set theory；…
This is why we are so sure to say that the Third Mathematical Crisis in present scientific theory system is unsolvable and the Third Mathematical Crisis is another manifestation of the Second Mathematical Crisis in set theory. They are "twins".
��
In the "second generation of infinite set theory" based on the new infinite theory system, the "infinite carrier theory" is the basic theory for quantitative cognitions and studies of many "mathematical things related to infinite" in infinite set. The generation and existence of the new mathematical carrier “interim-set, Non-Definite-Set 📷” determines the generation and existence of the new system of set types (Set Spectrum) --------- Empty Set 📷; Finite-Set 📷; Interim-Set (Non-Definite-Set) 📷; Infinite Set 📷, Yan Set 📷. In this newly constructed infinite related Set Spectrum: "zero quantity" is the only quantitative cognizing result of the “Empty Set 📷” since there are no elements contained in such set, which determines that people do not need or can not conduct any more quantitative cognitions and studies on the number of elements contained in such set.; many different finite sets contain different number of elements since Finite-Set 📷 since the elements contained in such sets are the “finite numbers with cognizable quantitative nature (Archimedean Property)" and people must conduct quantitative cognitions and various studies on the number of elements contained in such sets; people are bound to conduct quantitative cognitions and various studies on the number of elements contained in Interim-Set (Non-Definite-Set) 📷 since the elements contained in such sets are the “infinite law carriers with cognizable quantitative properties (Half Archimedean Property)”.
I need to know areas of artificial intelligence with uncertainty in which soft set theory or its other generalizations can be applied.
I have a very good parsimonious solution with 4 solution terms with appropriate consistency and coverage values. However, the intermediate solution has only 3 solution terms i.e. some parsimonious terms overlap making it hard to interpret.
Can I ignore the intermediate solution and interpret only the parsimonious solution?
Are there any good reference papers that can elaborate and justify the decision?
Thank You
this is axiomatic set theory . these axioms are needed for set theory and not for mathematics. so can we avoid them since the involve use of predicate and property. will experts guide in detail. can the use be restricted by using a mapping rather than property or predicate notion ?
As "the first generation of infinite set theory" is based on present classical infinite theory system, contradictory concepts of "potential infinite” and “actual infinite" make people unable to understand at all what the mathematical things being quantitative cognized in set theory are-------- are they "potential infinite things” or “actual infinite things " or the mixtures of both or none of both? People have been unable to understand at all what kind of relationship between the quantitative cognizing theory and the unavoidable concepts of "potential infinite, actual infinite" in set theory: If the mathematical things being quantitative cognized are "potential infinite”, what kind of "potential infinite” cognizing idea, operations and results should people have; if the mathematical things being quantitative cognized are "actual infinite”, what kind of "actual infinite” cognizing idea, operations and results should people have; if the mathematical things being quantitative cognized are the mixtures of both or none of both "potential infinite” and "actual infinite”, what kind of mixing cognizing idea, operations and results should people have? Is there "one to one correspondence" theories and operations for "potential infinite elements” or “actual infinite elements" or the mixtures of both or none of both? Why?
As it turns out, the quantitative cognizing theories and operations (including the theory and operations of one to one correspondence and limit theory) for those infinite related mathematical things in "the first generation of infinite set theory" are lack of scientific foundations: It is impossible to know at all what the relationship among all the quantitative cognizing behaviors in infinite set theory and the concepts of "potential infinite” and “actual infinite" is and how to carry out scientific and effective operations specifically to different kinds of infinite related mathematical things. Therefore, it is very free and arbitrary for people to conduct quantitative cognitions to any infinite related mathematical things in "the first generation of infinite set theory" : It can either be proved that there are as many elements in Rational Number Set as there are in Natural Number Set or that there are more elements in Rational Number Set than there are in Natural Number Set; the T = {x|x📷x}theory can either be used to create the Russell’s Paradox or to create "Power Set Theorem", make up the story of “the Hilbert Hotel forever with available rooms” ------- strictly make all the family members of the Russell's Paradox mathematicization and turn all the family members of Russell's Paradox into all kinds of Russell's Theorem; ... However, because it has nothing to do with applied mathematics, it is impossible to verify the scientificity of many practical quantitative cognitive operations and results in set theory. Therefore, there are far more unscientific contents in the quantitative cognitive process of present classical infinite set theory than in present classical mathematical analysis, because it can be more arbitrary！
Because "the first generation of infinite set theory" (Cantor’s set theory) is based on present classical infinite theory system, it is bound to be unable to get rid of the confusion of "potential infinite and actual infinite" contents, and people have to take the quantity of elements in an infinite set as the mixed number forms of "potential infinite number and actual infinite number" derived from those concepts of "potential infinite and actual infinite". This inevitably leads to two contradictory cognitive behaviors: On the one hand people deny the necessary relationship between "element” and “set" (not knowing at all that the existence of "elements with different properties" leads to the existence of different infinite sets?), firmly deny the characteristic differences of elements contained in different infinite sets (the unique existing meaning, unique existing form and unique existing condition as well as unique relationship between), and construct a kind of “cardinal number theory” by "double abstraction" which is conflict with the nature of infinite set. Through the "double abstraction", elements contained in many infinite sets are turned into piles of “geometric points" without any differences of “unique existing meaning, unique existing form and unique existing condition as well as unique relationship between”, to ensure that they all have the same "cardinal number" (to ensure many different infinite sets have the same quantity of elements). After "double abstraction", elements contained in different infinite sets have lost their original unique properties (including the property of number) and become "endless infinite geometric point"--------"endless" becomes the only numerical property for all the elements contained in many infinite sets (as we know, all the points on the lines are just piles of "endless abstract things" without any differences of “unique existing meaning, unique existing form, unique numerical property and unique existing condition as well as unique relationship between”. All the points on the line segments are with the same "cardinal number" and heir quantities are uniformly "infinite"). So, in present classical set theory (Cantor’s set theory), after "double abstraction", many subsets and their original sets contain same amount of elements -------- the elements contained in many infinite sets have the same "cardinal number" and "endless" becomes the only numerical property for all the elements contained in many infinite sets. On the other hand, all in a sudden, people recognized the necessary relationship between "elements and sets", firmly recognized the importance of the essential differences in the manifestation, nature, existing conditions and relationship among the elements in infinite sets, recognized that it is the existence of "elements with different characteristics" that leads to the existence of different infinite sets; all in a sudden, people denied the "double abstraction theory”, suddenly decided not to apply "double abstraction theory” in the cognitive process for elements contained in the infinite set, so as to ensure the applying of T = {x|x📷x}theory which has nothing to do with "double abstracted” to find some elements still with their special original features (not being "double abstracted”) and to complete some proofs that some infinite sets contain more infinite elements than other sets (for example, the infinite elements contained in Real Number Set are more than the infinite elements contained in Natural Number Set, the infinite elements contained in any infinite set are less than the infinite elements contained in its power set -------- Infinite Real Number Set is more infinite than Infinite Natural Set Number Set, and any infinite set is less infinite than its power set,... For hundreds of years, people have been trying so hard to study and fabricate various "infinite concepts", various formal logic, formal languages and "assembly line" operations related to those "contradictory and colorful concepts of infinite". However, the fundamental defects revealed by these two problems have determined the impossibility of scientific, effective and systematic qualitative and quantitative studies to elements contained in infinite sets, paradoxes are inevitably produced -------- because it is impossible to know at all what the infinite related elements contained in infinite sets are (the abstract things that are both potential infinite and actual infinite: the "ghost" disappearing and reappearing at any time?). Therefore, we draw an important conclusion: "the third mathematical crisis" is another manifestation of "the second mathematical crisis" in set theory. They are "twins". Studies have shown that, the unavoidable conceptual confusion of "potential infinite, actual infinite" in present classical infinite theory system determines Cantor's theory and operations of “cardinal number” and "double abstraction" are not self-justification at all and lack of scientific and systematic, which inevitably results in the impossibility of scientific, effective and systematic qualitative and quantitative studies to elements contained in infinite sets.
The musical melody is a structure consisting of a series of two types of entities: tones and pauses. Each tone has two properties: pitch and duration; each pause has one property - duration. According to these properties, they can compare to each other. The result of a comparison can be identity or difference.
Hypothesis: some combination of tones and pauses give us a sense of beauty, others don’t. Let us assume that beauty is proportional to the quantity and variety of the identity relations that the melody structure contains.[1]
Question: how can we determine the quantity and variety of identity relations in a given melody structure if we know that there are:
1. identity relations between individual tones and pauses;
2. identity relations between relations. (example: A and B are different in the same (identical) way as B and C; duration of A is half of the duration of B just like (identically) the duration of C is half of the duration of D; etc.)[2]
3. between groups of tones (and pauses)
And a second question: by which method can we create structures that contain maximum quantity and variety of identity relations?
*********
[1] About the reasons behind this hypothesis seePreprint , part 3.
[2] The structure must be observed throw time. If we play the tones and pauses of a beautiful melody in random time order the beauty will be lost. These types of relations allow us that.
I reject Cantor's infinite set theory as inconsistent (see The Countable-Infinity Contradiction
Preprint The Countable-Infinity Contradiction
). Is mathematics more than the unbounded set of consistent definitions formed from the concept of 1?There are two confusions when i apply QCA in my research.
1. how to deal with omitted variables? To my knowledge, most of QCA papers incorporate about 5 to 7 conditions. Too many conditions often make the results difficult to be interpreted. Then, some variables have been omitted. traditional regression analysis also suffer from the problem of omitted variables, but we can add more control variables to the model so as to reduce this risk.
2. what is the adequate level of solution coverage? In my research, the solution coverage scores are 0.55 and 0.7. Some reviewers argue that the coverage are too low to make rigorous claims. They take an analogy of R squares in regression analysis.
Thank you for sharing your ideas.
Algorithm
VennPainter uses set-theory to generate Venn diagrams. The intersection is defined as follow:
A \ B ¼ fx : x 2 A ^ x 2 Bg
and its complement:
B n A ¼ B \ A∁ ¼ fx : x 2 B ^ x 2= Ag
Technically, integer ax is assigned to label element x.
ax can represent the following: 8x 2 ax ¼ i¼ [n Xn Ai; 1 ≤ n ≤ 31 bi; 1 ≤ n ≤ 31 and bi ¼ i ¼ 1 i ( 2i—1; x 2 A 0; x 2= Ai
Thus, if ax1 = ax2, then x1 and x2 belong to the same intersection. VennPainter labels every intersection Um with an integer cUm in the Venn diagram (S1, S2 and S3 Figs). If ax ¼ cUm , then x 2 Um. The ﬂowchart (Fig 3) shows how VennPainter works.
These authors contributed equally to this work.
* zwei@ynu.edu.cn (WZ); jingluo@ynu.edu.cn (JL)
Recently, I am very interested in neutrosophic set & theory. In my best knowledge, a neutrosophic set can be represented by three quantities T, I, F (the truth, the indeterminacy and the falsity). But, in some recent literature, I have read that a neutrosophic number can be represented in the form z=a+bI, where a, b are real numbers and the quantity "I" denotes for the indeterminacy.
I cannot find out the relation between two concepts.
Could you please give me some details and suggestions for this problem ?
Sincerely,
According to the results of Gödel [1940] and Cohen [1963, 1964] it is accepted fact that CH is independent of axiomatic set theory. In plain terms, an analysts using ZF can assume that CH is either true or false and no argument can be made to contradict the assumed axiom.
Given that the question of P vs. NP must be predicated on some general asymptotic model of computation, it is natural to assume that some transfinite well-ordered model from ZF/NGB be the most appropriate way to attack the problem. In this type of analysis, one would have to show that the cardinality of a solution is related to the solution or state space size of the solution. Then one simply needs to look at the asymptotic solution behavior as a function of a linear data input size.
Under such a strategy, NP contains as least the lowest exponential (2^n) cardinality aleph 1, and arguably P contains the smallest cardinality aleph 0 (n).
If we assume that CH holds, then there is no cardinality c between n < c < 2^n. This implies that:
- · P != NP because there is a clear bifurcation between aleph 1 and aleph 0 and
- · L=P (where L are all linear solutions) because there are no intermediate solution cardinalities c in P except for those that reduce to L.
On the other hand, if we assume !CH holds then there exists c between n < c < 2^n which bifurcates P from NP implying P !=NP.
According to the independence of CH from ZF either is equally valid but as a outlined above both would lead to the same result that P != NP. However the assumption that CH holds implies that all problems in P have solution L. This leads us to assume that !CH because certainly not all problems in P are actually L?
We have a philosophical quandary here. Do we truly believe that CH is independent of our best mathematical analytic methods? Given the strong relation to P vs. NP are we also to believe that P vs. NP is also independent of ZF/NGB? Even if P vs. NP is independent of ZF we find that we must still conclude that P !=NP.
Perhaps it is ZF/NBG that is truly bifurcated from computational reality and therefore independent?
· Cohen, Paul J. (December 15, 1963). "The Independence of the Continuum Hypothesis". Proceedings of the National Academy of Sciences of the United States of America. 50 (6): 1143–1148. Bibcode:1963PNAS...50.1143C. doi:10.1073/pnas.50.6.1143. JSTOR 71858. PMC 221287. PMID 16578557.
· Cohen, Paul J. (January 15, 1964). "The Independence of the Continuum Hypothesis, II". Proceedings of the National Academy of Sciences of the United States of America. 51 (1): 105–110. Bibcode:1964PNAS...51..105C. doi:10.1073/pnas.51.1.105. JSTOR 72252. PMC 300611. PMID 16591132.
· Gödel, K. (1940). The Consistency of the Continuum-Hypothesis. Princeton University Press.
Hey policy and/or social scientists,
I am trying to analyze 3 conditions for an outcome, my N is relatively small with 6 countries I am trying to compare.
I have generated a few necessary conditions so far, but for some reason the standard analysis generates only a parsimonious solution with three paths. They all have a consistency of .7 or larger each and the solution coverage as well as consistency is .667. HOWEVER, none of the solution paths is represented in the truth table, so none of the cases fulfills one of the paths.
I have attached a screenshot of the Truth Table. Hope someone can give me some clarity! Is my N simply too small?
The unavoidable fatal defect of “’potential infinite--actual infinite’ confusion” in present classical infinite idea inevitably leads to the unceasingly production of “paradox events” (different in forms but same in nature) from many infinite relating fields in present science theory system and, the self-contradictory (Self-refutation Mechanism) “self and non-self” contents in present set theory (such as T={x|x📷x}) and mathematical analysis (such as the number-of-non-number variable) is a typical example. It is true that people have been trying very hard to solve those infinite relating paradoxes, but the mistaken working idea brought very little effect-------since antiquity, people have been unaware of that these suspended “infinite paradox events” are in fact an “infinite paradox syndrome” disclosing from different angles exactly the same fundamental defects in present classical infinite theory system, have not been studying seriously the consanguineous ties among the paradoxes in the syndrome, have not been studying seriously the consanguineous relations among these paradoxes and the foundations of their related theory systems (such as number system) , have not been studying seriously and deeply the fundamental defects in present classical infinite theory system disclosed jointly by different infinite paradox families; but merely studied, made up and developed very hard all kinds of formal languages, formal operations and formal logics specially for solving surface problems. So, not only these “infinite paradox families” have never been solved but developing and expanding unceasingly.
v
I am looking for a survey or an original article that discusses what is known about homogeneity in preordered (quasiordered) sets.
We know that in the case of posets (partially-ordered sets), the theory of automorphisms and homogeneity has reached a great extent.
Recall that, a poset P is called homogeneous, if for each two elements a, b of P there is at least one automorphism of P which maps a onto b.
Can inconsistent or inother logic save naive set theory?
There are three answers to the Set-Theory of Cantor.
Let´s have a discussion about them.
See first:
• Introduction Cantor
The papers, which the discussion should go on, are:
• Cantor
• Proof
• Cantor 3
We went through an entire roundabout within this discussion only to realize that the initial proposed set of definitions are in use both in Computer Science and in Mathematics. For a simple initial set of citations kindly refer to https://en.wikipedia.org/wiki/Sequence (Sub-section Streams)
( Oflazer, Kemal. "FORMAL LANGUAGES, AUTOMATA AND COMPUTATION: DECIDABILITY" (PDF). cmu.edu. Carnegie-Mellon University. Retrieved 24 April 2015. ).
We had proposed an extension of this as we felt this to be a more intuitive when describing certain aspects of Cantor's Diagonal argument.
We were met with an influx of knee-jerk reactionary responses that one will find within this discussion claiming that such definitions do not exist or that it is 'gibberish' to make use of terms such as 'stream' . There is obvious evidence to the contrary, and one does not need to dig too deep in order to see this.
What we ask of the RG community is that any and all knee-jerk responses without understanding the intention of a question, not only makes the response seem unprofessional and un-researched bringing into question the integrity/knowledge of the responder, it has the added disadvantage of dissuading one from asking questions.
A feeling one gets is that such knee-jerk responses are a result of a need to display 'knowledge/superiority' over a field they feel they hold dominion over along with the assumption that the questioner's inability to phrase implies complete ignorance.
We make the following proposal to the Mathematical community.
Anyone well versed in Logic and Set Theory will be familiar with the concept of cardinality and the nature by which the cardinality of the real numbers R as a whole over the natural numbers N was established.
There is a clear reason why the diagonalisation argument [Diag(N,R)] works in the way of the above establishment.
Being able to pinpoint the reason, will have the effect of being able to prove \kappa{S_1} > \kappa{S_2} for sets S_1 and S_2 having the necessary characteristics, by performing : [Diag(S_1,S_2)].
To aide in clarifying the above, we have attached a diagram.
We will be presenting the above idea in a conference in India.
Dear Professors,
I can find many "AMS Classifications" for fuzzy set theory and related algebraic structures. And also for soft set theory "06D72" is available. Is any other classifications for fuzzy soft set theory?
Please suggest it...........
Thank you...
The well-known Zermelio's theorem states that every set can be well-ordered. Since arbitrary well-ordering is a linear ordering, from this theorem it follows the following corollary:
(A) An arbitrary set can be linearly ordered.
It is well-known that Zermelio's theorem is equivalent to the axiom of choice.
Question: Can Corollary (A) be proven without axiom of choice?
The European revolutions produced between 1789 and 1848 gave rise to a new type of state that historians call "liberal". The political philosophy that sustained these regimes is the so-called "liberalism", which in the mid-nineteenth century had a dual aspect: political and economic. Liberalism implies the respect to the citizen and individual liberties protected, in a general way, on an inviolable constitution that reflects the rights and duties of citizens and rulers; separation of legislative, executive and judicial powers to avoid any abuse of power, and the right to vote. Along with this political liberalism, the bourgeois state of the nineteenth century is also based on economic liberalism: a set of theories and practices at the service of the upper bourgeoisie and which, to a large extent, were a consequence of the industrial revolution. From the point of view of practice, economic liberalism meant the non-intervention of the state in social, financial and business issues. From here, and based on the experiences that we live in our countries, I propose this question. Thanks in advance for your responses.
（1）Denying the essential differences of infinite set elements’ “special nature, special existing condition, special manifestation and special relationship among each other”, so, elements in all different infinite sets are only heaps of infinite “indiscriminative, nonquantitative, abstract points” and it is unnecessary and impossibale to have any quantitative studying and cognizing on “infinite elements (points) in infinite sets”, the number of elements in all infinite sets are the same and it is just infinite. For example, elements in many infinite mother sets and their sub-sets are in fact all the same stuff of infinite “indiscriminative, nonquantitative, abstract points” without any differences of “nature, existing condition, manifestation and relationship among each other”. The typical cases are “the element numbers in Rational Numbers Set and Natural Numbers Set are equal, the element numbers in Natural Numbers Set and Even Numbers Set are equal and they are just all infinite”. The conclution is: any infinite set has limitless, endlees, infinite elements, so their “one-to-one coresponding operations” of quantitative studying and cognizing on “infinite elements (points) in infinite sets”
can be carried on for ever and their element numbers are all “equally infinite”.
（2）Affirming the essential differences of infinite set elements’ “special nature, special existing condition, special manifestation and special relationship among each other”, so, elements in all different infinite sets can be “discriminative, quantitative visible and tangible mathematical things” and it is necessary and possibale to have all kinds of quantitative studying and cognizing on “infinite elements in infinite sets”. For example, there are different “special nature, special existing condition, special manifestation and special relationship among each other” betwee elements in Real Numbers Set and Natural Numbers Set, so, these two infinite sets have different element numbers. The typical cases are “the element numbers in Real Numbers Set are more than that of Natural Numbers Set, the element numbers in Power Set are more than that of its original set and they are all inequal”. The conclution is: Different infinite sets may have different element numbers. So, in the “one-to-one coresponding operations” of quantitative studying and cognizing on infinite elements of two different infinite sets, the elements in smaller set with fewer elements are consumed and finished soon, it means the element numbers in such an infinite set are not endlees and limitless at all (fake infinite); but in the begger set, infinite many elements are left during this operations, this means its elements are endlees and limitless (real infinite), never be consumed and finished at all, the “one-to-one coresponding operations” here can never be carried on for ever at all.
（3）The above different operating ideas and results of quantitative studying and cognizing on “elements in infinite sets” in present classical infinite set theory are affirmed scientific and both aceptable. The one-to-one coresponding operation idea and result of quantitative studying and cognizing on Rational Numbers Set and Natural Numbers Set is the most typical example. In present classical infinite set theory, on the one hand, we can prove the general acepted conclution of “Rational Numbers Set has exactly same elements as Natural Numbers Set, so it is countable” by the above first operating idea and result; on the other hand, we can also prove “Rational Numbers Set has infinite more elements than Natural Numbers Set, so it is uncountable” by the above second operating idea and result, because just a tiny portion of rational numbers from Rational Number Set (such as 1, 1/2, 1/3, 1/4, 1/5, 1/6, …, 1/n …) can map and use up (bijective) all the numbers in Natural Number Set. This is the newly discoved “’Countable-uncountable’ Paradox of Rational Number Set”. The conclution is: the quantitative studying and cognizing theories and operations in present classical infinite set theory are lack of scientificity.
It is because of the fundermental defects of the absence of “infinite carrier theory” and the unscientific concepts of “potential infinite--actual infinite” in present classical infinite set theory that have been making people unable to know which of the above threedifferent operating ideas and results is scientific and why, unable to know scientifically and systematically the relationship between “elements in infinite set” and “infinite set” , unable to know scientifically and systematically the “nature, existing condition, manifestation and relationship among each other” of sets through their elements, ... This situation has been making people unable to know clearly since antiquity how to carry on quantitative studying and cognizing on elements in infinite set scientifically and systematically, resulting in the production and suspending of all kinds of “infinite things’ quantitative cognizing paradox families” in present classical infinite set theory.
The suspended “infinite related paradoxes” in analysis and the “infinite related paradoxes” in set theory used to be studied and discussed separately since ancient times, it used to be regarded that they have been nothing to do with each other.
But, if putting all the suspended “infinite related paradox families” in analysis and set theory together, we discover immediately that they are in fact forming an “‘infinite paradox’ symptom complex” in present infinite related areas of mathematics disclosing exactly the same fundamental defects in present infinite related science and mathematics.
Then, we discover a new way to study and solve the fundamental defects in present infinite related science and mathematics disclosed by this “‘infinite paradox’ symptom complex” -------a new working field is waiting to be opened up.
I was trying to code the basic procedure for attribute reduction using rough set theory... couldn't find any pseudo code to find reduct and core...
Dear colleagues
I am trying to acquire the graph of probability of failure versus factor of safety. In other words, I would like to depict a figure in which the vertical axis shows the probability of failure and the horizontal axis shows factor of safety. As a result of random set theory, the cumulative density function for factor of safety has been calculated. That is to say, there has been a graph in which the vertical axes shows cumulative density function and the horizontal axis shows factor of safety. The question arises here, how the probability of failure for each factor of safety would be derived from cumulative density graph of factor of safety?
Should I use fragility function in order to obtain probability of failure?
I would be pleased to give you any further information that you may request.
For almost all the set models defined in literature, order relations have been defined so that elements can be compared. Do we have any such order relations defined so that we can have neutrosophic lattice or neutrosophic Boolean algebra etc. This will lead to many ordered algebraic structures and neutrosophic Boolean algebra will lead to neutrosophic circuits and so on.
For the sake of interest I was out looking for a discussion of functions in computer science as generalized functions. I started my search by something such as "computer functions as mathematical functions". NO paper discusses functions in computer science in terms of set theory, and they compare (not equate) mathematical functions and functions in programming. Where did I miss the buss? Mathematics need not be done with numbers, although the largest application of mathematics is to numbers.
Fuzzy set theory; Rough set theory; Applicability of set theory; Machine learning
The studies to our infinite related science and mathematics history have proved that a new visible and tangible “infinite related mathematical carrier (called ‘infinite mathematical carrier’ or ‘infinite carrier’ for short following)” is needed in our science and mathematics to express and cognize quantitatively “infinite related mathematical things”. This special new “infinite carrier” is a new mathematical content (new mathematical manifestation, new mathematical entity) between “infinite things” and “finite things”, its emerging and existence decides the emerging and existence of “infinite related mathematical carrier theory”-------new manifestations of “mathematical carrier” (such as “inter-number，indistinct-number” and “inter-set，indistinct-set”) and their related quantitative cognizing and operating theory (such as limit theory and one-to-one coresponding theory) as well as new infinite related “number spectrum (number system)” and “set spectrum (set system)”. The developing of “infinite related mathematical carrier theory” leads us enter into a new and systematic cognizing field of infinite carrier, enables us to accomplish the scientific mission of “cognizing ‘abstract law’ with ‘concrete carriers’” efficently, systematically and scientifically (fully satisfied accurace with high deree of approximation) to all kinds of “infinite related mathematical things” in many quantitative cognizing situations.
The emerging and existence of new mathematical carrier “inter-number (indistinct-number)” has decided the generating of the new infinite related “number spectrum--------zero or absolutely none, infinitesimal, inter-small or indistinct-small, finite-number or distinct-number, inter-great or indistinct-great, infinity, yan or absolutely being" for solving the fatal fundamental defect of lacking “infinite mathematical carrier” in the process of quantitative cognizing to “infinite related number forms”; while the emerging and existence of new mathematical carrier “inter-set，indistinct-set” has decided the generating of the new infinite related “set spectrum---------empty set，finite-set, distinct-set，inter-set or indistinct-set，infinite set" for solving some other fatal fundamental defect of lacking “infinite mathematical carrier” in the process of quantitative cognizings to “different infinite things relating to set” since set theory was founded. Our studies proved that the abscence of the whole “infinite related mathematical carrier theory” is really one of the key factors for the emerging and existence of those suspended paradox families (‘infinite paradoxes’ symptom complex) in present set theory and analysis.
In previous discussion we have introduced the newly constructing “new infinite theory system as well as its related infinite mathematical carrier theory” basing on the accumulated quantitative cognizing fruits of thousands years work on “infinite related mathematical things” by our predecessors. As one of the infinite related mathematical carriers, the “inter-set” in “set spectrum” of new infinite set theory are new mathematical contents of visible and tangible “scientific carriers” (in fact, many infinite sets being quantitative cognized in present set theory are “inter-sets” which have very close relationship with their elements’ special “nature, existing condition, manifestation and relationship among each other”). And, with the related “quantitative treating theories of infinite related mathematical things” (such as those “carriers’ analysing and quantities reaching” theories to elements and number forms, limit theory, one-to-one coresponding theory, ...), we can cognize on “inter-sets” and attain our objective of scientific, systimatic cognitions to all kinds of sets in the infinite related new “set spectrum”.
it is because of the absence of the infinite related new number forms and set forms (infinite related things mathematical carriers) that makes us unable to treat “different beings of infinite related things” in mathematical analysis and set theory ever since.
How can we define “infinite” and “finite” if we agree with the idea and the operations in Cantor's proofs that many infinite sets in mathematics actually can be proved (turned into) finite set-------the elements in real number set are never-be-finished, endless, limitless and they are really infinite while those in natural number set are sure-be-finished, ended, limited and they are actually finite?
This conundrum has disclosed two infinite related fundamental defects in present infinite set theory and mathematical analysis:
（1）the theoretical and practical confusions of “finite--infinite” caused by the theoratical and practical confusions of “potential infinite, actual infinite”;
（2）the absence of systematic “scientific carrier theory” and the absence of systematic “infinite related number spectrum and set spectrum”.
Because of the absence of systematic “scientific carrier theory”, in present infinite theory system (The First Generation of Infinite Theory System) basing on “potential infinite, actual infinite”, people have had to use the unscientific “potential infinite, actual infinite” theory for the quantitative cognitions of those “finite--infinite” related mathematical things since antiquity. And, because all the “infinite related concepts and contents” for quantitative cognizing in our mathematics have been being unscientifically defined as “non—infinite infinite, finite infinite, infinite finite, both finite and infinite, number of non-number, ...” in present infinite theory system, no one is able to know clearly when and where they should be “finite or infinite, number or non-number, ...” and why. This situation is not only unable us to cognize scientifically two concepts of “finite, infinite” and the relationship between them, but also unable us to cognize scientifically three contents of “finite mathematical things, potential infinite mathematical things, actual infinite mathematical things” and the relationship among them in present infinite related mathematical fields------very free and arbitrary when dealing with any “infinite related mathematical things”. So, many suspended infinite related paradox families have been produced inevitably. It is because of such fatal fundamental defects that results in the frequently performings of the mathematical version of Andersen's THE EMPEROR'S NEW CLOTHES Fairy Tale in all infinite related mathematical fields ever since “potential infinite, actual infinite” came into our science and mathematics, the only thing most people are able to do is just echoing in earnest to what the authorities said.
In new infinite theory system basing on the new concepts of "abstract infinite law and carriers of abstract infinite law " (The Second Generation of Infinite Theory System), the concepts of “finite, infinite, finite scientific carrier, infinite scientific carrier” have been clearlly and scientifically defined. “Infinite” is a kind of “invisible and intangible abstract scientific law”, it is a scientific (mathematical) content for qualitative but not quantitative studies and cognizings; while the “abstract scientific infinite law carriers" is a kind of “visible and tangible scientific concrete manifestation (entity) of abstract scientific law”, it is a scientific (mathematical) content specially fot quantitative studies and cognizings. In our science, we can only conduct the quantitative studying and cognizing on the “abstract scientific law carriers" but not on the “abstract scientific law". Basing on new infinite theory system, now we are perfectly justifiable to construct a systematic and scientific “theory of infinite related mathematical carriers" and able to conduct quantitative studying and cognizing on all kinds of “infinite related mathematical carriers" scientifically (such as their computations as well as the comparetions among them). The quantitative related systematic and scientific “theory of carriers" decides that we must have quantitative studies and cognizings on “different infinite law carriers, big (small) infinite law carriers, bigger (smaller) infinite law carriers, more bigger (more smaller) infinite law carriers, ..." but not on “different infinite laws, big (small) infinite laws, bigger (smaller) infinite laws, more bigger (more smaller) infinite laws, ..." or even arbitrarily on the “finite—infinite mixing up things” as what have been done in presentmathematical analysis and set theory (such as taking them as finite things first then as infinite things later or taking them as infinite things first then as finite things later or the elements belonging to an infinite set but being impossible to exist in this very infinite set, ...). So, in the Second Generation of Set Theory, it is impossible at all to have such contents as “the infinite of more infinite, more more infinite, more more more infinite, ... super infinite, super super infinite, super super super infinite, super super super super infinite, ...”; All the mathematical contents of “X--->0, Y--->📷, ...” for quantitative cognizing in our new infinite related mathematical analysis and set theory are the “scientific carriers" with clear and scientific quantitative natures and definitions in new systematic and scientific “infinite related number spectrum (number system) and set spectrum (set system)”. The replacement of “potential infinite, actual infinite” concepts by new "abstract infinite law and carriers of abstract infinite law" concepts in present infinite theory system and the development of systematic “theory of scientific carriers” inevitably result in great theoretical and operational reformations (a revolution) in the quantitative--quantitative studies and cognizings in our infinite related science areas and, eliminate scientifically and thoroughly the suspended conundrums of “’potential infinite, actual infinite’ confusing" and “’finit--infinite’ confusing" since antiquity.
The unexploited unification of general relativity and quantum physics is a painstaking issue. Is it feasible to build a nonempty set, with a binary operation defined on it, that encompasses both the theories as subsets, making it possible to join together two of their most dissimilar marks, i.e., the commutativity detectable in our macroscopic relativistic world and the non-commutativity detectable in the quantum, microscopic world? Could the gravitational field be the physical counterpart able to throw a bridge between relativity and quantum mechanics? It is feasible that gravity stands for an operator able to reduce the countless orthonormal bases required by quantum mechanics to just one, i.e., the relativistic basis of an observer located in a single cosmic area?
What do you think?
Paradoxes in our science have been special scientific contents which are constructed purpersly or unpurpersly to disclose the fundamental defects in certain areas of humans science. Along with humans’ evolution and the expension of our knowledge, our science has been evluting and completing constantly. So, paradoxes have been accompanying our science all the time-------no fundamental defects no paradoxes.
Our science history has proved that the existence of paradoxes in certain area of human science is not only the touchstone for the defects in the very science area (such as the suspended paradoxes in present infinite set theory) but also the strong “metabolism signal” for the related basic theory. And, the “‘infinite related paradoxes’ symptom complex” in some science areas (such as the suspended paradox families in present mathematical analysis and infinite set theory) disclose even more in their special way the ponderance and universality of the fundamental defects in their related science areas -------new scientific basic theories must be constructed to replace those former “paradoxes generating unscientific basic theories” in those very science areas.
Those suspended “infinite related paradoxes” in present mathematical analysis and in set theory used to be studied and discussed separately since ancient times, it used to be regarded that they have been nothing to do with each other. But, if putting all these paradoxes in analysis and in set theory together, we discover immediately that they are in fact forming an “‘infinite related paradoxes’ symptom complex” discloses in its special way exactly the same fundamental defects in different areas of present infinite related science and mathematics. This new idea helps us open up a new way to study and solve those suspended “infinite related paradoxes” in present mathematical analysis and in set theory-------discarding the inevitably confusing concepts of “potential infinite--actual infinite”, developing the new infinite theory system basing on the theory of "abstract infinite law--abstract infinite law carriers" and looking for the scientific foundation for mathematical analysis and in set theory.
Studies on the infinite related mathematics history have proved that it is the inevitable fundamental defect of “’potential infinite--actual infinite’ confusing” caused by the absence of systematic theory of “scientific carriers” that decides any areas in present infinite related science (including mathematical analysis and set theory) are unable to escape from the influences and constraints of such fatal defect, unable us to conduct the quantitative cognizings scientifically to “infinite related mathematical things”. So, many infinite related paradox families (symptom complex) in present mathematical analysis and set theory have been inevitably produced. Although many ways to solve this “paradoxes symptom complex” have been invented in our infinite related mathematics (such as Standard Analysis, Nonstandard Analysis, Type Theory, Model Theory, ZFC ) since Zeno 's Achilles and Tortoise Paradox, non of them is able to solve the real trouble of “’potential infinite-actual infinite’ confusing”--------The Second Mathematical Crisis and The Third Mathematical Crisis are unsolvable at all in present infinite related science and mathematics basing on classical infinite theory system. The systematic studies and development of “the idea and theory of ‘scientific abstract law--the carriers of scientific abstract law’” (especially the systematic studies and development of “the idea and theory of ‘the carriers of science’”) will fill in a blank in the foundation of Logic Theory and open a new way and a new working field for our further studying and cognizing on Logic (the relation laws among things in the universe).
“The natural metabolism law (mechanism)” is governing the whole life process of any “alive things” in the world. Humans’ mathematics is an alive thing, it metabolized before, it is metabolizing now, it will metabolize in the future and those unscientific things must be out while some scientific things must be in whenever the time is ripe. Having been suffering from the tormenting of “‘potential infinite--actual infinite’ confusing”, we should look for the new working idea and jump out of the “‘potential infinite--actual infinite’ confusing” abyss. The emergence of the new infinite theory system and the revolution in the foundation of present mathematical analysis and set theory decide the emergence of the Fourth Generation of Mathematical Analysis and the Second Generation of Set Theory. Only discarding the unscientific concepts of “potential infinite, actual infinite” in present infinite theory system and construting the new infinite theory system basing on the scientific concepts of "abstract infinite law--abstract infinite law carriers", studing and developing the systematic new "’scientific carriers--scientific carriers treating’ theories", can we fairnessly and justifiably conducting the quantitative cognitions to “infinite related mathematical things” with the systematic theory of “scientific carriers”, solving the fundamental defects disclosed by the obstinate “infinite paradoxes symptom complex” theoretically and operationally to dispel the thousands years suspended black cloud of “infinite related paradox families” over the sky of present mathematics and science.
I wrote a note (available as preprint on Research Gate) in which I reconsider Cantor’s diagonal argument for the existence of uncountable sets from a different point of view. After reformulating well-known theoretical results in new terms, I show that, contrary to what stated by Cantor, they do not imply uncountability.
To be clear, the aim of the note is not to prove that R is countable, but that the proof technique does not work. I remind that about 20 years before this proof based on diagonal argument, Cantor gave another and totally different proof of the same result.
I woud like to have comments from experts.
Preprint A note on Cantor's diagonal argument
The fundamental defects of “potential infinite and actual infinite” confusions in present classical infinite set theory have been making us humans unable to study and cognize scientifically the foundation of “one-to-one correspondence theory” (the “one-to-one correspondence theory needs its own foundation” even have never been considered about). And, because of the absence of this very foundation, it is very difficult for people to really understand scientifically what kind of mathematical tool “one-to-one correspondence theory” is and how to operate with this mathematical tool in practical quantitative cognitions to elements in infinite sets. So, following five questions have been produced and troubling people long:
（1）Are the elements in infinite sets “potential infinite things” or “actual infinite things”？
（2）Are there different “one-to-one correspondence theories and operations” to “potential infinite elements” or “actual infinite elements” in infinite set theory？
（3）How do we practically carry on “one-to-one correspondence” operations between two sets-------do we have “‘one single element’ to ‘one single element’ correspondence” or “‘one single element’ to ‘many elements’ correspondence” or “‘many elements’ to ‘many elements’ correspondence”？can we arbitrarily alter the elements’ “special nature, special existing condition, special manifestation and special relationship among each other” in infinite sets during the “one-to-one correspondence operations” for quantitative cognitions (such as alter all the elements in Natural Number Set first [1x2, 2x2, 3x2, 4x2, …,nx2, …] = [2,4,6,8, …,e,…] (not the correspondence between N and E but E andＥ), then prove it has same quantity of elements in Even Number Set)?
（4）What kinds of the elements in two different infinite sets are corresponded-------- do we have “‘one single original element’ to ‘one single original element’ correspondence” or “‘actual infinite elements’ to ‘potential infinite elements’ correspondence” or “mixture correspondence of ‘actual infinite elements’ and ‘potential infinite elements’”？
（5） What on earth is the foundation of “one-to-one correspondence theory”？
The fundamental defects in present classical infinite set theory have made us unable at all to answer clearly and scientifically above five questions. So, when carrying on practical quantitative cognitions to elements in different infinite sets with “one-to-one correspondence theory”, one can do very freely and arbitrarily--------lacking of scientific basis. For example: it is because of acknowledging the differences of elements’ “special nature, special existing condition, special manifestation and special relationship among each other” between Real Number Set (R) and Natural Number Set (N), one can prove that the Real Number Set (R) has more elements than N (the Power Set Theorem is proved in the same way). But, as what has been discussed in above 2.1 .1, we are able to prove with exactly the same way “the mother set has more elements than its sub-set”, “Rational Number Set has more elements than Natural Number Set”, “Natural Number Set has more elements than odd number set” ,...; we can even apply the widely acknowledged method of altering elements’ “special nature, special existing condition, special manifestation and special relationship among each other” to prove “Natural Number Set has more elements than Natural Number Set”, “odd number set has more elements than even number set”, “even number set has more elements than odd number set”, ....
Basing on the new infinite theory system with the “infinite mathematical carriers theory”, the Second Generation of Set Theory provides us with the scientific foundation of “one-to-one correspondence theory” and enable us answer above five questions clearly and scientifically:
（1）the elements in infinite sets are “infinite related mathematical carriers” with explicit quantitative nature and definition, indicating the existing of “abstract infinite law” and nothing to do at all with “potential infinite--actual infinite”. This decides one of the major differences between the first and the second generation of set theories-------the elements in different infinite sets have their own “special nature, special existing condition, special manifestation and special relationship among each other. So, it is really possible that different infinite sets have different quantity of elements and people can take them really as “visible and tangible infinite related mathematical things (such as the new numbers in new number spectrum)” for the quantitative cognitions
（2）the elements in infinite sets have nothing to do at all with “potential infinite elements” and “actual infinite elements”, there is only one identity for them-------“infinite related mathematical carriers” with explicit quantitative nature and definition; So, there is only one “one-to-one correspondence theory and operation” for them.
（3）it is explicitly stipulated that only “‘one single original element’ to ‘one single original element’ correspondence” operation is scientific (allowed) when comparing two sets for the quantitative cognitions and, during this process, any operations of arbitrarily altering the elements’ “special nature, special existing condition, special manifestation and special relationship among each other” are unscientific (not allowed).
（4）in the Second Generation of Set Theory, because of nothing to do at all with “potential infinite--actual infinite”, it is impossible to have any troubles produced by the confusion of “potential infinite --actual infinite”.
（5）the new infinite theory system (especially its theory of “infinite related mathematical carriers”) is the foundation of “one-to-one correspondence theory”.
The emergence of new infinite system determines the production of "new infinite set theory"--------The infinite set theory based on the classical infinite system is called "classical infinite set theory (the First Generation Of Infinite Set Theory) " while the infinite set theory based on the new infinite system is called "new infinite set theory (the Second Generation Of Infinite Set Theory)".
The same mission and same cognizing contents decide the two similarities between the two set theories.
1 The same qualitative-quantitative cognizing motivation and idea
It is a must to carry on the qualitative-quantitative cognizing activities on “infinite related mathematical things (such as elements in infinite sets and the quantity of elements in infinite sets)” by both new and classical set theories; especially in many practical quantitative cognizing operations, most “mathematical contents” in infinite sets are treated as “mathematical things with visibal and tangible quantitative nature and meaning” by both new and classical set theories.
2 the same quantitative cognizing tools
Both new and classical set theories use one-to-one coresponding theory and limit theory to carry on quantitative cognitions to those “infinite related mathematical things” in infinite sets.
It is these two similarities between new and classical set theories that decides many invaluableners intellectual wealth accumulated since antiquity in classical set theory are reserved in new set theory.
We understand from our infinite related science history that in present classical infinite related science system, it has been admitted that the concept of infinite is composed by both “potential infinite” and “actual infinite”. On the one hand, no one is able to deny the qualitative differences and the important roles “potential infinite--actual infinite” play in the foundation of present classical infinite theory system; on the other hand, no one is able to deny that the present classical set theory is basing on “potential infinite--actual infinite” concepts as well as its related whole present classical infinite theory system. The fact is: any areas in present classical infinite related science system (of cause including present classical mathematical analysis and set theory) can not run away from the constraining of “potential infinite--actual infinite” concepts-------all the contents in present classical mathematical analysis and set theory can only be existing in the forms of “potential infinite mathematical things” and “actual infinite mathematical things”. But, the studies of our infinite related science history have proved that no clear definitions for these two concepts of “potential infinite--actual infinite” and their relating “potential infinite mathematical things--actual infinite mathematical things” have ever been given since antiquity, thus naturally lead to following two unavoidable fatal defects in present classical set theory:
（1）theoretically: It is impossible to understand what the important basic concepts of “potential infinite” and “actual infinite” and their relating “potential infinite number forms, potential infinite sets” and “actual infinite number forms, actual infinite sets” are and what kinds of relationship among them are. So, in many “qualitative cognizing activities on infinite relating mathematical things (such as all kinds of infinite sets, elements in infinite sets, numbers of elements in infinite sets)” in present classical set theory, many people even don’t know or actually deny the being of “potential infinite” and “actual infinite” concepts as well as their relating “potential infinite number form, potential infinite sets” and “actual infinite number forms, actual infinite sets”--------it is impossible at all to understand clearly and scientifically the exact relationship among the important basic concepts of “infinite, infinities, infinite many, infinitesimals, infinite sets, elements in infinite sets, numbers of elements in infinite sets”, ... So, it is impossible at all to understand clearly and scientifically all kinds of different infinite sets (such as lacking of the “’set spectrum’ for the overall qualitative cognitions on the existing forms of infinite sets”), elements in an infinite set (such as ”are the infinite related elements potential infinite mathematical things or actual infinite mathematical things, how they exist?”), numbers of elements in an infinite set (such as ”are they actual infinite many or potential infinite many?”), the “one-to-one corresponding theory and operation” in infinite sets (such as ”are the potential infinite elements corresponding to potential infinite elements or actual infinite elements corresponding to actual infinite elements or actual infinite elements corresponding to potential infinite elements?”) ,... --------the unavoidable defects of qualitative cognition on infinite sets and their elements
（2）operationally: First, it is impossible to understand whether the “elements in an infinite set, numbers of elements in an infinite set and all kinds of infinite sets” being cognized in present classical set theory are “potential infinite mathematical things” or “actual infinite mathematical things”, whether there are different theories and operations for “potential infinite mathematical things or actual infinite mathematical things”, and it is impossible at all to understand correctly (scientifically) in present classical set theory the natures of infinite related quantitative cognizing theories and tools (such as limit theory and the “one-to-one corresponding theory”) and their operational scientificities-------- it is impossible at all to master correctly (scientifically) the operational competences and skills of limit theory and the “one-to-one corresponding theory” thus resulting in no scientific guarantee for the operations of limit theory and the “one-to-one corresponding theory”; second, it is impossible at all to judge the scientificities of many infinite related quantitative cognizing activities in present classical set theory, people in many cases can only parrot every bit of what have been done by others or do as one wishes to treat many “not—knowing—what” infinite mathematical things with the unified way of “flow line” (any “infinite sets”, “elements of an infinite set”, “elements’ number of an infinite set” can either be “potential infinite” or “actual infinite”, neither be “potential infinite” nor “actual infinite”, first “potential infinite” then “actual infinite”, first “actual infinite” then “potential infinite”, ,,,), those believed and accepted Russell’s Paradox, Hilbert Hotel Paradox, Cantor’s operations of “cutting an infinite thing into pieces to make super infinite numbers with different grades” as well as the famous “using Russell's ‘paradox constructing mechanism’ to prove the Power Set Theorem and the uncountability of real number set” are typical examples of “potential infinite--actual infinite” confusing operations--------the unavoidable defects of quantitative cognition on infinite sets and their elements.
We understand from our science and mathematics history, the fundamental defect in present classical set theory disclosed by the members of Russell’s Paradox Family in different periods of time is: looking for something belongs to an infinite set but is impossible to be found inside this infinite set--------no logic in our science can solve such paradox family as all the members of Russell’s Paradox Family are produced by the confusion of “potential infinite” and “actual infinite”.
Even more, some members of Russell’s Paradox Family are taken as paradoxes while some are taken as “great theorems and axioms” .
Some people really believe that Russell's theory of types or ZFC really can solve Russell’s Paradox, but following case (two members of Russell’s Paradox Family) tells that neither Russell's theory of types nor ZFC works:
Applying exactly the same mechnisim of Russell’s Paradox------looking for something belongs to an infinite set but is impossible to be found inside this infinite set, Cantor proved two inportant results of “power set theorem” and “Real number set is uncontable”.
I'm currently teaching our intro course on Theoretical Computer Science to first-year students, and I came up with the following simple proof that there are non-computable functions from N->N:
It's a simple cardinality-based argument. The set of programs in any arbitrary language is countable - just enumerate by length-lexicographic order (shortest programs first, ASCIIbetically for programs of equal length). The set of functions from N->N is uncountable (as the powerset of N is uncountable - in a pinch by a diagonalization argument - and hence the set of indicator functions alone is uncountable). So there are more functions than programs. Hence there are functions not computed by any program, hence non-computable functions.
My question: This is so simple that either it should be well-known or that it has a fatal flaw I have overlooked. In the first case, can someone point me to a suitable reference? In the second: What is the flaw?
Let suppose we say that there is a document D and a List of Sensitive Terms S. all NPs are belongs to D. Now IF are those NPs that belongs to S.
(1) IF = All NPs that belongs S.
Now Let suppose we have list A and B. Where A contains Identifiers and B contain medical finding.
All those NPs that is in A are I and All those NPs that is in B are F.
(2) I = { i E D | i E {a E A }}
(3) F = {f E D | f E {b E B}}
So implies that
(4) IF = I = { i E D | i E {a E A }} | F = {f E D | f E {b E B}}
or
(5) IF = I + F
Let suppose we say that there is a document D and a List of Sensitive Terms S. all NPs are belongs to D. Now IF are those NPs that belongs to S.
(1) IF = All NPs that belongs S.
Now Let suppose we have list A and B. Where A contains Identifiers and B contain medical finding.
All those NPs that is in A are I and All those NPs that is in B are F.