Intuitive explanation for how could there be "more" irrational numbers than rational? I've been told that the rational numbers from zero to one form a countable infinity, while the irrational ones form an uncountable infinity, which is in some sense "larger". But how could that be? There is always a rational between two irrationals, and always an irrational between two rationals, so it seems like it should be split pretty evenly.
I think the most intuitive explanation I have heard is to considering writing down a rational number in decimal form.  This means that either it is a repeating decimal or a terminating decimal, for example $2.3737\overline{37}$ or $0.42$, which we will write as $0.4200\bar{0}$. Now, consider the probability of randomly writing down a number.  So you have ten options every time you go to place a digit down. How likely is it that you will just "happen" to get a repeating decimal or a decimal where you only have zeros after a certain point?  Very unlikely. Well those unlikely cases are the rational numbers and the "likely" ones are the irrational.
This is the most intuitive explanation I can think of. It's long, but hopefully easy to follow.

Consider a natural number, for instance $123$. This natural number is implied by our mathematical notation system to have the decimal point after the last digit, with no fractional part ($123 = 123.00...0$). However, we can take this integer number and specify that it is the stream of digits of a non-integer, by specifying that there is a decimal point at any arbitrary single position of the stream. For instance, we could transform $123$ into $12.3$, or $1.23$, or $0.123$, or $0.0123$. We do this all the time, in what's called scientific or engineering notation; $123 = 1.23*10^2$. This is also a convenient way to store these decimal quantities in computers; binary floating-point arithmetic is based on this system (using a fixed-length binary mantissa and a base-2 integer exponent). We can also use the integer negatives of the natural numbers in the same way. In fact, the ability to construct a rational number in this way is derivable* from the true definition of a rational number.

The integer mantissa (and exponent) used to construct a rational can be arbitrarily large, but both are countable numbers; theoretically, if you started counting from 0, you'd eventually reach the number used (though it may take you longer than the universe has existed or will continue to exist to do so). 

Now, with irrational numbers, this changes. The mantissa is no longer any one natural number, but the concatenation of an infinite number of unique natural numbers. Some irrationals are defined as such, using a formula to define each number to be concatenated (e.g. Champernowne's constant, $0.123456789101112131415161718192021...$). For most, however, the construction is not formulaic, but it holds that any irrational number can be constructed by concatenating a subset of the natural numbers (order independent), then placing a decimal point somewhere.

The upshot is that there are only as many rational numbers as there are naturals (there's a step I'm missing to formally prove that; the exponential construction I'm using is a good start, but without further restrictions to the allowable values, it trivially allows for infinite combinations of an integer mantissa and integer exponent to produce the same rational. Cantor did it much more rigorously). However, there are as many real numbers as there are subsets of the naturals, because by appending the digits of any unique natural number to any concatenation of other numbers, and sticking a decimal place in arbitrarily, you get a whole new real number. The set of all subsets of a set is known as the power set, and its cardinality is given by $|P(A)| = 2^{|A|}$. The cardinality of the naturals is the trans-infinite number $\aleph_0$ (aleph-null or aleph-zero), and so the cardinality of the reals is $\beth_1 = 2^{\aleph_0}$ (beth-one).

The cardinality of the set of irrational numbers is the cardinality of the set of real numbers, minus the cardinality of the set of rationals (which is the same as those of the integers and the naturals), which using the trans-infinite numbers is $\beth_1 - \aleph_0$, similar to the notation of the set itself as $\bar{\mathbb Q} = R-Q$ (the set difference of the rationals from the reals, also known as the set complement of the rationals over the reals).

* - A rational number's official definition is a value that can be represented as a fraction with integer terms. For any natural number $x$, $10^x$ is a natural number (because the set of natural numbers is closed over multiplication), and $10^{-x} = 1/10^x$ and so by definition it is also rational as both terms of the fraction are naturals (which are integers). Any integer mantissa $m$, multiplied by 10 to the power of any integer $x$, is thus either $(m*10^x)/1$ or $m/10^x$ for exponents $x&gt;0$ and $x&lt;0$ respectively (with the trivial case of an integer $m$, including 1, being $m=m*10^0$), and so any number constructed in this way is rational as all terms of the fraction are always integers. Not all rationals can be constructed by using an integer power of 10, but by allowing any natural number base it becomes trivial to express any rational in this same exponential form; $a/b = a*b^{-1}$ for all $a \in \mathbb Q, b \in \mathbb N$.