Industrial checo. En 1866 fundó, en Plzen, un complejo siderúrgico y mecánico que se convirtió en una de las más importantes fábricas de armas y maquinaria pesada de Europa. Al finalizar la I Guerra Mundial, la empresa pasó a manos del grupo Schneider y, posteriormente, se dedicó a la fabricación de automóviles
(Sandsvaer, 1887-Oslo, 1936) Lógico y matemático noruego. Contribuyó al desarrollo de la teoría intuicionista. Trabajó en especial en la resolución de las ecuaciones diofánticas y en el estudio axiomático de los números enteros