Electronic music is music that employs electronic musical instruments, digital instruments and circuitry-based music technology.
 An electronic musician is a musician who composes or performs such music.
 In general, a distinction can be made between sound produced using electromechanical means, such as violins and drums, and that produced using electronic technology.
 Electromechanical instruments include mechanical elements, such as strings, hammers, and so on, and electric elements, such as magnetic pickups, power amplifiers and loudspeakers. Examples of electromechanical sound producing devices include the telharmonium, Hammond organ, and the electric guitar, which are typically made loud enough for performers and audiences to hear with an instrument amplifier and speaker cabinet.
 Pure electronic instruments do not have vibrating strings, hammers, or other sound-producing mechanisms.
 Devices such as the theremin, sound synthesizer, and computer can produce electronic sounds.
A computer is a device that can be instructed to carry out arbitrary sequences of arithmetic or logical operations automatically.
 The ability of computers to follow generalized sets of operations, called "programs", enables them to perform an extremely wide range of tasks.
A redundant binary representation (RBR) is a numeral system that uses more bits than needed to represent a single binary digit so that most numbers have several representations.
 An RBR is unlike usual binary numeral systems, including two's complement, which use a single bit for each digit.
 Many of an RBR's properties differ from those of regular binary representation systems.
 Most importantly, an RBR allows addition without using a typical carry.
 When compared to non-redundant representation, an RBR makes bitwise logical operation slower, but arithmetic operations are faster when a greater bit width is used.
 Usually, each digit has its own sign that is not necessarily the same as the sign of the number represented.
 When digits have signs, that RBR is also a signed-digit representation.
Wolfgang Palm (born 1950) was a founder and owner of Palm Products GmbH (PPG), and the inventor and creator of various pioneering technical designs for analog and digital synthesizers.
 He is widely acknowledged as the father of digital synthesis, and as a trendsetter in the use of computer technology in the making of electronic music.
This is a list of electronic music genres, consisting of genres of electronic music, primarily created with electronic musical instruments or electronic music technology.
 A distinction has been made between sound produced using electromechanical means and that produced using electronic technology.
 Examples of electromechanical sound producing devices include the telharmonium, Hammond organ, and the electric guitar.
 Purely electronic sound production can be achieved using devices such as the Theremin, sound synthesizer, and computer.
 Genre however is not always dependent on instrumentation.
A logical machine is a tool containing a set of parts that uses energy to perform formal logic operations.
 Early logical machines were mechanical devices that performed basic operations in Boolean logic.
 Contemporary logical machines are computer-based electronic programs that perform proof assistance with theorems in mathematical logic.
 In the 21st century, these proof assistant programs have given birth to a new field of study called mathematical knowledge management.
In mathematics and computer algebra, automatic differentiation (AD), also called algorithmic differentiation or computational differentiation, is a set of techniques to numerically evaluate the derivative of a function specified by a computer program.
 AD exploits the fact that every computer program, no matter how complicated, executes a sequence of elementary arithmetic operations (addition, subtraction, multiplication, division, etc.) and elementary functions (exp, log, sin, cos, etc.).
 By applying the chain rule repeatedly to these operations, derivatives of arbitrary order can be computed automatically, accurately to working precision, and using at most a small constant factor more arithmetic operations than the original program.
Programming languages typically support a set of operators: constructs which behave generally like functions, but which differ syntactically or semantically from usual functions.
 Common simple examples include arithmetic (addition with codice_1), comparison (with codice_2), and logical operations (such as codice_3 or codice_4).
 More involved examples include assignment (usually codice_5 or codice_6), field access in a record or object (usually codice_7), and the scope resolution operator (often codice_8).
 Languages usually define a set of built-in operators, and in some cases allow user-defined operators.
An immediate inference is an inference which can be made from only one statement or proposition.
 For instance, from the statement "All toads are green."
 we can make the immediate inference that "No toads are not green."
 There are a number of "immediate inferences" which can validly be made using logical operations, the result of which is a logically equivalent statement form to the given statement.
 There are also invalid immediate inferences which are syllogistic fallacies.
Live electronic music (also known as live electronics) is a form of music that can include traditional electronic sound-generating devices, modified electric musical instruments, hacked sound generating technologies, and computers.
 Initially the practice developed in reaction to sound-based composition for fixed media such as musique concrète, electronic music and early computer music.
 Musical improvisation often plays a large role in the performance of this music.
 The timbres of various sounds may be transformed extensively using devices such as amplifiers, filters, ring modulators and other forms of circuitry .
 Real-time generation and manipulation of audio using live coding is now commonplace.

Question: What company was founded by the man who is acknowledged as a trendsetter in the making of electronic music for using devices that carry out arbitrary sequences of arithmetic or logical operations automatically?
Answer: Palm Products GmbH