Two Fuzzy Logic Programming Paradoxes Imply Continuum Hypothesis="False"&Axiom of Choice="False"Imply ZFC is Inconsistent
نویسنده
چکیده
Two different paradoxes of the fuzzy logic programming system of [29] are presented. The first paradox is due to two distinct (contradictory) truth values for every ground atom of FLP, one is syntactical, the other is semantical. The second paradox concerns the cardinality of the valid FLP formulas which is found to have contradictory values: both $\aleph_0$ the cardinality of the natural numbers, and $c$, the cardinality of the continuum. The result is that CH="False"and Axiom of Choice="False". Hence, ZFC is inconsistent.
منابع مشابه
The Independence of the Continuum Hypothesis from ZFC
This project is split into two main parts: the rst section is a construction of a model in which the continuum hypothesis is true, and the second is a construction of a model in which the continuum hypothesis fails. Both of these models will satisfy the Zermelo-Frankel axioms of set theory as well as the axiom of choice (the collection of which we will denote ZFC for the remainder of this paper...
متن کاملWoodin on the Continuum Problem: an overview and some objections
I consider W. Hugh Woodin’s approach to the Continuum Problem, giving a brief overview of it and discussing a few objections which can be raised against it. In the last few years, Woodin has developed a new approach to the problem, which has produced such results that although it is not yet solved, one could argue that there are at present clear symptoms that it could have a solution. Woodin’s ...
متن کاملThe Continuum Hypothesis, Part I, Volume 48, Number 6
This problem belongs to an ever-increasing list of problems known to be unsolvable from the (usual) axioms of set theory. However, some of these problems have now been solved. But what does this actually mean? Could the Continuum Hypothesis be similarly solved? These questions are the subject of this article, and the discussion will involve ingredients from many of the current areas of set theo...
متن کاملThree Days of Ω-logic
The Zermelo-Fraenkel axioms for set theory with the Axiom of Choice (ZFC) form the most commonly accepted foundations for mathematical practice, yet it is well-known that many mathematical statements are neither proved nor refuted from these axioms. One example is given by Gödel’s Second Incompleteness Theorem, which says that no consistent recursive axiom system which is strong enough to descr...
متن کاملIs the Dream Solution of the Continuum Hypothesis Attainable?
The dream solution of the continuum hypothesis (CH) would be a solution by which we settle the continuum hypothesis on the basis of a newly discovered fundamental principle of set theory, a missing axiom, widely regarded as true. Such a dream solution would indeed be a solution, since we would all accept the new axiom along with its consequences. In this article, however, I argue that such a dr...
متن کامل