Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Mathematical proofA mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation".
Proof by exhaustionProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
OLEDAn organic light-emitting diode (OLED), also known as organic electroluminescent (organic EL) diode, is a light-emitting diode (LED) in which the emissive electroluminescent layer is a film of organic compound that emits light in response to an electric current. This organic layer is situated between two electrodes; typically, at least one of these electrodes is transparent. OLEDs are used to create digital displays in devices such as television screens, computer monitors, and portable systems such as smartphones and handheld game consoles.
Mathematical inductionMathematical induction is a method for proving that a statement is true for every natural number , that is, that the infinitely many cases all hold. Informal metaphors help to explain this technique, such as falling dominoes or climbing a ladder: Mathematical induction proves that we can climb as high as we like on a ladder, by proving that we can climb onto the bottom rung (the basis) and that from each rung we can climb up to the next one (the step). A proof by induction consists of two cases.
Electronic paperElectronic paper, also known as electronic ink (e-ink) or intelligent paper, is a display device that mimics the appearance of ordinary ink on paper. Unlike conventional flat panel displays that emit light, an electronic paper display reflects ambient light, like paper. This may make them more comfortable to read, and provide a wider viewing angle than most light-emitting displays. The contrast ratio in electronic displays available as of 2008 approaches newspaper, and newly developed displays are slightly better.
Organic matterOrganic matter, organic material, or natural organic matter refers to the large source of carbon-based compounds found within natural and engineered, terrestrial, and aquatic environments. It is matter composed of organic compounds that have come from the feces and remains of organisms such as plants and animals. Organic molecules can also be made by chemical reactions that do not involve life. Basic structures are created from cellulose, tannin, cutin, and lignin, along with other various proteins, lipids, and carbohydrates.
Constructive proofIn mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object. This is in contrast to a non-constructive proof (also known as an existence proof or pure existence theorem), which proves the existence of a particular kind of object without providing an example. For avoiding confusion with the stronger concept that follows, such a constructive proof is sometimes called an effective proof.
Organic semiconductorOrganic semiconductors are solids whose building blocks are pi-bonded molecules or polymers made up by carbon and hydrogen atoms and – at times – heteroatoms such as nitrogen, sulfur and oxygen. They exist in the form of molecular crystals or amorphous thin films. In general, they are electrical insulators, but become semiconducting when charges are either injected from appropriate electrodes, upon doping or by photoexcitation. In molecular crystals the energetic separation between the top of the valence band and the bottom conduction band, i.
Organic solar cellAn organic solar cell (OSC) or plastic solar cell is a type of photovoltaic that uses organic electronics, a branch of electronics that deals with conductive organic polymers or small organic molecules, for light absorption and charge transport to produce electricity from sunlight by the photovoltaic effect. Most organic photovoltaic cells are polymer solar cells. The molecules used in organic solar cells are solution-processable at high throughput and are cheap, resulting in low production costs to fabricate a large volume.
