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

Grattan-Guinness, I.
March 2011
Mathematical Intelligencer;Mar2011, Vol. 33 Issue 1, p19
Academic Journal
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.


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...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics