3 views

Uploaded by CS & IT

This short paper suggests that there might be numerals that do not represent numbers. It
introduces an alternative proof that the set of complex numbers is denumerable, and also an
algorithm for denumerating them

- Theoretical and Practical Values Theoretical and practical values of English Lexicologyof English Lexicology
- Ambiguous Grammar
- Language Processors
- 17340659-PPT-3-Quantifiers
- An Axiomatic Basis
- Kathrin Glüer-Donald Davidson_ A Short Introduction-Oxford University Press (2011).pdf
- 9-10.34_Mathematics Eng.pdf
- Simbolic Dynamics
- math lesson budgeting
- SAT.pdf
- ECO 134 Sec 9 Quiz 1
- INJECTIVE MONOIDS
- Chapter 01 Introduction
- Hoare - An Axiomatic Basis for Computer Programming
- Chapter 02. Languages
- Cat Problems_Answers and Explanation
- set theory 1 1
- interactive whiteboard activity - daniel beebe
- 451 Sample Questions 2
- matematika skripta

You are on page 1of 4

J. Ulisses Ferreira

Trv. Pirapora 36 Costa Azul 41.770-220 Salvador, Brazil

ulisses@ferreira.mat.br

ABSTRACT

This short paper suggests that there might be numerals that do not represent numbers. It introduces an alternative proof that the set of complex numbers is denumerable, and also an algorithm for denumerating them.

KEYWORDS

Enumeration, Georg Cantor, diagonal process

1. INTRODUCTION

In 2004 [1] and 2005 [2], I demonstrated that C, i.e. the set of the complex numbers, is denumerable. Before that, it was already known that Q, i.e. the rational numbers, is denumerable, and that repetitions of the same numbers, such as 1/2, 2/4 and 3/6 in any denumeration such as 0, 1/1, -1/1, 1/2, -1/2, 2/1, -2/1, 1/3, -1/3, 2/2, -2/2, 3/1, -3/1... caused no problem. The order of the numbers does not matter either. Furthermore, I observed that the Cantors diagonal process was based on numerals, instead of numbers. One cannot arbitrarily invent any set of new numbers. Historically, the zero and negative integers were discovered because there was some need: the subtraction operation. Then, the rational numbers were discovered since there was the need for dividing numbers, and so on. Thus, except for the natural numbers, the notion of number expresses quantity but it is also the result from a sequence of arithmetical operations. Pi appeared because of the geometry, and so on. Thus, there do exist irrational numerals between 0 and 1 that do not represent numbers, possibly most of them, if we can talk in this way. This means that using randomizing functions such as the well known randomize and rand in a programming language, even if the computer memory was infinite, will produce numerals based on decimal digits, but not necessarily numbers. Since the memory is finite, they do not even produce irrational numbers in such a representation. Not even 10/3 can be represented on a computer using decimal digits only. Cantors diagonal process just seems to work because it was a deduction over symbols.

Dhinaharan Nagamalai et al. (Eds) : CSE, DBDM, CCNET, AIFL, SCOM, CICS, CSIP - 2014 pp. 7982, 2014. CS & IT-CSCP 2014 DOI : 10.5121/csit.2014.4407

80

In [1,2], I also proved that not only R but also C are denumerable. In this short paper, I introduce a proof that is easier to be understood. Note that MMXII (Roman) and 2012 (Arabic) are two different numerals that represent the same number, and that this is much older than Cantor and our culture. Whether there are or not numerals in decimal Arabic notation that are supposed to represent some irrational number but do not represent any number, the following proof works.

2. THE PROOF

