Audio signal processingAudio signal processing is a subfield of signal processing that is concerned with the electronic manipulation of audio signals. Audio signals are electronic representations of sound waves—longitudinal waves which travel through air, consisting of compressions and rarefactions. The energy contained in audio signals or sound level is typically measured in decibels. As audio signals may be represented in either digital or analog format, processing may occur in either domain.
South PoleThe South Pole, also known as the Geographic South Pole, Terrestrial South Pole or 90th Parallel South, is the southernmost point on Earth and lies antipodally on the opposite side of Earth from the North Pole, at a distance of 12,430 miles (20,004 km) in all directions. It is one of the two points where Earth's axis of rotation intersects its surface. Situated on the continent of Antarctica, it is the site of the United States Amundsen–Scott South Pole Station, which was established in 1956 and has been permanently staffed since that year.
FrequencyFrequency (symbol f) is the number of occurrences of a repeating event per unit of time. It is also occasionally referred to as temporal frequency for clarity and to distinguish it from spatial frequency. Frequency is measured in hertz (symbol Hz) which is equal to one event per second. Ordinary frequency is related to angular frequency (symbol ω, in radians per second) by a scaling factor of 2π. The period (symbol T) is the interval of time between events, so the period is the reciprocal of the frequency, f=1/T.
DrillingDrilling is a cutting process where a drill bit is spun to cut a hole of circular cross-section in solid materials. The drill bit is usually a rotary cutting tool, often multi-point. The bit is pressed against the work-piece and rotated at rates from hundreds to thousands of revolutions per minute. This forces the cutting edge against the work-piece, cutting off chips (swarf) from the hole as it is drilled. In rock drilling, the hole is usually not made through a circular cutting motion, though the bit is usually rotated.
DrillA drill is a tool used for making round holes or driving fasteners. It is fitted with a bit, either a drill or driver chuck. Hand-operated types are dramatically decreasing in popularity and cordless battery-powered ones proliferating due to increased efficiency and ease of use. Drills are commonly used in woodworking, metalworking, construction, machine tool fabrication, construction and utility projects. Specially designed versions are made for miniature applications.
Drill bitDrill bits are cutting tools used in a drill to remove material to create holes, almost always of circular cross-section. Drill bits come in many sizes and shapes and can create different kinds of holes in many different materials. In order to create holes drill bits are usually attached to a drill, which powers them to cut through the workpiece, typically by rotation. The drill will grasp the upper end of a bit called the shank in the chuck. Drills come in standardized drill bit sizes.
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.
ConsistencyIn classical deductive logic, a consistent theory is one that does not lead to a logical contradiction. The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a theory is consistent if it has a model, i.e., there exists an interpretation under which all formulas in the theory are true. This is the sense used in traditional Aristotelian logic, although in contemporary mathematical logic the term satisfiable is used instead.
NeutrinoA neutrino (njuːˈtriːnoʊ ; denoted by the Greek letter ν) is a fermion (an elementary particle with spin of 1 /2) that interacts only via the weak interaction and gravity. The neutrino is so named because it is electrically neutral and because its rest mass is so small (-ino) that it was long thought to be zero. The rest mass of the neutrino is much smaller than that of the other known elementary particles excluding massless particles.
Hilbert's second problemIn mathematics, Hilbert's second problem was posed by David Hilbert in 1900 as one of his 23 problems. It asks for a proof that the arithmetic is consistent – free of any internal contradictions. Hilbert stated that the axioms he considered for arithmetic were the ones given in , which include a second order completeness axiom. In the 1930s, Kurt Gödel and Gerhard Gentzen proved results that cast new light on the problem. Some feel that Gödel's theorems give a negative solution to the problem, while others consider Gentzen's proof as a partial positive solution.
