To determine how many times \( 2^{17} \) is as many as \( 2^{13} \), we can set up the following ratio:
\[ \frac{2^{17}}{2^{13}} \]
Using the properties of exponents, specifically that \( \frac{a^m}{a^n} = a^{m-n} \), we can simplify the expression:
\[ \frac{2^{17}}{2^{13}} = 2^{17-13} = 2^{4} \]
Now we calculate \( 2^4 \):
\[ 2^4 = 16 \]
Thus, \( 2^{17} \) is \( 16 \) times as many as \( 2^{13} \).
The final answer is:
\[ \boxed{16} \]