An informal description of forcing. Is it possible for someone to give a technical but nevertheless non 'jargonish' description of forcing in say less than 200 words. If that is impossible could someone give a descriptive outline of how we get to forcing. Like with the Poincare conjecture proof you would say, first we had formalization of topology, then we came up with certain results such as Ricci flows, and then further research into that led to the solution of some other problem, even though each of these stages are quite technical in nature. Is such a description possible for forcing? All the descriptions seem to be either short and too technical, or as long as an entire book.
I understand what the continuum hypothesis is. And the diagonal argument. How could forcing be motivated from that point?
 A: A way to think about this is via the analogy with Baire category theorem. Recall, Baire category theorem says that for some certain poset $(\mathbb{R},<)$ and any countable collection of dense open sets, there exists a "generic" element that lies in all of them. Well countable collection of open sets is crucial if we want the generic element to lie in the current universe. So a generalization is that for any poset $\mathbb{P}$ and any collection of dense open sets in the current universe we can find a generic element in all of them. Of course you need to step out of the current universe. In the end you want to somehow get a model of axioms of set theory including the generic element extending the original universe. And also this model is somewhat minimal and canonical as you can "describe" what is true in that universe just from the current universe. This is very vague so you should definitely look into some suggestions in the comment above.
A: I made the following statement in a Reddit discussion (in /r/math) about the Cohen model for not-CH:
"The point of forcing is that you can describe this process using a 'forcing language' definable in the ground model, so that the ground model can talk in this language about what is happening in the extension. So, consistency of ZFC (in the ground model, where you define the forcing language to talk about the extension) implies consistency of ZFC+not-CH (in the extension, what the forcing language talks about). This is why it is all stated as relative consistency."
To put a bit more detail to this, in the context of @PedroPimenta's answer, the poset $P$ in the ground model is used to establish "relative truth values" for statements in the extension -- the forcing relation "$p\Vdash\phi$" is defined syntactically (i.e. inductively on the length of $\phi$), so there is something to prove before you can say that "$(\exists p\in G)p\Vdash \phi$ iff $\phi$ is valid in $M[G]$."  Now the generic set $G$ is, first of all, a filter in $P$, so statements forced by $p\in G$ are "mutually consistent" (i.e. you didn't introduce any contradictions in the extension), and second, $G$ is "generic" meaning it intersects all dense subsets of $P$, so the forcing language says "as much as possible" about truth in the extension.
From here, as @PedroPimenta suggests, it is down to a clever choice for $P$ and $G$.  For the Cohen model, $P$ consists of finite partial functions from $\omega_2$ to $2^\omega$, ordered by reverse inclusion.  The rest of the argument, such as showing that $P$ has the countable chain condition (to avoid cardinal collapses in the extension), is almost purely combinatorial.  My gripe with the Boolean algebra approach to forcing is that it hides these combinatorial arguments under another layer of structure.  For this reason, I recommend the following reference:
Set Theory: An Introduction to Independence Proofs
A particularly nice article by Baumgartner here highlights the combinatorial nature of forcing:
Independence Proofs and Combinatorics
Shoenfield's original article on the "unramified" approach to forcing remains quite readable:
Unramified Forcing
A: I don't know how "non jargonish" you want your answer, but I'll try a very short outline and hopefully it will work: 
Given a model $M$ (usually a transitive model of ZFC), any poset $(P,<)$ in it is a notion of forcing and its elements forcing conditions. A $G$ in $M$ is said to be generic if it is a filter and any dense set in $P$ that belongs to $M$ has a nonempty intersection with $G$. There's a theorem that states that for a transitive model $M$ of ZFC and a generic set $G\subset P$ there's a transitive model $M[G]$ of ZFC that extends $M$ and, associated with that, we define a forcing relation $\Vdash$ where some element $p\in G$ forces a formula $\varphi$ iff $M[G]\vDash \varphi$, i.e., $(\exists p \in G) p\Vdash \varphi$ iff $\varphi$ is valid in $M[G]$, this will happen for every generic $G$ if $\varphi$ is said to be in the forcing language. 
In summary, forcing is a way of extending models to produce new ones where certain formulas can be shown to be valid so, with that, we are able to do (or to complete) independence proofs. This new model is provided by a poset and a generic set, this gives a forcing relation that can be used to show that such models indeed satisfy certain formulas.
With that said, given the "right" choice for $P$ and $G$, we can produce, from $M$, a model where $\neg \textbf{CH}$ (the negation of the continuum hypothesis) is valid and, together with the fact that there's a model in which $\textbf{CH}$ is valid (this can be shown more "easily" without the need of forcing, you can find some proofs in the books I'll recommend), we complete a proof of the independence of $\textbf{CH}$. With a similar proof (with some adjustments) one can also show the independence of the Axiom of Choice and much more.
Now I'll give you some directions to what you need to study to understands forcing at a technical level. First you must know some basic logic (the basics of syntax and how formulas are defined recursively and some basic metatheorems) and basic model theory (basic definitions, soundness, consistency, completeness, compactness and Löwenheim–Skolem theorems); it's good if you also understand Gödel's incompleteness theorems, but only the main results, you don't have to dive into their proofs unless you are interested in doing so. With that background you now have to study some axiomatic set theory to have a more solid notion of things such as ordinals, cardinals, transitivity, rank, $\Delta$-systems and order theory. The last step is to study some basic properties of boolean algebras, as the most (IMO) intelligible and modern approach uses boolean-valued models.
All this and more you can find in the following books: 
Set Theory - The Third Millennium Edition, revised and expanded;
Axiomatic Set Theory;
Set Theory: Boolean-Valued Models and Independence Proofs 
A: The existing answers are great; let me take a different tack and describe names.
Let's suppose I have some unknown set $X$. I can define "recipes" for building sets relative to $X$. (The technical term here is "names.") For example:


