As has been pointed out, the inequivalence of the three is elementary.
The original proofs of Koebe and Poincare were by means of harmonic functions, i.e. the
Laplace equation ${\Delta}u = 0$. This approach was later considerably streamlined by means of Perron's method for constructing harmonic functions. Perron's method is very nice, as it is elementary (in complex analysis terms) and requires next to no topological assumptions.
A modern proof of the full uniformization theorem along these lines may be found in the book "Conformal Invariants" by Ahlfors.
The second proof of Koebe uses holomorphic functions, i.e. the Cauchy-Riemann equations, and
some topology.
There is a proof by Borel that uses the nonlinear PDE that expresses that the Gaussian curvature is constant. This ties in with the differential-geometric version of the Uniformization Theorem: Any surface (smooth, connected 2-manifold without boundary) carries a Riemannian metric with constant Gaussian curvature. (valid also for noncompact surfaces).
There is a proof by Bers using the Beltrami equation (another PDE).
For special cases the proof is easier. The case of a compact simply connected Riemann surface can be done by constructing a nonconstant meromorphic function by means of harmonic functions, and this is less involved than the full case. There is a short paper by Fisher, Hubbard and Wittner where the case of domains on the Riemann sphere is done by means of an idea of Koebe. (Subtle point here: Fisher et al consider non-simply connected domains on the Riemann sphere. The universal covering is a simply connected Riemann surface, but it is not obvious that it is biholomorphic to a domain on the Riemann sphere, so the Riemann Mapping Theorem does not apply).
The Uniformization Theorem lies a good deal deeper than the Riemann Mapping Theorem.
The latter is the special case of the former where the Riemann surface is a simply connected domain on the Riemann sphere.
I decided to add a comment to clear up a misunderstanding. The theorem that a simply connected surface (say smooth, connected 2-manifold without boundary) is diffeomorphic to the plane (a.k.a. the disk, diffeomorphically) or the sphere, is a theorem in topology, and is not the Uniformization Theorem. The latter says that any simply connected Riemann surface is biholomorphic (or conformally equivalent; same in complex dimension $1$) to the disk, the complex plane or the Riemann sphere.
But the topology theorem is a corollary to the Uniformization Theorem. To see this, suppose $X$ is a simply connected (smooth etc.) surface. Step (1): Immerse it in $\mathbb{R}^3$ so as to miss the origin. Step (2): Put the Riemann sphere (with its complex structure!) in $\mathbb{R}^3$ in the form of the unit sphere. Step (3): For every tangent space $T_pX$ on $X$, carry the complex structure $J$ from the corresponding tangent space on the Riemann sphere by parallell transport (Gauss map) to $T_pX$. This is well-defined by choosing a basepoint and recalling that $X$ is simply connected. Step (4): Presto! $X$ is now a Riemann surface (it carries a complex structure), so it is biholomorphic to the disk or the plane or the Riemann sphere, thus diffeomorphic to one of the three.
Of course, I have glided over the question of immersing the surface in 3-space, because this is topology. Actually, I vaguely recall that there is a classification of noncompact topological surfaces by Johannsen (sp?), and no doubt the topological theorem would immediately fall out of that.
It should be pointed out that your definition of finite type is not the usual one. The usual definition is that a Riemann surface is of finite type if it is conformally equivalent to a compact Riemann surface minus a finite set of points. For instance, under this usual definition, an annulus of finite modulus is not of finite type. (Your definition also excludes things like the Riemann sphere minus a Cantor set.)
Donu Arapura is correct that the only exceptions to hyperbolicity are the usual ones, which answers 2.
As for 1, such things are classified topologically by the genus and the space of ends, by a theorem of I. Richards, see this. When you use the usual definition of finite type, then there is a Teichmuller theory for non-finite type surfaces with finitely generated fundamental group, where you specify boundary values when solving the Beltrami equation. You may read about this is most analytic treatments of Teichmuller theory, such as the books by Gardiner, Gardiner-Lakic, Nag, et cetera. I don't know about the theory in the infinitely generated case.
As for 3, any countable group is the automorphism group of some hyperbolic surface. The idea is that groups arise as automorphism groups of their Cayley graphs, and fattening the Cayley graphs into surfaces provides the result as long as you chose the lengths of the meridians carefully. This is a theorem of Allcock, see this.
Best Answer
NEW ANSWER:
As there has been much confusion on this point (some of it mine...):
On the other hand we have
It is an exercise to show that all hyperbolic surfaces are surfaces of hyperbolic type. On the other hand, a surface of hyperbolic type need not be hyperbolic. As an easy example of this, choose your favorite positive function $f$ on the disk $D$ and use $f$ to scale the Poincare metric. This new metric is (almost surely) not constant curvature but is conformally equivalent to the Poincare metric.
With these definitions in place: the original question is ill-posed. Knowing that a surface $S$ is of hyperbolic type does not suffice to tell us the metric. To be precise, there are conformally equivalent metrics $\rho_0$ and $\rho_1$ on the open disk $D$ so that the first is Gromov hyperbolic and the second is not. (Eg, let $\rho_0$ be the Poincare metric while $\rho_1$ has larger and larger "mushrooms" as you walk to infinity.)
OLD ANSWER (written in terms of the above definitions):
I'll assume that you are asking for a sufficient condition to ensure that a hyperbolic surface $S$ is Gromov hyperbolic. One condition is that $S$ has finite area. In this case $S$ has a compact core (which is of no interest in this setting) and a finite number of cusps. A cusp is obtained by modding out a horodisk by a parabolic isometry. All cusps are quasi-isometric to rays. Thus $S$ is quasi-isometric to a tree having one vertex and one ray per cusp.
A simpler condition is that $\pi_1(S)$ is finitely generated. The allowed surfaces are now somewhat more complicated: in addition to cusps there can be funnels in the complement of the compact core. A funnel is obtained by modding out a half-plane by a hyperbolic isometry. All funnels are quasi-isometric to the hyperbolic plane. (This is a nice exercise!) So, here, $S$ is quasi-isometric to the one-point union of a collection of hyperbolic planes and rays.
As for the "opposite direction": When the group is infinitely generated things can be very strange. For example, consider any cubic, connected graph $X$, of infinite diameter, where all edges have length one. (This is a very large class of metric spaces, even after passing to quasi-isometric equivalence classes.) Then, for any such graph $X$ there is a hyperbolic surface $S_X$ quasi-isometric to $X$.