Columbia Encyclopedia

Search results

500 results found

root, in mathematics

(Encyclopedia)root, in mathematics, number or quantity r for which an equation f(r)=0 holds true, where f is some function. If f is a polynomial, r is called a root of f; for example, r=3 and r=−4 are roots of th...

set, in mathematics

(Encyclopedia)CE5 Union and intersection of sets A and B: The union of A and B, A∪B, contains all members belonging to either A or B. The intersection of A and B, A∩B, contains all members common to both A a...

proof, in mathematics

(Encyclopedia)proof, in mathematics, finite sequence of propositions each of which is either an axiom or follows from preceding propositions by one of the rules of logical inference (see symbolic logic). Mathematic...

formula, in mathematics and physics

(Encyclopedia)formula, in mathematics and physics, equation expressing a definite fixed relationship between certain quantities. The quantities are usually expressed by letters, and their relationship is indicated ...

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...

Kircher, Athanasius

(Encyclopedia)Kircher, Athanasius ätänäˈzēo͝os kĭrkhˈər [key], 1601?–1680, German Jesuit archaeologist, mathematician, biologist, philologist, astronomer, musicologist, and physicist. One of the world's ...

Hopkins, William

(Encyclopedia)Hopkins, William, 1793–1866, English geologist. Hopkins studied mathematics at Cambridge, and then supported himself as a private mathematics tutor. Many of England's best mathematicians and mathema...

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 ...

combinatorics

(Encyclopedia)combinatorics kŏmˌbĭnətôrˈēəl [key], sometimes called the science of counting, the branch of mathematics concerned with the selection, arrangement, and operation of elements within sets. Combi...

Monge, Gaspard, comte de Péluse

(Encyclopedia)Monge, Gaspard, comte de Péluse gäspärˈ môNzh kôNt də pālüzˈ [key], 1746–1818, French mathematician, physicist, and public official. He was distinguished for his geometrical research, whic...