0
$\begingroup$

Consider the finite algorithm A, and the real number $0. The output of A on input T is all possible theorems and provable propositions in ZFC, and only that.

Q1. Can such an algorithm and number exist?

Q2. Can we construct such an A and prove there exist such a T?

Q3. Can we prove or disprove that T is rational, irrational, normal, trancendental, algebraic?

Q4. Can T have a closed form expression?

Q5. Is it possible to prove or disprove that no finite algorithm that takes as input A, can output T to arbitrary precision?

  • 0
    I'm having trouble with 'exists' (I don't recognize it as a technical term here). Do you mean computable? What about $T$? DI'm guessing you intend that it 'exists'? Is it also computable? I feel like that should be part of the prerequisites to the question.2011-04-07

1 Answers 1

3

(I'm only offering hints as I presume this is homework, though it isn't tagged as such.)

A hint for Q1 and Q2: 'how many' provable theorems of ZFC can there be? What different definitions of 'a real' do you know, and do you know ways of converting back and forth between the different definitions? Once you have this, the other pieces should start to fall into place easily.

A hint for Q5: assuming you had such an algorithm, what would this imply about the provable theorems of ZFC?

Hints for Q3 and Q4: can you show a relationship between these questions and Q5?