Columbia Encyclopedia

Search results

500 results found

symbolic logic

(Encyclopedia)symbolic logic or mathematical logic, formalized system of deductive logic, employing abstract symbols for the various aspects of natural language. Symbolic logic draws on the concepts and techniques ...

Gödel, Kurt

(Encyclopedia)Gödel, Kurt göˈdəl [key], 1906–78, American mathematician and logician, b. Brünn (now Brno, Czech Republic), grad. Univ. of Vienna (Ph.D., 1930). He came to the United States in 1940 and was na...

Sylvester, James Joseph

(Encyclopedia)Sylvester, James Joseph, 1814–97, English mathematician. He studied at Cambridge for four years after 1831, but because degrees were limited to members of the Church of England and he was a Jew, he ...

Gregory, James

(Encyclopedia)Gregory, James, 1638–75, Scottish mathematician. He invented a reflecting telescope (1661), which he described in his Optica promota (1663). In 1668 he became professor of mathematics at the Univ. o...

Tartaglia, Niccolò

(Encyclopedia)Tartaglia, Niccolò nēk-kōlôˈ tärtäˈlyä [key], c.1500–1557, Italian engineer and mathematician. Largely self-educated, he taught mathematics at Verona, Brescia, and Venice. A pioneer in appl...

Pareto, Vilfredo

(Encyclopedia)Pareto, Vilfredo vēlfrĕˈdō pärĕˈtō [key], 1848–1923, Italian economist and sociologist, b. Paris, of an exiled noble family that returned to Italy in 1858. He studied mathematics and enginee...

Frege, Gottlob

(Encyclopedia)Frege, Gottlob gôtˈlōp frāˈgə [key], 1848–1925, German philosopher and mathematician. He was professor of mathematics (1879–1918) at the Univ. of Jena. Frege was one of the founders of moder...

Whitehead, Alfred North

(Encyclopedia)Whitehead, Alfred North, 1861–1947, English mathematician and philosopher, grad. Trinity College, Cambridge, 1884. There he was a lecturer in mathematics until 1911. At the Univ. of London he was a ...

Ibn al-Haytham

(Encyclopedia)Ibn al-Haytham ălhəzĕnˈ [key], 965–c.1040, Arab mathematician. Ibn al-Haytham was born in Basra, but made his career in Cairo, where he supported himself copying scientific manuscripts. Among hi...

Klein, Christian Felix

(Encyclopedia)Klein, Christian Felix klīn [key], 1849–1925, German mathematician. He is noted for his work in geometry and on the theory of functions. His Erlangen program (1872) for unifying the diverse forms ...