SlideShare a Scribd company logo
Dhinaharan Nagamalai et al. (Eds) : CSE, DBDM, CCNET, AIFL, SCOM, CICS, CSIP - 2014
pp. 79–82, 2014. © CS & IT-CSCP 2014 DOI : 10.5121/csit.2014.4407
ANOTHER PROOF OF THE
DENUMERABILITY OF THE COMPLEX
NUMBERS
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 Cantor’s 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.
Cantor’s diagonal process just seems to work because it was a deduction over symbols.
80 Computer Science & Information Technology (CS & IT)
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 Gödel in the proof of his
historic theorem of incompleteness, published in 1931 [3], which, in its turn, was inspired by
Whitehead and Russell´s work entitled Principia Mathematica [4]. The used numbers are better
known as “Gödel 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 Gödel
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 Gödel 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 Gödel 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.
Computer Science & Information Technology (CS & IT) 81
Remark: Note that, as in any coding function using Gödel 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 Gödel 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 Computer Science & Information Technology (CS & IT)
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.
[2] Ulisses Ferreira (2005) The sets of real and complex numbers are denumerable. ACM SIGACT News
36(2): pp126-130.
[3] Gödel, Kurt (1931) Uber formal unentscheidbare sätze der principia mathematica und verwandter
system i. Monatschefte Mathematik und Physik. 38, pp173-98.
[4] 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.

More Related Content

PDF
A new proof that the set of complex
PPT
Chapter Two(1)
PPT
Chapter Eight(2)
PPTX
Syntax-Directed Translation into Three Address Code
PPT
Chapter Three(2)
DOCX
Cs6660 compiler design may june 2016 Answer Key
PDF
Cs2303 theory of computation all anna University question papers
PPT
Chapter 6 Intermediate Code Generation
A new proof that the set of complex
Chapter Two(1)
Chapter Eight(2)
Syntax-Directed Translation into Three Address Code
Chapter Three(2)
Cs6660 compiler design may june 2016 Answer Key
Cs2303 theory of computation all anna University question papers
Chapter 6 Intermediate Code Generation

What's hot (20)

PPT
Context free grammars
PPT
Lesson 03
PDF
DOCX
CS2303 Theory of computation April may 2015
PPTX
Theory of automata and formal language
PPT
Regular expressions-Theory of computation
PDF
Context free langauges
PPT
Theory of Automata Lesson 02
PDF
PDF
Cs2303 theory of computation may june 2016
PPT
Theory of Automata Lesson 01
PDF
Minimizing DFA
PPT
Lecture 7
PPT
Theory of computing
PPT
3.1 intro toautomatatheory h1
PPT
Lecture 3,4
Context free grammars
Lesson 03
CS2303 Theory of computation April may 2015
Theory of automata and formal language
Regular expressions-Theory of computation
Context free langauges
Theory of Automata Lesson 02
Cs2303 theory of computation may june 2016
Theory of Automata Lesson 01
Minimizing DFA
Lecture 7
Theory of computing
3.1 intro toautomatatheory h1
Lecture 3,4
Ad

Viewers also liked (17)

PPTX
‘European financial centres will survive the crisis’ – OPENSALON
PPTX
Who Day Presentation 07
PDF
Peticija građana MZ Ripač protiv gradnje deponije smeća na području MZ RIPAČ ...
PPTX
Via Health Services
PPT
2006 10 1
POTX
Text pic
DOC
Celup poliester dg zw disperse net
PPTX
Scotland yard in spotlight as axe murder case barkco
PPTX
07 elemen dasar c++ part 2
 
PDF
Note on closed sets in topological spaces
PPS
1350 Livrebleu
PPT
Secrecy in global economy
DOC
Victorino Flyer
PDF
Strongly rickart rings
PPT
Understanding peri-urban water flows_Vishal Narain
PPT
Susan and Marco\'s Trip to Obama 2009 Inauguration
PPT
Laws, heat and expansion 2013
‘European financial centres will survive the crisis’ – OPENSALON
Who Day Presentation 07
Peticija građana MZ Ripač protiv gradnje deponije smeća na području MZ RIPAČ ...
Via Health Services
2006 10 1
Text pic
Celup poliester dg zw disperse net
Scotland yard in spotlight as axe murder case barkco
07 elemen dasar c++ part 2
 
Note on closed sets in topological spaces
1350 Livrebleu
Secrecy in global economy
Victorino Flyer
Strongly rickart rings
Understanding peri-urban water flows_Vishal Narain
Susan and Marco\'s Trip to Obama 2009 Inauguration
Laws, heat and expansion 2013
Ad

Similar to ANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERS (20)