Here, I use the coding and decoding system previously used by Kurt Gdel in the proof of his historic theorem of incompleteness, published in 1931 [3], which, in its turn, was inspired by Whitehead and Russells work entitled Principia Mathematica [4]. The used numbers are better known as Gdel Numbers. As a professional originally from the area of programming languages design and implementation, whenever I do not have suitable means for representing any arithmetic expression, I simply write the expression as if I was using a subset of some full programming language, such as BASIC, Pascal, Java, Haskell or any other, taking into consideration that I use the symbol ^ to represent power like in BASIC, instead of ** like in FORTRAN and that some languages do not provide the power function. In this way, those are the numerals that I chose for representing the set C of the complex numbers: for instance, I represent the constant e by simply e; For the irrational number , I simply represent it by pi; The irrational number which is the square root of -1, I represent by sqrt(-1), but as I wish to also represent all complex numbers, I simply write i for representing the same number, and so on. A few examples of numerals of mine are 10/3, sqrt(2), 1+3/(sin(30)*2), log(2,10)-pi, e^32, "2+6*i, each of them representing its corresponding complex number. Furthermore, since they are arithmetic expressions only, not logical propositions nor predicates nor function definitions, there is no self-references or paradoxes involved. Given a coding table for characters such as ASCII, the next step consist in calculating the Gdel numbers that correspond to those strings, using a function that I would naturally define having G as its identifier. Let c be the function that receives a character and results in its ASCII code (or, alternatively, any more suitable code from a shorter table), and, skipping 1, let us use the same sequence of the first smaller prime numbers such as the one used by Gdel while proving that theorem of his, I obtain the following examples: G(e) = 2^c(e). G(pi) = 2^c(p) * 3^c(i). G(10/3) = 2^c(1) * 3^c(0) * 5^c(/) * 7^c(3). G(2+6*i) = 2^c(2) * 3^c(+) * 5^c(6) * 7^c(*) * 11^c(i). One can observe that there are infinite Gdel numbers that do not represent any complex number, but this is not a problem since both sets are infinite and any subset of the natural numbers is denumerable. Since the function G always receives a complete expression as a string and results in a natural number, and, using the numerals that I chose as strings containing arithmetic expressions, I can represent any complex number, the set of the complex numbers is denumerable.

81

Remark: Note that, as in any coding function using Gdel numbers, there is an inverse function that, from any natural number obtained from the above explained manner, results in the string that contains the original arithmetic expression. Theorem 2. There does exist some algorithm that denumerates the set of the complex numbers. Proof. I will prove constructively, showing my algorithm: first, I define an alphabet, a formal language for arithmetic expressions and write a parser for expressions of this language, which, in its turn, contains only the alphabet defined for constant expressions, operators and symbols such as (, , and ) used in expressions, identifiers of all arithmetic functions such as log and sin, and reserved words of constant values, such as e, pi and i, but that language does not contain any variable. One typically uses BNF for doing so. A question is to know what the first number of my denumeration is. Thus, I have to set an order. Let G be the inverse function that receives a Gdel number and results in the original arithmetic expression. Starting from the natural number n = 2, we apply G and verify to know whether the resulting string denotes any well-formed arithmetic expression, in accordance with the formed language previously defined. If true, this is the first numeral of my denumeration. Otherwise, we can try using n = 3, then n = 4, then n = 5, and so on, until we find the first natural number n whose G(n) application results in some arithmetic expression well formed. The obtained string is the first numeral, which, in its turn, represents the first number of my denumeration. Moreover, we obtain the other numbers in order using the following algorithm, in Algol 60 or Pascal style: var n, ok: integer; s: string; n := 1; ok := 1000; while ok = ok do begin n := n + 1; (* Gprime means G as above *) s := Gprime(n); if parser(s) = ok then writeln(s) end; In the end, what is written by the above algorithm is a sequence of complex numbers, i.e. a denumeration of them.

3. CONCLUSIONS

There are no transfinite numbers, and there is no set with cardinality greater than infinite. Cantor, Post and others collapsed the older notions of numbers and numerals, and that was a mistake. There is no need for the notion of computable numbers either, since what was called computable number is just a number whose numeral in the Arabic decimal notation can represent another number up to some given precision.

82

REFERENCES

