Sentence examples for arithmetic using from inspiring English sources

The second-order theory with (HP) as an axiom is consistent and allows us to derive all of ordinary (second-order Peano-Dedekind) arithmetic, using some very natural definitions (see the entry on Frege's Logic, Theorem, and Foundations for Arithmetic).

Performing arithmetic using an imaginary abacus is the fastest way to perform mental calculations.

The risk posed by today's fossil fuel industry to the climate comes down to simple arithmetic using just three numbers, or "doing the math', as campaigner Bill McKibben puts it.

In this paper, we formulate quantisation errors (noises) in fixed-point arithmetic using a novel analytical model.

This was computed on a microprocessor with double precision floating point arithmetic using well-known matrix inversion algorithms (Cholesky).

Ackermann (1940) was later able to adapt Gentzen's ideas to give a correct consistency proof of first-order arithmetic using the epsilon-substitution method.

Ms. Bair contended in the interview that none of the arithmetic used to arrive at these gains takes into account the subsidies banks received in cheap capital, low-interest-rate loans and debt guarantees.

In the standard language of arithmetic used here, the number n is denoted by the term 0′…′, where the successor symbol ' ′ ' is iterated n times.

The frequency accuracy relative to the clock frequency is limited only by the precision of the arithmetic used to compute the phase.

We compared access to the arithmetic lexicon using both a task where arithmetic was task-irrelevant and a task where arithmetic was task-relevant.

When you have exhausted arithmetic, use sudoku logic.