scholarly journals On Integer Numbers with Locally Smallest Order of Appearance in the Fibonacci Sequence

Author(s):  
Diego Marques

LetFnbe thenth Fibonacci number. The order of appearancez(n)of a natural numbernis defined as the smallest natural numberksuch thatndividesFk. For instance, for alln=Fm≥5, we havez(n−1)>z(n)<z(n+1). In this paper, we will construct infinitely many natural numbers satisfying the previous inequalities and which do not belong to the Fibonacci sequence.

Author(s):  
Stephen K. Lucas

This chapter introduces the Zeckendorf representation of a Fibonacci sequence, a form of a natural number which can be easily found using a greedy algorithm: given a number, subtract the largest Fibonacci number less than or equal to it, and repeat until the entire number is used up. This chapter first compares the efficiency of representing numbers using Zeckendorf form versus traditional binary with a fixed number of digits and shows when Zeckendorf form is to be preferred. It also shows what happens when variants of Zeckendorf form are used. Not only can natural numbers as be presented sums of Fibonacci numbers, but arithmetic can also be done with them directly in Zeckendorf form. The chapter includes a survey of past approaches to Zeckendorf representation arithmetic, as well as some improvements.


Mathematics ◽  
2019 ◽  
Vol 7 (11) ◽  
pp. 1073 ◽  
Author(s):  
Pavel Trojovský

Let F n be the nth Fibonacci number. Order of appearance z ( n ) of a natural number n is defined as smallest natural number k, such that n divides F k . In 1930, Lehmer proved that all solutions of equation z ( n ) = n ± 1 are prime numbers. In this paper, we solve equation z ( n ) = n + ℓ for | ℓ | ∈ { 1 , … , 9 } . Our method is based on the p-adic valuation of Fibonacci numbers.


2010 ◽  
Vol 06 (02) ◽  
pp. 371-385 ◽  
Author(s):  
JEONG SOON HAN ◽  
HEE SIK KIM ◽  
J. NEGGERS

In this paper, we define the Fibonacci-norm [Formula: see text] of a natural number n to be the smallest integer k such that n|Fk, the kth Fibonacci number. We show that [Formula: see text] for m ≥ 5. Thus by analogy we say that a natural number n ≥ 5 is a local-Fibonacci-number whenever [Formula: see text]. We offer several conjectures concerning the distribution of local-Fibonacci-numbers. We show that [Formula: see text], where [Formula: see text] provided Fm+k ≡ Fm (mod n) for all natural numbers m, with k ≥ 1 the smallest natural number for which this is true.


Author(s):  
Øystein Linnebo

How are the natural numbers individuated? That is, what is our most basic way of singling out a natural number for reference in language or in thought? According to Frege and many of his followers, the natural numbers are cardinal numbers, individuated by the cardinalities of the collections that they number. Another answer regards the natural numbers as ordinal numbers, individuated by their positions in the natural number sequence. Some reasons to favor the second answer are presented. This answer is therefore developed in more detail, involving a form of abstraction on numerals. Based on this answer, a justification for the axioms of Dedekind–Peano arithmetic is developed.


2012 ◽  
Vol 22 (4-5) ◽  
pp. 614-704 ◽  
Author(s):  
NICOLAS POUILLARD ◽  
FRANÇOIS POTTIER

AbstractAtoms and de Bruijn indices are two well-known representation techniques for data structures that involve names and binders. However, using either technique, it is all too easy to make a programming error that causes one name to be used where another was intended. We propose an abstract interface to names and binders that rules out many of these errors. This interface is implemented as a library in Agda. It allows defining and manipulating term representations in nominal style and in de Bruijn style. The programmer is not forced to choose between these styles: on the contrary, the library allows using both styles in the same program, if desired. Whereas indexing the types of names and terms with a natural number is a well-known technique to better control the use of de Bruijn indices, we index types with worlds. Worlds are at the same time more precise and more abstract than natural numbers. Via logical relations and parametricity, we are able to demonstrate in what sense our library is safe, and to obtain theorems for free about world-polymorphic functions. For instance, we prove that a world-polymorphic term transformation function must commute with any renaming of the free variables. The proof is entirely carried out in Agda.


10.14311/1821 ◽  
2013 ◽  
Vol 53 (4) ◽  
Author(s):  
L'ubomíra Balková ◽  
Aranka Hrušková