[1] Ferreira, Ulisses, (2004) The real set can be seen as denumerable, In Hamid R. Arabnia, Iyad A. Ajwa, and George A. Gravanis, editors, Post-Conference Proceedings of the 2004 International Conference on Algorithmic Mathematics & Computer Science, CSREA Press, Las Vegas, Nevada, USA, pp523-526. Ulisses Ferreira (2005) The sets of real and complex numbers are denumerable. ACM SIGACT News 36(2): pp126-130. Gdel, Kurt (1931) Uber formal unentscheidbare stze der principia mathematica und verwandter system i. Monatschefte Mathematik und Physik. 38, pp173-98. Whitehead, Alfred & Russell, Bertrand (1910) Principia Mathematica, Cambridge University Press, 3 volumes, 13.

Author

Ferreira was born in Salvador in 1961, studied and did some research work in computer science at UFBA, UFPB, Sussex University, Edinburgh University and Trinity College in Dublin.

- Theoretical and Practical Values Theoretical and practical values of English Lexicologyof English LexicologyUploaded byNataliaAbramova
- Ambiguous GrammarUploaded byAnand Krishna
- Language ProcessorsUploaded byVenkanna Huggi H
- 17340659-PPT-3-QuantifiersUploaded byWeberty Farias
- An Axiomatic BasisUploaded byoromos
- Kathrin Glüer-Donald Davidson_ A Short Introduction-Oxford University Press (2011).pdfUploaded byCarlos Diaz Huerta
- 9-10.34_Mathematics Eng.pdfUploaded bykodatic
- Simbolic DynamicsUploaded byLeandro Fosque
- math lesson budgetingUploaded bymobiles4fun
- SAT.pdfUploaded byZaruhi Zhamharyan
- ECO 134 Sec 9 Quiz 1Uploaded byRayana Mirza
- INJECTIVE MONOIDSUploaded byjojo2k
- Chapter 01 IntroductionUploaded byTina Philip
- Hoare - An Axiomatic Basis for Computer ProgrammingUploaded bymartinadan01
- Chapter 02. LanguagesUploaded bykims3515354178
- Cat Problems_Answers and ExplanationUploaded bydhruvbhardwaj
- set theory 1 1Uploaded byapi-272274766
- interactive whiteboard activity - daniel beebeUploaded byapi-272138588
- 451 Sample Questions 2Uploaded byAnuraj Sharma
- matematika skriptaUploaded byДејан Кузмановић
- Igcse Maths 0580 Extended 2 YearsUploaded byYenny Tiga
- InglesUploaded bydanielrojas
- Java ProbsUploaded byalisha Dhawan
- Euler ContributionUploaded bychithirai10
- 10C - P1-2 LG-2Uploaded bynatedogmillionaire
- Discrete MathUploaded byJavier Peter
- Teacher Guide - Pelangi Focus Smart Plus Maths M1Uploaded byPoollarp Maneenil
- TCS Sample TouchStoneUploaded byankur_1011
- RPT MATH F1Uploaded bymomtari

