In 1936, whose paper "On Computable Numbers, with an Application to the Entscheidungsproblem" proved that a machine could perform any conceivable mathematical computation if it were able to be represented as an algorithm?
Who was the Anglo-Irish scientist who, in the 17th century, discovered that "the volume of a given mass of gas at a given temperature is inversely proportional to its pressure"?
