NUMBERS AND POLYNOMIALS A model of Robinson Arithmetic in Mathematics Education
نویسنده
چکیده
In this paper we consider by elementary methods the Robinson theory Q, subtheory of the firstorder Peano Arithmetic PA, and a model of Q given by a universe of polynomials, thati is non-isomorphic to the standard model of PA. Sommario Nel presente lavoro si considera elementarmente la teoria di Robinson Q, sottoteoria dell’Aritmetica di Peano del primo ordine PA, ed un modello di Q costituito da un insieme di polinomi, non isomorfo al modello standard di PA.
منابع مشابه
Modified degenerate Carlitz's $q$-bernoulli polynomials and numbers with weight ($alpha ,beta $)
The main goal of the present paper is to construct some families of the Carlitz's $q$-Bernoulli polynomials and numbers. We firstly introduce the modified Carlitz's $q$-Bernoulli polynomials and numbers with weight ($_{p}$. We then define the modified degenerate Carlitz's $q$-Bernoulli polynomials and numbers with weight ($alpha ,beta $) and obtain some recurrence relations and other identities...
متن کاملOn composition of generating functions
In this work we study numbers and polynomials generated by two type of composition of generating functions and get their explicit formulae. Furthermore we state an improvementof the composita formulae's given in [6] and [3], using the new composita formula's we construct a variety of combinatorics identities. This study go alone to dene new family of generalized Bernoulli polynomials which incl...
متن کاملToward accurate polynomial evaluation in rounded arithmetic
Given a multivariate real (or complex) polynomial p and a domain D, we would like to decide whether an algorithm exists to evaluate p(x) accurately for all x ∈ D using rounded real (or complex) arithmetic. Here “accurately” means with relative error less than 1, i.e., with some correct leading digits. The answer depends on the model of rounded arithmetic: We assume that for any arithmetic opera...
متن کاملFaulhaber's theorem on power sums
We observe that the classical Faulhaber’s theorem on sums of odd powers also holds for an arbitrary arithmetic progression, namely, the odd power sums of any arithmetic progression a+b, a+2b, . . . , a+nb is a polynomial in na+ n(n + 1)b/2. While this assertion can be deduced from the original Fauhalber’s theorem, we give an alternative formula in terms of the Bernoulli polynomials. Moreover, b...
متن کاملViewing Some Ordinary Differential Equations from the Angle of Derivative Polynomials
In the paper, the authors view some ordinary differential equations and their solutions from the angle of (the generalized) derivative polynomials and simplify some known identities for the Bernoulli numbers and polynomials, the Frobenius-Euler polynomials, the Euler numbers and polynomials, in terms of the Stirling numbers of the first and second kinds.
متن کامل