Examples are automatically compiled from online sources to
show current usage.Read More
Opinions expressed in the examples do not represent those of Merriam-Webster or its editors.
Send us feedback.
In the table above, statements from the original ILO problem in the language of mathematical logic are at right.—Emma R. Hasson, Scientific American, 21 July 2025 Grok 4’s architecture represents the development toward mathematical logic, code generation and scientific reasoning.—Gerui Wang, Forbes.com, 10 July 2025 One of the earliest AI programs could output proofs (opens a new tab) of dozens of statements in mathematical logic.—Jordana Cepelewicz, Quanta Magazine, 30 Apr. 2025 The papers offer intriguing snapshots of his journey from his prewar focus on mathematical logic and number theory, into a new world of circuits, electronics, and engineering math.—IEEE Spectrum, 4 Feb. 2025 Even in the crudely mathematical logic of vengeance, the blood price for Hamas’s appalling atrocities of October 7 has long since been paid.—Fintan O’Toole, The New York Review of Books, 31 Oct. 2023 The Curry-Howard correspondence does the same but on a larger scale, linking not just separate concepts within one field, but entire disciplines: computer science and mathematical logic.—Sheon Han, Quanta Magazine, 11 Oct. 2023 Von Neumann was interested in quantum mechanics, mathematical logic, numerical analysis, game theory and operator algebra.—Rachel Crowell, Quanta Magazine, 1 Mar. 2023 Today’s neural networks are essentially decision trees that rely on mathematical logic that resembles, for lack of a better analogy, the firing of synapses in the human brain.—John Wenz, Discover Magazine, 11 Oct. 2017
Share