In this paper, we will first summarize known results concerning continued fractions. Then we will limit our consideration to continued fractions of quadratic numbers. The second author describes periods and sometimes the precise form of continued fractions of ?N, where N is a natural number. In cases where we have been able to find such results in the literature, we recall the original authors, however many results seem to be new.


2013 ◽  
Vol 13 (4-5) ◽  
pp. 847-861 ◽  
Author(s):  
PAUL TARAU

AbstractWe describe a compact serialization algorithm mapping Prolog terms to natural numbers of bit-sizes proportional to the memory representation of the terms. The algorithm is a ‘no bit lost’ bijection, as it associates to each Prolog term a unique natural number and each natural number corresponds to a unique syntactically well-formed term.To avoid an exponential explosion resulting from bijections mapping term trees to natural numbers, we separate the symbol content and the syntactic skeleton of a term that we serialize compactly using a ranking algorithm for Catalan families.A novel algorithm for the generalized Cantor bijection between ${\mathbb{N}$ and ${\mathbb{N}$k is used in the process of assigning polynomially bounded Gödel numberings to various data objects involved in the translation.


Paleobiology ◽  
10.1666/12057 ◽  
2014 ◽  
Vol 40 (2) ◽  
pp. 151-161 ◽  
Author(s):  
Andrea Benedetti

Examination of the neanic apparatuses of known populations ofNephrolepidina praemarginata,N. morgani, andN. tournouerireveals that the equatorial chamberlets are arranged in spirals, along the direction of connection of the oblique stolons, giving the optical effect of intersecting curves. InN. praemarginatacommonly 34 left- and right-oriented primary spirals occur from the first annulus to the periphery, 21 secondary spirals from the third to fifth annulus, 13 ternary spirals from the fifth to eighth annulus, following the Fibonacci sequence.The number of the spirals increases in larger specimens and in more embracing morphotypes, and especially in trybliolepidine specimens; the secondary and ternary spirals from the investigatedN. praemarginatatoN. tournoueripopulations tend to start from more distal annuli. An interpretative model of the spiral growth ofNephrolepidinais attempted.The angle formed by the basal annular stolon and distal oblique stolon in equatorial chamberlets ranges from 122° inN. praemarginatato mean values close to the golden angle (137.5°) inN. tournoueri.The increase in the Fibonacci number of spirals during the evolution of the lineage, along with the disposition of the stolons between contiguous equatorial chamberlets, provides new evidence of evolutionary selection for specimens with optimally packed chamberlets.Natural selection favors individuals with the most regular growth, which fills the equatorial space more efficiently, thus allowing these individuals to reach the adult stage faster. We refer to this new type of selection as “golden selection.”


2011 ◽  
Vol 07 (03) ◽  
pp. 579-591 ◽  
Author(s):  
PAUL POLLACK

For each natural number N, let R(N) denote the number of representations of N as a sum of two primes. Hardy and Littlewood proposed a plausible asymptotic formula for R(2N) and showed, under the assumption of the Riemann Hypothesis for Dirichlet L-functions, that the formula holds "on average" in a certain sense. From this they deduced (under ERH) that all but Oϵ(x1/2+ϵ) of the even natural numbers in [1, x] can be written as a sum of two primes. We generalize their results to the setting of polynomials over a finite field. Owing to Weil's Riemann Hypothesis, our results are unconditional.


Axioms ◽  
2019 ◽  
Vol 8 (3) ◽  
pp. 103 ◽  
Author(s):  
Urszula Wybraniec-Skardowska

The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two different ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation of inequality) proposed by Witold Wilkosz, a Polish logician, philosopher and mathematician, in 1932. The axioms W are those of ordered sets without largest element, in which every non-empty set has a least element, and every set bounded from above has a greatest element. We show that P and W are equivalent and also that the systems of arithmetic based on W or on P, are categorical and consistent. There follows a set of intuitive axioms PI of integers arithmetic, modelled on P and proposed by B. Iwanuś, as well as a set of axioms WI of this arithmetic, modelled on the W axioms, PI and WI being also equivalent, categorical and consistent. We also discuss the problem of independence of sets of axioms, which were dealt with earlier.


Sign in / Sign up

Export Citation Format

Share Document