Equations involving factorial/Gamma function Are there any known methods to formally solve equations like:
1)$x^3!+(2x^2)!-x!+3=0$
2)$x!=e^x$ ($0$ is trivial but there must be another one)
3)$(2x!)^2+x!-1=0$
4)$x!!+x!=7$
I don't need approximation (which are not so hard to find) but I mean closed forms, I think that there could be a lot of more equations of this kind but these are the first that came into my mind.

I'm able to solve (2) and (3). (2) for its trivialness and (3) for its generalization properties.
$$x!=e^x$$
Since, $$0!=1=e^0$$
$0$ is a solution to this equation.
$$(2x!)^2+x!-1=0$$
Set $u=x!$ and then solve the resulting quadratic equation...
$$4u^2+u-1=0$$
$$u=x!={{\pm \sqrt{17}-1} \over 8}$$
You mentioned that the ! could be interpreted as the gamma function, so lets do so...
$$\Gamma (x+1)={{\pm \sqrt{17}-1} \over 8}$$
Since almost all evaluations needing the gamma function are numerical, this is a proof that you have to use numeric methods. Your solution is...
$$x=\Gamma^{-1} \left({{\pm \sqrt{17}-1} \over 8}\right)-1$$
where $\Gamma^{-1} (t)$ is the inverse gamma function.
