Defining a transcendental number and countability

  • Context: Undergrad 
  • Thread starter Thread starter BWV
  • Start date Start date
  • Tags Tags
    Countability
Click For Summary

Discussion Overview

The discussion revolves around the definition of transcendental numbers, particularly those that cannot be specified by a finite amount of data. Participants explore the implications of defining transcendental numbers, the concept of computable numbers, and the countability of sets derived from finite operations on known transcendental numbers.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • One participant questions whether there is a term for transcendental numbers that cannot be specified by finite operations, contrasting them with numbers like π and e that have finite definitions.
  • Another participant expresses uncertainty about the definition of "define," suggesting that identifying a transfinite number without a finite definition could itself be a form of definition.
  • There is a discussion about whether the definition of π as the ratio of a circle's circumference to its diameter qualifies as a finite definition.
  • Several participants mention computable numbers, noting that while computable numbers are countable, almost every real number is not computable.
  • A participant introduces the idea that numbers can be defined but not computed, citing Chaitin's omega as an example.
  • There is a proposal that manipulating digits of a computable number can generate an infinite number of arbitrary real numbers, but this process cannot create an uncountable set.

Areas of Agreement / Disagreement

Participants express differing views on the definitions and implications of transcendental and computable numbers. There is no consensus on the terminology or the nature of definitions in this context, and the discussion remains unresolved regarding the countability of certain sets of transcendental numbers.

Contextual Notes

Participants struggle with the definitions and implications of terms like "define" and "computable," leading to ambiguity in the discussion. The relationship between finite operations and the countability of derived sets is also a point of contention.

BWV
Messages
1,665
Reaction score
2,005
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?
 
Physics 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   Reactions: 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   Reactions: 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   Reactions: mfb and BWV

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
4
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 55 ·
2
Replies
55
Views
9K
  • · Replies 31 ·
2
Replies
31
Views
6K
  • · Replies 18 ·
Replies
18
Views
6K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K