Sentence examples for mathematical theorizing from inspiring English sources

There is simply no plausible way to take this sort of mathematical theorizing about the infinite to be about the physical world.

Indeed, even mathematical theorizing is a pluralistic motley, as Hacking (2014) argues.

The first thesis is that there is some clearly identifiable body of mathematical theorizing, employing mathematical concepts, whose eligibility for logicist reduction is in question.

For suppose that \(\mathsf{T}\) is a recursively axiomatic theory which is sufficiently strong to formalize our current mathematical theorizing – e.g. Zermelo Fraenkel set theory with the Axiom of Choice [\(\mathsf{ZFC}\)], supplemented as needed with large cardinal hypotheses.

Nevertheless, it still constitutes the a priori "general serial form" of our properly empirical mathematical theorizing, and, at the same time, it bestows on this theorizing its characteristic form of objectivity.

The irony is compounded by the fact that less than two years after his confession to Birkhoff, his mathematical theorizing about the abstract mathematical structure that was to supersede the separable Hilbert space, continuous geometries with a transition probability, turned out not to provide a generalizaton of the separable Hilbert space framework.

An ongoing debate in the foundations of physics concerns the role of mathematical rigor in theorizing.

In addition, mathematical explanation plays a role in theorizing about mathematical coincidences (Lange 2009b, Baker 2009a and 2009c), an interesting area of metaphysical investigation that had already been investigated in the context of causal phenomena (see Owens 1992).

Inspired as a child by H.G. Wells' War of the Worlds, Clark University physicist Robert Hutchings Goddard (1882-1945) spent most of his professional life developing mathematical theories on combustible propellants and theorizing that rocket engines could produce sufficient thrust to make space flight a reality.

The professional standards for logical research in Computer Science certainly require rigor, but the field also puts its practitioners into contact with reasoning domains that are not strictly mathematical, and creates needs for innovative logical theorizing.

The second thesis is that the problem for the logicist would be to show how to 'logicize' this theorizing by (i) defining those mathematical concepts in purely logical terms, and then (ii) deriving as logical theorems the translations induced by those definitions of the erstwhile mathematical theorems.