The phrase "amount of arithmetic" is correct and usable in written English.
It can be used when discussing the quantity or extent of arithmetic operations or calculations involved in a particular context.
Example: "The amount of arithmetic required to solve this equation is minimal, making it accessible for beginners."
Alternatives: "quantity of arithmetic" or "extent of arithmetic".
The first incompleteness theorem tells us that in any consistent formal theory whose theorems are recursively enumerable and which entails a certain (rather limited) amount of arithmetic, there will be an arithmetical sentence such that neither it nor its negation is provable.
Graphics-processor cores have the right amount of arithmetic muscle for a quick once-over to properly classify an image or other piece of data.
The net result is that the amount of arithmetic you need to do in this comes up to more than 1016 operations per second.
In this paper, a new approach has been taken to restructure the adaptive decimation algorithm to a form that includes only small amount of arithmetic operations.
Through a careful ("Gödel -) coding of sequences of symbols (formulas, proofs), Gödel showed that in theories T which contain a sufficient amount of arithmetic, it is possible to produce a formula Pr x, y) which "says" that x is (the code of) a proof of (the formula with code) y.
This reduces the amount of arithmetic operations, memory indexing, and results in higher efficiency.
In the first and loose statements of the incompleteness theorems given above, the vague requirement that "a certain amount of elementary arithmetic can be carried out" occurred.
In sum, when it is said that "a certain amount of elementary arithmetic can be carried out within a system", what is meant is either that the system is an axiomatizable extension of Q, or that Q can be interpreted in it.
There was an equal amount of anagrams and arithmetic problems in each block, which were presented in random order.
So are we left with some crude felicific arithmetic: (amount of emotional pain) – (value of blasphemous speech uttered) = net morality of this or that utterance?
In this paper, we propose the embedding of a prediction mechanism into a part of the coding structure of JPEG2000 image compression standard, in order to reduce the amount of bits sent to the arithmetic coder, without any significant changes into the standard architecture and without loosing performance.
