Immanuel Kant which means they are necessary and universal, yet known through intuition. Kant's often brief remarks about mathematics influenced the mathematical school known as intuitionism, a movement in philosophy of mathematics opposed to Hilbert's formalism, and Frege and Bertrand Russell's logicism. With his "", Kant is considered to have foreshadowed many of the ideas that have come to form the democratic peace theory, one of the main controversies in political science. Prominent recent Kantians include the British philosophers P. F. Strawson and Quassim Cassam and the American philosophers Wilfrid Sellars and Christine Korsgaard. Due to the influence of Strawson and Sellars,
Bertrand Russell and with Germany "freed from all alien armed forces and pledged to neutrality in any conflict between East and West". US Secretary of State John Foster Dulles replied for Eisenhower. The exchange of letters was published as "The Vital Letters of Russell, Khrushchev, and Dulles". Russell was asked by "The New Republic", a liberal American magazine, to elaborate his views on world peace. He urged that all nuclear-weapons testing and constant flights by planes armed with nuclear weapons be halted immediately, and negotiations be opened for the destruction of all hydrogen bombs, with the number of conventional nuclear devices limited