Number Theory

, , &

Abstract

1.1 Some examples of rule induction on permutations . . . . . . . 6 1.2 Ways of making new permutations . . . . . . . . . . . . . . . 7 1.3 Further results . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.4 Removing elements . . . . . . . . . . . . . . . . . . . . . . . . 8..

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
A Formally Verified Proof of the Prime Number Theorem.Jeremy Avigad, Kevin Donnelly, David Gray & Paul Raff - 2007 - ACM Transactions on Computational Logic 9 (1).
Notes on a formalization of the prime number theorem.Jeremy Avigad - unknown
4:00 P.m., F Sep 20.Harvey Friedman - manuscript
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
The phase rule and the notion of substance.Paul Needham - 2011 - In Henk W. De Regt, Stephan Hartmann & Samir Okasha (eds.), EPSA Philosophy of Science: Amsterdam 2009. Springer. pp. 253-62.
Arithmetical set theory.Paul Strauss - 1991 - Studia Logica 50 (2):343 - 350.
Identity, Superselection Theory, and the Statistical Properties of Quantum Fields.David John Baker - 2013 - Philosophy of Science 80 (2):262-285.
Tableau systems for first order number theory and certain higher order theories.Sue Ann Toledo - 1975 - New York: Springer Verlag.
Truth by default.Vann Mcgee - 2001 - Philosophia Mathematica 9 (1):5-20.
Logically reliable inductive inference.Oliver Schulte - 2007 - In Friend Michele, Goethe Norma B. & Harizanov Valentina (eds.), Induction, algorithmic learning theory, and philosophy. Springer. pp. 157-178.
Encounters with infinity: a metamathematical dissertation.Michael Van Laanen - 2004 - New Delhi: New Age Book.
On the existence of a new family of diophantine equations for Ω.Toby Ord - 2003 - Fundamenta Informaticae 56:273-284.
Mind changes and testability: How formal and statistical learning theory converge in the new Riddle of induction.Daniel Steel - manuscript

Analytics

Added to PP
2010-12-22

Downloads
29 (#538,668)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Emmanuel Gray
University at Buffalo

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references