device for picking a random bit
(usually called "heads
" or "tails
", for obvious reasons) with equal
(0.5) probability for each possibility. Subsequent tosses of the same fair coin are deemed independent
of the initial toss.
See coin toss for some of the reasons why this device does not, in fact, exist.