PDF
Numbers Computers Philosophers And The Search For Meaning John Tabak
PDF
9-Maths-NCERT-Chapter-1.pdf
PDF
CLASS-9 :- CHAPTER-1:-NUMBER SYSTEMS.pdf
PPT
Lecture in Sets, Sequences and Summations
PPS
2.1 numbers and their practical applications(part 2)
PPTX
number system full explanation presentation
PDF
number system class 9
PPT
2010 3-24 cryptography stamatiou
PDF
Mathspresentation 100825041828-phpapp02
PPT
1 1 number theory
PDF
1 1 number theory
PDF
Thesis
PPTX
Introduction
PDF
Study on a class of recursive functions
PPT
number system school ppt ninth class
PDF
Indescribable numbers
PDF
0.1 Number Theory
PPTX
Formal methods 1 - introduction
PPTX
Evolution on number
Numbers Computers Philosophers And The Search For Meaning John Tabak
9-Maths-NCERT-Chapter-1.pdf
CLASS-9 :- CHAPTER-1:-NUMBER SYSTEMS.pdf
Lecture in Sets, Sequences and Summations
2.1 numbers and their practical applications(part 2)
number system full explanation presentation
number system class 9
2010 3-24 cryptography stamatiou
Mathspresentation 100825041828-phpapp02
1 1 number theory
1 1 number theory
Thesis
Introduction
Study on a class of recursive functions
number system school ppt ninth class
Indescribable numbers
0.1 Number Theory
Formal methods 1 - introduction
Evolution on number

Recently uploaded (20)

PPTX
The various Industrial Revolutions .pptx
PPTX
TechTalks-8-2019-Service-Management-ITIL-Refresh-ITIL-4-Framework-Supports-Ou...
PPTX
Tartificialntelligence_presentation.pptx
PDF
Getting Started with Data Integration: FME Form 101
PPTX
Group 1 Presentation -Planning and Decision Making .pptx
PDF
Microsoft Solutions Partner Drive Digital Transformation with D365.pdf
PDF
Univ-Connecticut-ChatGPT-Presentaion.pdf
PDF
Getting started with AI Agents and Multi-Agent Systems
PDF
August Patch Tuesday
PDF
Transform Your ITIL® 4 & ITSM Strategy with AI in 2025.pdf
PPTX
Chapter 5: Probability Theory and Statistics
PPTX
MicrosoftCybserSecurityReferenceArchitecture-April-2025.pptx
PPTX
cloud_computing_Infrastucture_as_cloud_p
PDF
project resource management chapter-09.pdf
PPTX
observCloud-Native Containerability and monitoring.pptx
PPTX
OMC Textile Division Presentation 2021.pptx
PPTX
Programs and apps: productivity, graphics, security and other tools
PDF
STKI Israel Market Study 2025 version august
PDF
TrustArc Webinar - Click, Consent, Trust: Winning the Privacy Game
PDF
Architecture types and enterprise applications.pdf
The various Industrial Revolutions .pptx
TechTalks-8-2019-Service-Management-ITIL-Refresh-ITIL-4-Framework-Supports-Ou...
Tartificialntelligence_presentation.pptx
Getting Started with Data Integration: FME Form 101
Group 1 Presentation -Planning and Decision Making .pptx
Microsoft Solutions Partner Drive Digital Transformation with D365.pdf
Univ-Connecticut-ChatGPT-Presentaion.pdf
Getting started with AI Agents and Multi-Agent Systems
August Patch Tuesday
Transform Your ITIL® 4 & ITSM Strategy with AI in 2025.pdf
Chapter 5: Probability Theory and Statistics
MicrosoftCybserSecurityReferenceArchitecture-April-2025.pptx
cloud_computing_Infrastucture_as_cloud_p
project resource management chapter-09.pdf
observCloud-Native Containerability and monitoring.pptx
OMC Textile Division Presentation 2021.pptx
Programs and apps: productivity, graphics, security and other tools
STKI Israel Market Study 2025 version august
TrustArc Webinar - Click, Consent, Trust: Winning the Privacy Game
Architecture types and enterprise applications.pdf

ANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERS

  • 1. Dhinaharan Nagamalai et al. (Eds) : CSE, DBDM, CCNET, AIFL, SCOM, CICS, CSIP - 2014 pp. 79–82, 2014. © CS & IT-CSCP 2014 DOI : 10.5121/csit.2014.4407 ANOTHER PROOF OF THE DENUMERABILITY OF THE COMPLEX NUMBERS 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 Cantor’s 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. Cantor’s diagonal process just seems to work because it was a deduction over symbols.
  • 2. 80 Computer Science & Information Technology (CS & IT) 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 Gödel in the proof of his historic theorem of incompleteness, published in 1931 [3], which, in its turn, was inspired by Whitehead and Russell´s work entitled Principia Mathematica [4]. The used numbers are better known as “Gödel 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 Gödel 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 Gödel 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 Gödel 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.
  • 3. Computer Science & Information Technology (CS & IT) 81 Remark: Note that, as in any coding function using Gödel 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 Gödel 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.
  • 4. 82 Computer Science & Information Technology (CS & IT) 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. [2] Ulisses Ferreira (2005) The sets of real and complex numbers are denumerable. ACM SIGACT News 36(2): pp126-130. [3] Gödel, Kurt (1931) Uber formal unentscheidbare sätze der principia mathematica und verwandter system i. Monatschefte Mathematik und Physik. 38, pp173-98. [4] 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.