The miner's lamp is an essential tool for miners working in dark underground mines. It is also known as a carbide lamp, a safety lamp, or a mining lantern. The carbide lamp is named after the carbide fuel that it uses to produce light. The safety lamp is called so because it prevents explosions in coal mines by controlling the concentration of methane gas. The mining lantern is a broader term used to describe any type of portable light used by miners, including electric lamps and torches. Other synonyms for the miner's lamp include pit lamp, colliery lamp, and Davy lamp - named after Sir Humphry Davy who invented the safety lamp in 1815.