*

*$Y=\emptyset$ if $7\in X$, and $Y=\mathbb{N}$ if $7\not\in X$.

*$Y=\{n\in\mathbb{N}: 2n\in X\}$.

*$Y=\{\{\{...\}\}\mbox{ ($n$ many brackets)}: n\in X\}$.

*And so on.
Write "$Y[X]$" to mean "The evaluation of $Y$ given $X$." (So e.g. if $Y$ is the first recipe described above, and $X=\{2, 3, 4\}$, then $Y[X]=\mathbb{N}$.) We can even have recipes which call other recipes! Suppose I've defined recipes $Y_i$ ($i\in\mathbb{N}$). Now "$Z=\{Y_i[X]: i\in X\}$" is a recipe! And we can have recipes calling recipes calling recipes calling . . . and so on.
This gives a method for attempting to expand a model $V$ of ZFC. Take a set $X\subseteq V$ (maybe $X\not\in V$!), and let $V[X]$ be the set of all recipes in $V$ evaluated at $X$. This makes perfect sense. But . . .

Question. Is this groovy?

Note that on the face of it, there's no reason to expect anything nice to happen at all! Cohen amazingly showed (among other things) the following:

Theorem. For certain types of $X$ - namely, if $X$ is a $V$-generic filter through some poset $\mathbb{P}\in V$ - we have $V[X]\models ZFC$.

The proof of this is quite technical, and I think it's here that we need to actually do some work; but hopefully this helps explain what sort of object the generic extension (this is $V[X]$) is, and what it is we need to prove about it.

Let me say a little bit about the proof. The key idea is the forcing relation:

Definition. For $\mathbb{P}\in V$ a poset and $p\in\mathbb{P}$, we say $p$ forces $\varphi$ - and write "$p\Vdash\varphi$" - if for every generic (over $V$) filter $X$ containing $p$, $V[X]\models\varphi$. (Here $\varphi$ is a sentence that maybe also refers to recipes; and when I write "$V[X]\models \varphi$," we look at the version of $\varphi$ where all recipes are evaluated at $X$.)

It turns out that the forcing relation is definable inside $V$, even though of course $V$ can't directly talk about generic filters! This turns out to be a very powerful tool; let me sketch an application.
Suppose $A\in V$ is a countable set, and $\mathbb{P}$ is countably closed - if $p_0\ge p_1\ge p_2\ge . . .$ is a descending $\omega$-chain of conditions, then there is some $p$ such that $p\le p_i$ for every $i$. Let $X$ be $\mathbb{P}$-generic over $V$. Then I claim that every subset of $A$ which is in $V[X]$, is already in $V$.
Why? Well, suppose $B$ is a subset of $A$ which is in $V[X]$. Then $B=\nu[X]$ for some recipe $\nu$. Suppose WLOG that $\Vdash \nu\subseteq A$. (The fact that this is WLOG is not at all obvious, but skip that for now.) Now let $$E=\{p\in\mathbb{P}: \exists C\subseteq A, C\in V,\mbox{ such that }p\Vdash \nu=C\}$$ be the set of conditions which guarantee that $\nu$ isn't "new." I claim $E$ is dense in $\mathbb{P}$. If so, we're done, since $X$ (being generic) contains an element of $E$, and hence $\nu[X]\in V$.
To see this, let $q\in\mathbb{P}$ and write $A=\{a_0, a_1, a_2, . . .\}$. Now, since the forcing relation is definable, inside $V$ we may define a sequence of conditions $p_0, p_1, p_2, . . .$ such that 


*

*$q\ge p_0\ge p_1\ge p_2\ge . . .$, and

*for each $i$, $p_i\Vdash a_i\in \nu$ or $p_i\Vdash a_i\not\in\nu$.
(Why the latter? Well, if we can't find a condition forcing $a_i\in\nu$, that must be because we've already forced $a_i\not\in\nu$! This takes proof, but isn't too hard - it's a good exercise.)
But since $\mathbb{P}$ is countably closed, and the sequence $\{p_i\}$ exists in $V$, we must have some $p\in\mathbb{P}$ such that $p\le p_i$ for every $i$. But then $p$ is in $E$, since $V$ can tell which $a_i$ are forced by $p$ to be in $\nu$!
So every element of $\mathbb{P}$ lies above some element of $E$ - that is, $E$ is dense. 
This is the key step to showing how we can force the Continuum Hypothesis to be true. For forcing the Continuum Hypothesis to be false, we use an analysis of a different combinatorial property - the countable chain condition. The key takeaway is that combinatorial properties of the poset translate into properties of the generic extension. But I think I'll stop here.
