𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Refutability and elementary number theory

✍ Scribed by E.G.K López-Escobar

Publisher
Elsevier Science
Year
1972
Weight
707 KB
Volume
75
Category
Article
ISSN
1385-7258

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Euclid’s algorithm and elementary num
On Euclid’s algorithm and elementary number theory
✍ Roland Backhouse; João F. Ferreira 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 397 KB

Algorithms can be used to prove and to discover new theorems. This paper shows how algorithmic skills in general, and the notion of invariance in particular, can be used to derive many results from Euclid's algorithm. We illustrate how to use the algorithm as a verification interface (i.e., how to v

Some Galois Connections in Elementary Nu
Some Galois Connections in Elementary Number Theory
✍ J. Lambek 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 225 KB

We study some Galois connections between partially ordered sets of interest in arithmetic: the natural numbers and the integers ordered by magnitude or by divisibility. 1994 Academic Press, Inc