I Defining a transcendental number and countability

  • I
  • Thread starter Thread starter BWV
  • Start date Start date
  • Tags Tags
    Countability
AI Thread Summary
The discussion revolves around the nature of transcendental numbers, specifically those that cannot be defined through finite operations. It questions whether the set of transcendental numbers defined by finite operations is countable, given that transcendental numbers are uncountable. Participants highlight the distinction between definable and computable numbers, noting that while computable numbers are countable, most real numbers are not computable. The conversation also touches on examples like Chaitin's omega, illustrating that some numbers can be defined but not computed. Ultimately, the consensus is that any set of instructions for generating numbers from computable irrationals remains countable.
BWV
Messages
1,581
Reaction score
1,933
Is there a term for transcendental numbers that cannot be specified by an operation with a finite amount of data?

for example pi or e have various finite definitions and one could generate other transcendental numbers with operations on these.

On the other hand if n= some randomly chosen number on the real number line, there is no real way to express or differentiate that number from some other arbitrarily close transcendental number

The transcendental numbers are uncountable, but is the set of transcendental numbers that can be defined by some finite operation countable?
 
Mathematics news on Phys.org
I wonder how you define "define". When you say that ##\pi## has a finite definition, I think that you are allowing a wide definition of "define". If that is true, just identifying a transfinite number that has no finite definition might define it. It hurts my head.
 
FactChecker said:
I wonder how you define "define". When you say that ##\pi## has a finite definition, I think that you are allowing a wide definition of "define". If that is true, just identifying a transfinite number that has no finite definition might define it. It hurts my head.
Yes, struggling with the terminology, by define I mean uniquely identify the number - with pi or e one could (mathematically, perhaps not physically) compute any finite sequence of digits within it and differentiate it from some other transcendental number arbitrarily close to it
 
##\pi## is the ratio of a circle's circumference to its diameter. Is that a definition?
 
  • Informative
  • Like
Likes mfb, BWV and FactChecker
Office_Shredder said:
I think you're looking for something like this
https://en.m.wikipedia.org/wiki/Computable_number

A fun fact is that the computable numbers are countable, so almost every real number is not computable.
yes, that is what I was trying to ask, thanks
 
Office_Shredder said:
I think you're looking for something like this
https://en.m.wikipedia.org/wiki/Computable_number

A fun fact is that the computable numbers are countable, so almost every real number is not computable.
Note that there are numbers that can be defined but cannot be computed. e.g Chaitin's omega.
 
  • Like
  • Informative
Likes BWV and PeroK
So is if the number ‘take pi and replace decimal places 601-610 with my phone number’ is computable, you could generate an infinite amount of arbitrary real numbers with instructions like this - simply manipulating digits of another computable irrational number. But you could not create an uncountable set of these?
 
BWV said:
So is if the number ‘take pi and replace decimal places 601-610 with my phone number’ is computable, you could generate an infinite amount of arbitrary real numbers with instructions like this - simply manipulating digits of another computable irrational number. But you could not create an uncountable set of these?
Correct. You could not. Every set of instructions that you could generate would amount to a finite string. And the set of finite strings [over a countable alphabet] is countable.
 
  • Like
Likes mfb and BWV
Back
Top