- International Journal of Computer Science and Technology (IJCST)Uploaded byCS & IT
- International Journal of Computer Science and Technology (IJCST)Uploaded byCS & IT
- International Journal of Computer Networks & Communications (CNCIJ)Uploaded byCS & IT
- JpsUploaded byJPS
- International Journal of Bioinformatics & Biosciences (IJBB)Uploaded byCS & IT
- International Journal of Antennas (JANT)Uploaded byjantjournal
- International Journal of Civil Engineering and Urban Planning(IJCIVLE)Uploaded byCS & IT
- International Journal in Foundations of Computer Science & Technology(IJFCST)Uploaded byCS & IT
- International Journal of Artificial Intelligence and Soft Computing (IJAISC)Uploaded byCS & IT
- International Journal of Artificial Intelligence and Soft Computing (IJAISC)Uploaded byCS & IT
- International Journal of Artificial Intelligence and Soft Computing (IJAISC)Uploaded byCS & IT
- International Journal of Microelectronics Engineering (IJME)Uploaded byAdam Hernandez
- The International Journal of Computational Science, Information Technology and Control Engineering (IJCSITCE)Uploaded byAnonymous BI4sNIkiNw
- International Journal of Database Management Systems (IJDBMS)Uploaded byCS & IT
- International Journal of Data mining Management Systems (IJDMS)Uploaded byCS & IT
- International Journal of Data mining Management Systems (IJDMS)Uploaded byCS & IT
- International Journal of Education (IJE)Uploaded byCS & IT
- International Journal of Computer Networks & Communications (CNCIJ)Uploaded byCS & IT
- International Journal of Computer Networks & Communications (CNCIJ)Uploaded byCS & IT
- International Journal of Education (IJE)Uploaded byCS & IT
- International Journal of Artificial Intelligence and Soft Computing (IJAISC)Uploaded byCS & IT
- International Journal of Artificial Intelligence and Soft Computing (IJAISC)Uploaded byCS & IT
- International Journal of Artificial Intelligence and Soft Computing (IJAISC)Uploaded byCS & IT
- International Journal of Computer Science and Technology (IJCST)Uploaded byCS & IT
- International Journal of Computer Networks & Communications (CNCIJ)Uploaded byCS & IT
- International Journal of Computer Networks & Communications (CNCIJ)Uploaded byCS & IT
- International Journal of Artificial Intelligence and Soft Computing (IJAISC)Uploaded byCS & IT
- International Journal of Mobile ad hoc and sensor networks(IJMSN)Uploaded byCS & IT
- International Journal of Signal & Image Processing (IJSP)Uploaded byCS & IT
- International Journal of Wireless Networks Systems (IJWNS)Uploaded byCS & IT

- FumeHoodTesting-ASHRAE110Uploaded byryu181189
- BSC105A Assignment 1- 12th October 2016Uploaded byShyam Bhat
- Working Platforms to BRE or Not to BRE is the question Mar 16 AG.pdfUploaded bynearmonkey
- APEX 17 ArticleUploaded bybasanth babu
- KAIZEN Presentation - PrintUploaded byVinoadh Kumar Krishnan
- Perkins Troubleshooting ManualUploaded byravi474
- Sensor InformationUploaded bySebastin Ashok
- Rutan 61 Long EZ - ManualUploaded byBaker221
- F.Engg QstnsUploaded byapi-19754583
- How to Use Comet SWIHUploaded byIpsit
- PM Test Prep PPT With AnswersUploaded byzubintro
- Lighting - Some International Standards Rev-00Uploaded byumar
- Thredbo10 ThemeB KaiserUploaded byMarius Sofariu
- Np SubqueriesUploaded byAbhishek
- Samsung Level On P900Uploaded byabottiggi
- SAMPLE Contents Compilation of Lab ReportsUploaded byJuvyneil Cartel
- Steel Pipeline Crossing RailroadsUploaded byBeljun Flores
- Power System StabilityUploaded byCarib
- Open Source Chemical Engineering Related SoftwaresUploaded bydhanya
- Radio Frequency Safety.pdfUploaded byUlises M
- gp3_finalUploaded byedcsilva
- Caterpillar and John Deere Construction Equipment Specials For Sale, With FinancingUploaded byJim Casa
- huawei_MIMOUploaded byMoulinaDey
- ASCE7-10 Chapter 11-Seismic Design CriteriaUploaded byJose Leo Mission
- Lab Answer Key_ Module 5_ Reading and Writing FilesUploaded byJoemarco Bernabe
- kv_29fv15Uploaded byYago Tu
- MacondoUploaded byIsaac Anthony
- Properties of FluidUploaded byAnonymous QM0NLqZO
- t63xUploaded byWan Suhaila
- Environmental Review Tribunal final decision on Skydive Burnaby vs. Ministry of EnvironmentUploaded byDave Johnson