Algebra with Arithmetic and Mensuration
Brahmagupta
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Some proofs of undecidability of arithmetic”
Algebra with Arithmetic and Mensuration
The Elements of Arithmetic
Augustus DeMorgan
Similarity:
The Philosophy of Arithmetic
John Leslie
Similarity:
Some results on Oppenheim's "Factorisatio Numerorum" function
Florian Luca, Anirban Mukhopadhyay, Kotyada Srinivas (2010)
Acta Arithmetica
Similarity:
On the structure of sets with many k-term arithmetic progressions
(2009)
Acta Arithmetica
Similarity:
A generalization of Freiman's 3k-3 Theorem
Yahya Ould Hamidoune, Alain Plagne (2002)
Acta Arithmetica
Similarity:
Some remarks on bicommutability
M. Artigue, E. Isambert, M. Perrin, A. Zalc (1978)
Fundamenta Mathematicae
Similarity:
On disjoint arithmetic progressions
Yong-Gao Chen (2005)
Acta Arithmetica
Similarity:
Arithmetic functions on Beatty sequences
Abercrombie Alex G., Banks William D., Shparlinski Igor E. (2009)
Acta Arithmetica
Similarity:
Arithmetic progressions in sums of subsets of sparse sets
Tomasz Schoen (2011)
Acta Arithmetica
Similarity:
The strength of Turing determinacy within second order arithmetic
Antonio Montalbán, Richard A. Shore (2016)
Fundamenta Mathematicae
Similarity:
We investigate the reverse mathematical strength of Turing determinacy up to Σ₅⁰, which is itself not provable in second order arithmetic.
Farhi arithmetic functions associated to Lucas sequences
Qing-Zhong Ji (2011)
Acta Arithmetica
Similarity:
On non-intersecting arithmetic progressions
Ernest S. Croot III (2003)
Acta Arithmetica
Similarity:
On the correlation of the truncated Liouville function
Hédi Daboussi, András Sárközy (2003)
Acta Arithmetica
Similarity:
Textes & documents - A new source for medieval mathematics in the iberian peninsula: the commercial arithmetic in Ms 10106 (Biblioteca Nacional, Madrid)
Javier Docampo Rey (2009)
Revue d'histoire des mathématiques
Similarity:
This paper contains a critical edition of a short commercial arithmetic written in Castilian (ca. 1400). The manuscript has certain characteristic features, like the presence of composite fractions, that distinguishes it from other known treatises of the Iberian peninsula. The document appears to improve considerably our knowledge of the origins and the transmission of vernacular commercial arithmetic in Europe.