>>12
Cool.
>>1
As you have not specified any concrete limitations on the machine that is supposed to be running it, the language and the implementation, the question isn't really answerable.
On an abstract machine, one could see the program halt as F(n+1)>F(n), thus there's no maximum Fibonnaci number.
In a language with a proper numeric tower (such as Common Lisp or Scheme), you could write the fibs normally and bignums would be handled transparently behind the scenes. At least as far as the specification is concerned (it concerns to concrete finite machine), the computation could go on forever and numbers could very well be unbounded (if whatever universe/machine the language was implemented on allowed it).
If you would place the concrete constraints as far as what is allowed (machine, language, implementation, etc), the problem would become solvable in the real world as you would introduce some upper limit, and thus also introduce concrete limits as to what the maximum computable Fibonnaci number for a particular machine/implementation would be.