philosophy

See computer ethics, liar paradox, netiquette, proof.