Photoelectrochemical cellA "photoelectrochemical cell" is one of two distinct classes of device. The first produces electrical energy similarly to a dye-sensitized photovoltaic cell, which meets the standard definition of a photovoltaic cell. The second is a photoelectrolytic cell, that is, a device which uses light incident on a photosensitizer, semiconductor, or aqueous metal immersed in an electrolytic solution to directly cause a chemical reaction, for example to produce hydrogen via the electrolysis of water.
Electrolysis of waterElectrolysis of water is using electricity to split water into oxygen (O2) and hydrogen (H2) gas by electrolysis. Hydrogen gas released in this way can be used as hydrogen fuel, but must be kept apart from the oxygen as the mixture would be extremely explosive. Separately pressurised into convenient 'tanks' or 'gas bottles', hydrogen can be used for oxyhydrogen welding and other applications, as the hydrogen / oxygen flame can reach circa 2,800°C. Water electrolysis requires a minimum potential difference of 1.
Lambda calculusLambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine. It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics. Lambda calculus consists of constructing lambda terms and performing reduction operations on them.
Show more