I know of 2(.5) proofs of Ramsey's theorem, which states (in its simplest form) that for all $k, l\in \mathbb{N}$ there exists an integer $R(k, l)$ with the following property: for any $n>R(k, l)$, any $2$-coloring of the edges of $K\_n$ contains either a red $K\_k$ or a blue $K\_l$.


Both the finite and the infinite versions (the latter being--a 2-coloring of the edges of $K\_\mathbb{N}$ contains an infinite monochrome $K\_\mathbb{N}$) are proven on [Wikipedia](http://en.wikipedia.org/wiki/Ramsey%2527s_theorem#Proof_of_the_theorem), and one may deduce the finite version from the infinite one by compactness, or equivalently using Konig's lemma. The infinitary proof does not give effective bounds on $R(k, l)$, but can be converted to one that does as follows (this is the .5 proof): 


Consider a $2$-coloring of the edges of a complete graph on $N=2^{k+l}$ vertices, $v\_1, ..., v\_N$. Let $V\_0$ be the set of all vertices, and let $V\_i$ be the largest subset of $V\_{i-1}$ connected to $v\_i$ by edges of a single color, $c\_i$. After $k+l$ steps, at least $k$ of the $c\_i$ are read or $l$ of the $c\_i$ are blue by pigeonhole; let the set of indices for which this happens be denoted $S$. Then $(v\_i)\_{i\in S}$ is the desired subgraph.


My question is:



> 
> Does anyone have a fundamentally different proof of this theorem? In particular, I am curious to know if there are any of a less combinatorial flavor.
> 
> 
> 



Noncombinatorial proofs of Ramsey's Theorem?
I hope this is close to what you are asking. The following compactness principle turns out to be useful in certain construction in dynamical systems and in probability (in particular, in the theory of exchangeable random variables), and it may be seen as a topological version of the infinitary Ramsey theorem. 



> 
> **Lemma.** Let $X,d$ a compact metric space, and
>  $u:\mathbb{N}^2\to X$ a double
>  sequence in $X$. Then, there exists a
>  strictly increasing
>  $\sigma:\mathbb{N}\to\mathbb{N}$ such
>  that, denoting
>  $v(i,j):=u(\sigma(i),\sigma(\, j)),$
>  the following limits exist, and
>  coincide:
> 
> 
> $$\lim\_{i\to\infty} \lim\_{j\to\infty} v(i,j) \, = \lim\_{ i< j, \,(i,j)\to\infty} v(i,j). $$
> 
> 
> 


The proof is just routine (iterated) application of the usual diagonal argument for sequences. How does it implies the infinitary Ramsey theorem? Take $X$ a discrete space of colors and $u$ an 
$X$-coloring of the complete graph with vertices set $\mathbb{N}$. Then the existence of the limit in the RHS means that the set $\{\sigma(i):i> c\}$ for some c is a monocromatic complete subgraph.


One can even state a more general version for multi-sequences $u(i)$ indicized on increasing $n$-ples $i:=(i\_1< i\_2\dots < i\_n)$ of natural numbers; the game is that any parenthesization 


$$(i\_1,\dots,i\_{k\_1}),(i\_{k\_1+1},\dots,i\_{k\_2}),\dots,(i\_{k\_r},\dots,i\_n)$$


produces a different iterated way of letting $i$ go to infinity (like when making the beads sliding from left to right in an abacus: in small clusters, one at a time, or all together ).
The corresponding limits for u(i) may or may not exist and/or coincide; but, up to a selection of indices via a strictly increasing $\sigma:\mathbb{N}\to\mathbb{N}$, all these iterated limits do exist and coincide.


Actually, it may be argued whether it really gives a *fundamentally* different proof of Ramsey theorem as you are asking. Nevertheless, if you try submitting it to an analyst or to a geometer, I think you are much more likely to obtain an immediate proof of it than with the original set theoretic version (please confirm my guess). On the other hand, it may sound quite weird to a pure set theorist (do not necessarily confirm this statement). 


