Just posting a slight elaboration on JeffE's answer.
We know that two functions/cases exist that can compute the function f(n):
- A function that always returns true (for all n, there exist n number of consecutive 0's)
- A function that will return true if n is smaller than an integer N, where N is defined as the maximum length of consecutive of 0's that exist in the given irrational number (otherwise it returns false).
One and only one of these functions can be correct. We do not know which, but we know for certain that an answer exists. Computability requires that a function exist that can determine the answer within a finite amount of steps.
The number of steps in case 1 is trivially bound to just returning 1.
In case 2 the number of steps are also finite, supposing that we know N.
If N cannot be computed in a finite number of steps then program 1 will be correct. If N can be computed in a finite number of steps (very unlikely) then program 2 will be correct.
While it may not be possible to choose between the two cases (though one seems more likely than another), we know that exactly one of them must be correct.
As a side note: our solution supposes that while we can not determine which function will elicit a correct value the essence of computability does not rely on the constructability of the proof. Pure Existence is sufficient.