It sure feels like something that should be related to Schanuel's conjecture. Note that this is equivalent to finding integers $m$ and $q$ such that $$x = \frac{\ln m + 2\pi i q}{\ln 3}$$ is not an integer but $2^x$ is. [$3^x$ simplifies to $m$ by construction].
Jacques Carette
- 11.8k
- 4
- 44
- 80