As long as you take the assumption that the universe is finite, follows a fixed set of laws, and is completely deterministic, then I think it follows (if not perfectly, then at least to a first order) that anything within the universe could be simulated using a theoretical computer, and you could also simulate a smaller universe on a real computer, although a real computer that simulated something of this complexity would be extremely hard to engineer.
It's not entirely clear, though, that the universe is deterministic- our best experiments suggest there is some remaining and relevant nondeterminism.
Turing machines, Goedel incompleteness, Busy Beaver Functions, and (probably) NP problems don't have any relevance to simulating complex phenomena or hard problems in biology.
It's not entirely clear, though, that the universe is deterministic- our best experiments suggest there is some remaining and relevant nondeterminism.
Turing machines, Goedel incompleteness, Busy Beaver Functions, and (probably) NP problems don't have any relevance to simulating complex phenomena or hard problems in biology.