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
context: Title: Computer
  Passage: 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.
  Title: Electronic music
  Passage: 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.
  Title: Immediate inference
  Passage: 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.
  Title: Logical machine
  Passage: 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.
  Title: Operator (computer programming)
  Passage: 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.
  Title: Wolfgang Palm
  Passage: 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.
  Title: Redundant binary representation
  Passage: 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.
citations: Wolfgang Palm Computer