{"id":173213,"date":"2024-02-16T15:07:59","date_gmt":"2024-02-16T14:07:59","guid":{"rendered":"https:\/\/us.edu.pl\/wydzial\/wnst\/?p=173213"},"modified":"2024-02-19T10:07:16","modified_gmt":"2024-02-19T09:07:16","slug":"marcin-aleksa","status":"publish","type":"post","link":"https:\/\/us.edu.pl\/wydzial\/wnst\/en\/2024\/02\/16\/marcin-aleksa\/","title":{"rendered":"Science | My passion – Marcin Aleksa"},"content":{"rendered":"

[vc_row css=”.vc_custom_1645781618847{background-color: #ededd5 !important;}”][vc_column width=”2\/3″]\r\n

\r\n
\r\n \r\n
<\/p>\n

\u201eWhere do the numbers come from”<\/span><\/h3>\n

Here is a brief history of the history of numbers…<\/span><\/p>\n

SCIENCE | MY PASSION<\/span>
\n<\/strong><\/span><\/small><\/p>\n

\n

According to the definition taken from the Polish Language Dictionary, science is complete human knowledge arranged into a system of problems, but also a set of ideas that constitute a systematic whole and comprise a specific research field.
\nScience is also activity: learning and teaching.
\nPlease read the \u201cScience | My Passion<\/a>\u201d series, where our researchers present their work and show that science and research process can really draw us in. <\/span><\/p>\n

\n<\/div>\r\n <\/div>\r\n <\/div>[\/vc_column][vc_column width=”1\/3″]\r\n

\r\n
\r\n \r\n

\"\"<\/p>\n<\/div>\r\n <\/div>\r\n <\/div>[\/vc_column][\/vc_row][vc_row][vc_column width=”1\/6″ css=”.vc_custom_1708092680566{background-color: #ededd5 !important;}”]\r\n

\r\n
\r\n \r\n

\"\"<\/p>\n<\/div>\r\n <\/div>\r\n <\/div>\r\n

\r\n
\r\n \r\n

Matematyka – kierunek studi\u00f3w<\/a><\/small><\/p>\n<\/div>\r\n <\/div>\r\n <\/div>[\/vc_column][vc_column width=”5\/6″]\r\n

\r\n
\r\n \r\n

|tekst: Michalina Pi\u0105tek, student of the Mathematics degree programme|
\n|Anna Glenszczyk, PhD, tutor|
\n|This article was written for the Logic Workshop|<\/small><\/p>\n

Where do the numbers come from? A short story on the numbers history<\/strong><\/span><\/h3>\n

A number does not have a definition, to be honest…<\/strong><\/span><\/p>\n

\u2018Number\u2019 seems to be an abstract term. Defining it is problematic, because there is no sensible answer to the question: What is a number? The word itself gives us no information on the abstract object we are considering. However, we can \u2018indicate\u2019 numbers in our everyday life.
\nThe number of cross buns purchased in Biedronka (or Lidl, if you prefer) can be characterised by a specific natural number; the number of points scored on the test, final exam, by a rational number (perhaps even an irrational number, if someone tried hard). However, please note that none of these numbers is not a number per se. Each of them is definite \u2013 either natural, or rational, or irrational. So it is clear that the number must be somehow specific. This would make sense, because by trying to define a number as an element belonging to the set of all numbers, we would arrive in a twisted way (probably in a metric-river) at Russell’s antinomy.
\nFrom now on, I will try (to the best of my, as Paul Erd\u0151s would probably call it, epsilon capabilities) to describe numbers professionally, that is, as objects that satisfy established axioms and operations.<\/p>\n

Which numbers were first?<\/strong><\/span><\/p>\n

Of course, I ask which numbers appeared as first. Prime numbers probable were not among those discovered at the beginning. Naturally (pun not intended), we can assume that the basic numbers we deal with are natural numbers. After all, they have always been with us. Prehistoric people incised bones, such as the Ishago bone, and these incisions were meant to symbolise something. Unfortunately, we don\u2019t know what, but certainly something countable. What\u2019s interesting, in the case of bone from Ishago coincides with prime numbers between 10 and 20.<\/p>\n

Someone may ask \u2018ok, but where did these numbers come from?\u2019. A trivial and not so funny answer would be \u2018a stork brought them\u2019. However, if we take the number 0 (or the empty set) as a stork, then in the universal, axiomatic construction of natural numbers proposed by Giuseppe Pean These conditions must be met by any construction of natural numbers.<\/p>\n

Starting from 0 and defining the successor of a natural number, we are able to construct a set of natural numbers. For the number 0 \u201cnaturalness by definition\u201d is enough (providing that we assume by definition that 0 is a natural number). Successor (often denoted S(a)) needs a bit more conditions. The most important are:<\/p>\n

    \n
  1. Every natural number a has its successor, S(a)<\/li>\n
  2. 0 can\u2019t be the successor of any natural number<\/li>\n
  3. if the successors of two natural numbers are the same, i.e. S(a)=S(b) then these numbers are equal to each other a=b<\/li>\n<\/ol>\n

    Then I should mention the model of von Neumann. In this case, we identify finite sets with natural numbers. 0 will correspond to \u00d8. How is the consequent of S(a) defined? As a sum of the set a with the singleton {a} (i.e. a single-element set containing only a):<\/p>\n

    S(a) = a \ud835\uddb4 {a}. It’s not hard to notice that now:<\/p>\n

    0 = \u00d8, 1 = {\u00d8}, 2 = {\u00d8, {\u00d8}}, 3 = {\u00d8, {\u00d8}, {\u00d8, {\u00d8}}} i tak dalej.<\/p>\n

    This model also shows mathematical induction in a beautiful way.<\/p>\n

    (Un)natural numbers<\/span><\/strong><\/p>\n

    Great. One set of numbers done. We already know where they come from \u2013 very wise men, Peano and von Neumann figured it out. And what next? Going back to Ancient Greece, we can find rational numbers constructed as ratios of the lengths of the sides. A little later, an exact definition of the rational numbers was invented. The fractions p\/q and r\/s correspond to the equivalence relation ~ defined as:<\/p>\n

    (\ud835\udc5d, \ud835\udc5f) ~ (\ud835\udc5e, \ud835\udc60) \u2194 \ud835\udc5d \u2219\ud835\udc60=\ud835\udc5f \u2219\ud835\udc5e<\/p>\n

    Just the question is: what are p, r, q and s? Knowing the terms from algebra, we will call them \u2018elements of the field\u2019. However, we are at the Logic Classes and we are using the definition of relations, so it is logical that the pairs (p, r) and (q, s) are the elements of the Cartesian quotient of two sets. The question arises: which ones?<\/p>\n

    We can’t forget about integers, which are also “derived” from natural numbers. We can also algebraically define integers as being the opposites of natural numbers. However, if we extrapolate Pean’s axioms in the other direction and define antecedents in addition to the consequents, we obtain a set of integers.<\/p>\n

    Avoiding the \u2018what came first, integers or rationals?\u2019 war, let’s assume that the elements p, r, q, s belong to the integers. With the assumption that r and q are different from 0, of course. Since kindergarten we’ve been taught that we can’t divide by 0. The relation ~ is then described by the Cartesian product of two Cartesian products of sets of integers, the secondary without 0.<\/p>\n

    ~ \u2282 (\u2124\u00d7 \u2124\\{0})\u00d7(\u2124\u00d7 \u2124\\{0})<\/p>\n

    And what’s next?<\/span><\/strong><\/p>\n

    After all, we already know that numbers don’t end with rational numbers (positive or negative). We still have to characterise algebraic, real, transcendental and complex numbers. In total, maybe let the positive real numbers be all possible lengths. And let the negative reals be their opposites. And an imaginary unit: well, let’s draw a complex plane and we even have a pretty well visible set of all complex numbers. Every point on this plane corresponds to some complex number, specifically one. And that’s all, I guess. Or not? Is it the end of the essay?<\/p>\n

    No. Wait a second. After all, there are also some strange Hebrew numbers. Something like… Alef zero? This funny N… Okey, I got this, I copied it from the signboard – \u21350<\/sub>. Okay, but where do we place it? Oh, okay, those are the so-called cardinal numbers. So it\u2019s agreed, they\u2019re numbers, but where can we put them on this complex plane? Well, unfortunately we can’t. But they’re still numbers. They are applicable. They can also be constructed and describe specific mathematical objects, sets. It is worth mentioning that in this case we are already considering whole classes of numbers. This makes sense because we’re starting to talk about sets of numbers based on larger and larger sets. And Russell’s antinomy and its consequences need no introduction (this is an obvious topic for anyone who has come across the concept of the power of sets; I would explain it in amazingly simple terms, unfortunately the margin is too small to contain it).<\/p>\n

    As it turns out, there are much more of them! On Wikipedia (which has been \u2013 within limits \u2013 my inspiration) there is even a very nice .png file showing these \u201cmost important\u201d number sets. Or rather, the most frequently considered ones. There are ordinal numbers above the cardinal numbers. And a category above them, in their superclass we can find hyperreal numbers. But going in a different direction, but also from natural numbers, we arrive at real numbers, complex numbers, quaternions, and other hypercomplex numbers.<\/p>\n

    Topic: \u201cWhere do the numbers come from?\u201d. After of all, the time has come to answer this extremely difficult question. The question, and the answer to it, on which depends the sense of writing this column for the last 65 minutes.<\/p>\n<\/div>\r\n <\/div>\r\n <\/div>\r\n

    \r\n
    \r\n \r\n
    <\/p>\n

    \"\"
    \nRys. 1: Hasse diagram showing sets and number classes, and the inclusion relations between them.
    \nSource\u0179r\u00f3d\u0142o: https:\/\/pl.wikipedia.org\/wiki\/Liczba<\/a><\/small><\/p>\n

    Where do the numbers come from?<\/strong><\/span><\/p>\n

    After an in-depth few hours of research and a few more hours of writing, we came to fundamental conclusions. To paraphrase Voltaire, it can be said that:<\/p>\n

    If there were no numbers in the world, it would be necessary to invent them.<\/p>\n

    But which numbers? The one we need at the moment. If the construction turns out to be correct and there is no contradiction in the axioms, then there is nothing to prevent this newly created\/discovered (whether it was created or discovered is a topic for the next essay) set or class from determine them with the use of numbers.<\/p>\n

    But what can we say about the numbers we already \u201chave\u201d? Where did they come from? Let us note that all numbers in a sense come from the set of natural numbers, they are its extension or exclusion from some set (also composed of natural numbers). Similarly, transcendental numbers are actually real numbers (constructed from natural numbers) that are not algebraic numbers (which were also constructed from natural numbers).<\/p>\n

    Let’s say all other numbers came from natural numbers.<\/p>\n

    But where did the natural numbers come from? Their construction actually started with 0 (or \u00d8). Zero, empty set, nothing. Concluding the essay poetically, it turns out that, paradoxically… the numbers came from nothing<\/strong><\/span>.<\/p>\n

    Thank you for your attention and reading the story about the numbers history<\/em>\ud83d\ude0a<\/p>\n<\/div>\r\n <\/div>\r\n <\/div>[\/vc_column][\/vc_row]<\/p>","protected":false},"excerpt":{"rendered":"

    [vc_row css=”.vc_custom_1645781618847{background-color: #ededd5 !important;}”][vc_column width=”2\/3″][\/vc_column][vc_column width=”1\/3″][\/vc_column][\/vc_row][vc_row][vc_column width=”1\/6″ css=”.vc_custom_1708092680566{background-color: #ededd5 !important;}”][\/vc_column][vc_column width=”5\/6″][\/vc_column][\/vc_row] […]<\/p>\n

    Read More…<\/a><\/p>\n","protected":false},"author":92,"featured_media":173217,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_expiration-date-status":"","_expiration-date":0,"_expiration-date-type":"","_expiration-date-categories":[],"_expiration-date-options":[]},"categories":[492,321,592,42],"tags":[96,74,633],"acf":[],"_links":{"self":[{"href":"https:\/\/us.edu.pl\/wydzial\/wnst\/en\/wp-json\/wp\/v2\/posts\/173213"}],"collection":[{"href":"https:\/\/us.edu.pl\/wydzial\/wnst\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/us.edu.pl\/wydzial\/wnst\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/us.edu.pl\/wydzial\/wnst\/en\/wp-json\/wp\/v2\/users\/92"}],"replies":[{"embeddable":true,"href":"https:\/\/us.edu.pl\/wydzial\/wnst\/en\/wp-json\/wp\/v2\/comments?post=173213"}],"version-history":[{"count":3,"href":"https:\/\/us.edu.pl\/wydzial\/wnst\/en\/wp-json\/wp\/v2\/posts\/173213\/revisions"}],"predecessor-version":[{"id":173237,"href":"https:\/\/us.edu.pl\/wydzial\/wnst\/en\/wp-json\/wp\/v2\/posts\/173213\/revisions\/173237"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/us.edu.pl\/wydzial\/wnst\/en\/wp-json\/wp\/v2\/media\/173217"}],"wp:attachment":[{"href":"https:\/\/us.edu.pl\/wydzial\/wnst\/en\/wp-json\/wp\/v2\/media?parent=173213"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/us.edu.pl\/wydzial\/wnst\/en\/wp-json\/wp\/v2\/categories?post=173213"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/us.edu.pl\/wydzial\/wnst\/en\/wp-json\/wp\/v2\/tags?post=173213"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}