TITLE

# Numbers as Moments of Multisets: A New-Old Formulation of Arithmetic

AUTHOR(S)
Grattan-Guinness, I.
PUB. DATE
March 2011
SOURCE
Mathematical Intelligencer;Mar2011, Vol. 33 Issue 1, p19
SOURCE TYPE
DOC. TYPE
Article
ABSTRACT
In this article, the author discusses the importance of numbers and arithmetic in the development of mathematics. According to the author, the emphasis on rigour in mathematical analysis in the 19th century has paved the way for the set theory and mathematical logic. The author shares his opinion on the different aspects of arithmetic.
ACCESSION #
58696805

## Related Articles

• Gï¿½del and Philosophical Idealismï¿½. PARSONS, CHARLES // Philosophia Mathematica;Jun2010, Vol. 18 Issue 2, p166

Kurt Gï¿½del made many affirmations of robust realism but also showed serious engagement with the idealist tradition, especially with Leibniz, Kant, and Husserl. The root of this apparently paradoxical attitude is his conviction of the power of reason. The paper explores the question of how...

• A variant of Mathias forcing that preserves $${\mathsf{ACA}_0}$$. Dorais, François // Archive for Mathematical Logic;Nov2012, Vol. 51 Issue 7/8, p751

We present and analyze $${F_\sigma}$$-Mathias forcing, which is similar but tamer than Mathias forcing. In particular, we show that this forcing preserves certain weak subsystems of second-order arithmetic such as $${\mathsf{ACA}_0}$$ and $${\mathsf{WKL}_0 + \mathsf{I}\Sigma^0_2}$$, whereas...

• Weakly C*-Normal Subgroups and p-Nilpotency of Finite Groups. Shitian Liu // Asian Journal of Algebra;Nov2009, Vol. 2 Issue 1, p17

A subgroup H is called to be weakly c*-normal in G if there exists a subnormal subgroup K such that G = HK and H âˆ© K is s-quasinormal embedded in G. The following result is established: Let G be a group such that G is S4-free. Also let p be the smallest prime dividing the order of G and P a...

• Effectivity properties of intuitionistic set theory with collection scheme. Vladimirov, A. G. // Mathematical Notes;Jun2011, Vol. 89 Issue 5/6, p619

Intuitionistic set theory with collection scheme is considered. Its various effectivity properties are proved by using the method of realizability.

• Properties and the Interpretation of Second-Order Logicâ€ . Hale, Bob // Philosophia Mathematica;Jun2013, Vol. 21 Issue 2, p133

This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception...

• Separation Axioms via m-Preopen Sets. Carpintero, C.; Rajesh, N.; Rosas, E. // Southeast Asian Bulletin of Mathematics;2012, Vol. 36 Issue 5, p611

In this paper, m-preopen sets are used to define some weak separation axioms and to study some of their basic properties.

• An Introduction to Infinite Hat Problems. Hardin, Christopher S.; Taylor, Alan D. // Mathematical Intelligencer;Fall2008, Vol. 30 Issue 4, p20

The article provides an introduction to infinite hat problems. It sets up a general framework for hat problems of the Gabay-O'Connor type and presents a few results in the finite case. It also presents the Gabay-O'Connor Theorem and a theorem of Lenstran involving strategies that either make...

• Relativized projecta and ...-r.e. sets. Bailey, Colin G. // Archive for Mathematical Logic;1997, Vol. 36 Issue 4/5, p289

Considers the projectum of a Î’-r.e. sets. Definitions and notations; Theorems; Corollary.

• Proof-relevance of families of setoids and identity in type theory. Palmgren, Erik // Archive for Mathematical Logic;Feb2012, Vol. 51 Issue 1/2, p35

Families of types are fundamental objects in Martin-LÃ¶f type theory. When extending the notion of setoid (type with an equivalence relation) to families of setoids, a choice between proof-relevant or proof-irrelevant indexing appears. It is shown that a family of types may be canonically...

Share