Set Theory, Computer Science and axiomatizations of Set Theory
Prashant Sharma
MATH419 D001 Sum 15
American Military University
Instructor Mehrdad Mahmoudi Zarandi
Abstract
This paper contains the brief introduction of Set theory which included the definition, origination, history and modernization of set theory and mathematical field related to it. The main focus of this paper will be on the application of set theory in different discipline.
Set Theory, Computer Science and axiomatizations of Set Theory
Mathematics is the study of numbers, and counting, and measuring, but that is only the beginning. Mathematics involves the study of number patterns and relationships. Set theory is an area of mathematics that deals with inconceivable numbers, and bottomless concepts such as infinity. The history of set theory is relatively dissimilar from the history of most other parts of mathematics. Set Theory was founded by Georg Cantor in 1874 in his paper “On a Characteristics Property of All Real Algebraic Numbers”. Naive set theory is fun, and as we saw with Cantor’s diagonalization, it can produce some incredibly beautiful results. But as we’ve seen before, in the simple world of naive set theory, it’s easy to run into trouble, in the form of Russell’s paradox and a variety of related problems.
The sake of completeness, Russell’s paradox concerns the set R={s | s ∉ s}. Is R∈R? If R∈R, then by the definition of R∉R. But by definition, if R∉R,
The purpose of this paper is to help me to fully understand and expand my knowledge of the concepts four in our textbook. By performing research about recent
Looking up the definition of mathematics you will get the simple definition, “the abstract science of number, quantity, and space”. I believe the definition of mathematics to be more than this. I believe mathematics is study of science using basic rules or truths, such as truth 1 + 1 = 2, applying these rules in different ways, since 1 + 1 = 2, we can expand on that and say 1 x 2 = 2, and then extrapolating upon those rules. We then can use these rules to apply and make models to represent the world we live in. Some of these models are used in engineering and physics where using these rules of mathematics to then design structures such as bridges, sky-scrapers, and roads.
Introducing a distinction between two unlike styles of knowledge of truth was Russell’s solution to his problem. Being direct, infallible, and certain is the first truth style and the second is open to error, indirect, and uncertain. He gave a good explanation for his position by proving that it is essential that indirect knowledge stand up to more fundamental or direct knowledge. Basically stating that theory alone does not show facts and you must have provable facts or direct knowledge.
He first disproves of the thought that philosophy studies only controversies to which the answer is impossible to know, and says that it will only matter, and have an effect on those who study philosophy for the purpose of gaining knowledge to connect the sciences for an understanding of the universe. Russell then compares a life without philosophy and a life with philosophy, the difference being that a life without philosophy is confined to only thinking of our world, while one who lives a philosophical life is free to think of the outer world, as well as beyond. He concludes by saying philosophy is not studies for the sake of answers, but for the sake of the questions themselves, in order to expand our knowledge of possibilities and intellectual imagination, in addition to understanding the capabilities and greatness of the
Russell’s main argument from both chapter one and two is that reality of the world or any physical object must be inferred from what we know about our own sense data. As all other things, appearances of physical objects and color can be deceiving, and change between different sets of onlookers. For example, a person could say that heard a gunshot go off when at the time fireworks were being set off nearby. The belief that they actually heard a gunshot go off cannot be necessarily plausible if fireworks were being set off instead. Appearance and sense data may not necessarily be reality.
The first term relevant to this paper is determinism. (Hard) Determinism is the philosophical idea that every action and decision a
Russell’s skeptic argument is extremely persuasive and almost unbreakable. An important point here is that around this time Rene Descartes, a French philosopher, had
One point he made is that “if anything is without a cause, then is the world as God.” He is saying that if there is a first cause, why not is it the world but should be God? Further, if something can be the first cause, why should we need God, why the first cause is not the world? In addition, Russell stated, “the philosophers and the men of science have got going on cause.” Based on this quote, his argumentation and logic in the first cause argument are based on science or the chain of causes is based on the validity of science. The next point that Russell made is that “if everything must have a cause, then God must have a cause” (2). Russell remarks that, if everything must have a cause, then God cannot be uncaused. Nothing can come from nothing and everything has some form of beginning. Russell briefly explains the first cause argument, and then objects it by Mill's words and suggest the further question “who made God?” According to Mill and Russell, there cannot be a first cause. Furthermore, Russell stated, “if there can be anything without a cause, it may just as well be the world as God.” So he is saying that God and the world has equal amount of power if there can be anything without a
Every person in the world is told that, on a normal day, the sky is blue. No one really questions if that’s actually true or even goes into detail of what time of blue it is. Russell considers this a “practical man’s” perspective. On the other hand, if someone said the sky is brown, those same people would at least look up to the sky to indirectly question how that was possible. This contradicts Russell’s beliefs now these people are “philosophical men”. However, according to the philosopher a person cannot be both. This is the flaw of Russell’s argument. The line Russell creates between a “practical” mindset and a “philosophical” mindset does not apply to reality; there needs to be a balance in order to have a good life.
The main aim of this research proposal is to explore the extensive situation of the problem of
The implications of infinity (co) are actualiy not that old. The Greeks were some of the first mathematicians recorded to have imagined the concept of infinity. However, they did not actuaily delve into the entirety of this number. The Greeks used the term “potentially infinite," for the concept of an actual limitless value was beyond their comprehension. The actual term “infinity” was defined by Georg Cantor, a renowned German mathematician, in the late nineteenth century. It was originally used in his Set Theory, which is a very important theory to the mathematical world. The value of infinity can get a bit confusing, as there are different types of infinity. Many claim that infinity is not a number. This is true, but it does have a value. So, infinity may be used in mathematical equations as the greatest possible value. i The value of infinity Infinity (00) is the greatest possibleivalue that can exist. However, there are different infinities that, by logic, are greater than other forms of itself. Here is one example: to the set of ait Naturai numbers Z43, 2, 3, 4,...}, there are an infinite amount of members. This is usualiy noted by Ko, which is the cardinality of the set of alt natural numbers,
Mathematics has contributed to the alteration of technology over many years. The most noticeable mathematical technology is the evolution of the abacus to the many variations of the calculator. Some people argue that the changes in technology have been for the better while others argue they have been for the worse. While this paper does not address specifically technology, this paper rather addresses influential persons in philosophy to the field of mathematics. In order to understand the impact of mathematics, this paper will delve into the three philosophers of the past who have contributed to this academic. In this paper, I will cover the views of three philosophers of mathematics encompassing their
The purpose of this report is to give information on the subject known as Logical reasoning and its use in Computer Science and computers in general. A historical background behind logic and Logical reasoning is firstly given, followed by an overview of the modern subject and the types it’s divided into. The types are then explained. The overlap between the field of logic and that of computer science is also given an explanation. The report ends with a brief overview on the subject and its tie to computer science and computing.
At this time, people were beginning to study the notion of infinite more deeply and one of the forefront mathematicians to tackle infinity was Zeno. Zeno is most well known for his paradoxes that primarily look at infinity via the physical world. His first paradox deals with dichotomy, or the idea that one must first reach the halfway mark of a certain point, and then the halfway point of the halfway point, and so on. In terms of a sequence, dichotomy can be described as the sequence: {…1/16, 1/8, 1/4, 1/2, 1}. Zeno’s other paradoxes are the Achilles and the tortoise paradox,
Mathematics is the one of the most important subjects in our daily life and in most human activities the knowledge of mathematics is important. In the rapidly changing world and in the era of technology, mathematics plays an essential role. To understand the mechanized world and match with the newly developing information technology knowledge in mathematics is vital. Mathematics is the mother of all sciences. Without the knowledge of mathematics, nothing is possible in the world. The world cannot progress without mathematics. Mathematics fulfills most of the human needs related to diverse aspects of everyday life. Mathematics has been accepted as significant element of formal education from ancient period to the present day. Mathematics has a very important role in the classroom not only because of the relevance of the syllabus material, but because of the reasoning processes the student can develop.