The phase φ of any wave is determined by the ratio x/λ consisting of the distance x propagated by the wave and its wavelength λ. Hence, the dependence of φ on λ constitutes an analogue system for the mathematical operation of division, that is to obtain the hyperbolic function f(ξ)≡1/ξ. We take advantage of this observation to decompose integers into primes and implement this approach towards factorization of numbers in a multi-path Michelson interferometer. This work is part of a (...) larger program geared towards unraveling the connections between quantum mechanics and number theory. We briefly summarize this aspect. (shrink)

Baker (Mind 114:223–238, 2005; Brit J Philos Sci 60:611–633, 2009) has recently defended what he calls the “enhanced” version of the indispensability argument for mathematical Platonism. In this paper I demonstrate that the nominalist can respond to Baker’s argument. First, I outline Baker’s argument in more detail before providing a nominalistically acceptable paraphrase of prime-number talk. Second, I argue that, for the nominalist, mathematical language is used to express physical facts about the world. In endorsing this line I follow (...) moves made by Saatsi (Brit J Philos Sci 62(1):143–154, 2011). But, unlike Saatsi, I go on to argue that the nominalist requires a paraphrase of prime-number talk, for otherwise we lack an account of what that ‘physical fact’ is in the case of mathematics that seemingly makes reference to prime numbers. (shrink)

We show that versions of the prime number theorem as well as equivalent statements hold in an arbitrary model ofIΔ 0+exp.

This paper aims to show that Selim Berker’s widely discussed prime number case is merely an instance of the well-known generality problem for process reliabilism and thus arguably not as interesting a case as one might have thought. Initially, Berker’s case is introduced and interpreted. Then the most recent response to the case from the literature is presented. Eventually, it is argued that Berker’s case is nothing but a straightforward consequence of the generality problem, i.e., the problematic aspect of (...) the case for process reliabilism (if any) is already captured by the generality problem. (shrink)

The conformity of mathematics and physics has so far been taken for granted. Philosophical explanations of that fundamental fact have never been satisfactory, mathematical explanations never had been attempted. In the following a fundamental theorem for the conformity of mathematics and physics will be demonstrated.Mathematics can be defined as the science of Number, physics as the science of Matter. The elementary constituents of mathematics are the prime numbers, those of matter the particles, particularly protons and electrons. The only (...) essential property of these elements as such is their existence, given within a given complex or space. Their fundamental relation is their distribution within their respective spaces. The theorem of the distribution of primes in the arithmetical series of numbers is the fundamental theorem of mathematics. The fundamental theorem of physics would be a theorem of the distribution of particles in geometrical space. If it were shown that both theorems were equal, the essential conformity of mathematics and physics would be mathematically demonstrated. (shrink)

We show that IE1 proves that every element greater than 1 has a unique factorization into prime powers, although we have no way of recovering the exponents from the prime powers which appear. The situation is radically different in Bézout models of open induction. To facilitate the construction of counterexamples, we describe a method of changing irreducibles into powers of irreducibles, and we define the notion of a frugal homomorphism into Ẑ = ΠpZp, the product of the p-adic (...) integers for each prime p. (shrink)

Is there any link between the doctrine of logical fatalism and prime numbers? What do logic and prime numbers have in common? The book adopts truth-functional approach to examine functional properties of finite-valued Łukasiewicz logics Łn+1. Prime numbers are defined in algebraic-logical terms and represented as rooted trees. The author designs an algorithm which for every prime number n constructs a rooted tree where nodes are natural numbers and n is a root. (...) Finite-valued logics Kn+1 are specified that they have tautologies if and only if n is a prime number. It is discovered that Kn+1 have the same functional properties as Łn+1 whenever n is a prime number. Thus, Kn+1 are 'logics' of prime numbers. Amazingly, combination of logics of prime numbers led to uncovering a law of generation of classes of prime numbers. Along with characterization of prime numbers author also gives characterization, in terms of Łukasiewicz logical matrices, of powers of primes, odd numbers, and even numbers. (shrink)

Savant syndrome and prime numbers Oliver Sacks reported that a pair of autistic twins had extraordinary number abilities and that they spontaneously generated huge prime numbers. Such abilities could contradict our understanding of human abilities. Sacks' report attracted widespread attention, and several researchers speculated theoretically. Unfortunately, most of the explanations in the literature are wrong. Here a correct explanation on prime number identification is provided. Fermat's little theorem is implemented in spreadsheet. Also, twenty years after (...) the report, questionable aspects were found in it. Extreme abilities became dubious. One possibility for the less extreme abilities is incomplete trial division. (shrink)

In this paper we define n+1-valued matrix logic Kn+1 whose class of tautologies is non-empty iff n is a prime number. This result amounts to a new definition of a prime number. We prove that if n is prime, then the functional properties of Kn+1 are the same as those of ukasiewicz's n +1-valued matrix logic n+1. In an indirect way, the proof we provide reflects the complexity of the distribution of prime numbers in the (...) natural series. Further, we introduce a generalization K n+1 * of Kn+1 such that the set of tautologies of Kn+1 is not empty iff n is of the form p , where p is prime and is natural. Also in this case we prove the equivalence of functional properties of the introduced logic and those of n+1. In the concluding part, we discuss briefly a partition of the natural series into equivalence classes such that each class contains exactly one prime number. We conjecture that for each prime number the corresponding equivalence class is finite. (shrink)

On September 6, 2004, using the Isabelle proof assistant, I verified the following statement: (%x. pi x * ln (real x) / (real x)) ----> 1 The system thereby confirmed that the prime number theorem is a consequence of the axioms of higher-order logic together with an axiom asserting the existence of an infinite set. All told, our number theory session, including the proof of the prime number theorem and supporting libraries, constitutes 673 pages of proof scripts, or (...) roughly 30,000 lines. This count includes about 65 pages of elementary number theory that we had at the outset, developed by Larry Paulson and others; also about 50 pages devoted to a proof of the law of quadratic reciprocity and properties of Euler’s ϕ function, neither of which are used in the proof of the prime number theorem. The page count does not include the basic HOL library, or properties of the real numbers that we obtained from the HOL-Complex library. (shrink)

The prime number theorem, established by Hadamard and de la Vallée Poussin independently in 1896, asserts that the density of primes in the positive integers is asymptotic to 1/ln x. Whereas their proofs made serious use of the methods of complex analysis, elementary proofs were provided by Selberg and Erdos in 1948. We describe a formally verified version of Selberg's proof, obtained using the Isabelle proof assistant.

Pierre de Fermat is known as the inventor of modern number theory. He invented–improved many methods useful in this discipline. Fermat often claimed to have proved his most difficult theorems thanks to a method of his own invention: the infinite descent. He wrote of numerous applications of this procedure. Unfortunately, he left only one almost complete demonstration and an outline of another demonstration. The outline concerns the theorem that every prime number of the form 4n + 1 is the (...) sum of two squares. In this paper, we analyse a recent proof of this theorem. It is interesting because: it follows all the elements of which Fermat wrote in his outline; it represents a good introduction to all logical nuances and mathematical variants concerning this method of which Fermat spoke. The assertions by Fermat will also be framed inside their historical context. Therefore, the aims of this paper are related to the history of mathematics and to the logic of proof-methods. (shrink)

The paper is concerned with the old conjecture that there are infinitely many Mersenne primes. It is shown in the work that this conjecture is true in the standard model of arithmetic. The proof refers to the general approach to first–order logic based on Rasiowa-Sikorski Lemma and the derived notion of a Rasiowa–Sikorski set. This approach was developed in the papers [ 2 – 4 ]. This work is a companion piece to [ 4 ].

Why might it be beneficial for adults to process fractions componentially? Recent research has shown that college-educated adults can capitalize on the bipartite structure of the fraction notation, performing more successfully with fractions than with decimals in relational tasks, notably analogical reasoning. This study examined patterns of relational priming for problems with fractions in a task that required arithmetic computations. College students were asked to judge whether or not multiplication equations involving fractions were correct. Some equations served as structurally inverse (...) primes for the equation that immediately followed it. Students with relatively high math ability showed relational priming both with and without high perceptual similarity. Students with relatively low math ability also showed priming, but only when the structurally inverse equation pairs were supported by high perceptual similarity between numbers. Several additional experiments established boundary conditions on relational priming with fractions. These findings are interpreted in terms of componential processing of fractions in a relational multiplication context that takes advantage of their inherent connections to a multiplicative schema for whole numbers. (shrink)

It has been argued that numbers are spatially organized along a "mental number line" that facilitates left-hand responses to small numbers, and right-hand responses to large numbers. We hypothesized that whenever the representations of visual and numerical space are concurrently activated, interactions can occur between them, before response selection. A spatial prime is processed faster than a numerical target, and consistent with our hypothesis, we found that such a spatial prime affects non-spatial, verbal responses more (...) when the prime follows a numerical target (backward priming) then when it precedes it (forward priming). This finding emerged both in a number-comparison and a parity judgment task, and cannot be ascribed to a "Spatial-Numerical Association of Response Codes" (SNARC). Contrary to some earlier claims, we therefore conclude that visuospatial-numerical interactions do occur, even before response selection. (shrink)

We challenge the arguments of Cohen Kadosh & Walsh (CK&W) on two grounds. First, interactions between number form (e.g., notation, format, modality) and an experimental factor do not show that the notations/formats/modalities are processed separately. Second, we discuss evidence that numbers are coded abstractly, also when not required by task demands and processed unintentionally, thus challenging the authors' dual-code account.

This chapter examines the pioneering work of Gottfried Wilhelm Leibniz (1646-1716) on various number systems, in particular binary, which he independently invented in the mid-to-late 1670s, and hexadecimal, which he invented in 1679. The chapter begins with the oft-debated question of who may have influenced Leibniz’s invention of binary, though as none of the proposed candidates is plausible I suggest a different hypothesis, that Leibniz initially developed binary notation as a tool to assist his investigations in mathematical problems that were (...) exercising him at the time, namely those concerning the divisibility of composite numbers, primality, and perfect numbers. The chapter then explores Leibniz’s development of binary, his little-known work on binary fractions and expansions, his use of binary as a symbol for creation in his philosophical-theology, and his response to the suggestion that there was a correlation between binary numeration and the hexagrams of the ancient Chinese divinatory text, the Yijing. The chapter then focuses on Leibniz’s work on other number systems, in particular his invention and exploration of hexadecimal as well as his work on duodecimal. The chapter concludes by revealing a hitherto unknown practical application of binary that Leibniz devised in the last year of his life. (shrink)

Since we know that there are four prime numbers less than 8 we know that there are numbers. This ‘short argument’ is correct but it is not an ontological claim or part of philosophy of mathematics. Both realists (Quine) and nominalists (Field) reject the short argument and adopt the idea that the existence of numbers might be posited to explain known mathematical truths. Philosophers operate with a negative conception of what numbers are: they are not (...) in space and time, not related causally to us, not perceivable, etc. This preliminary outlook does not actually characterize a kind of existing thing at all. It creates the atmosphere of weirdness characteristic of both fictionalism and Platonism. Positing things for the sake of explanation makes sense in empirical contexts, but the intelligibility of positing cannot not survive the move to philosophy of mathematics. Modal realism is a model for the unsatisfactory thinking that generates ontological commitment in mathematics. (shrink)

The article highlights certain aspects of the obscured structure of the number, which occur irregularly in the teaching of numeracy in Preschool Education. Its absence, as an effect, leads to the child's misunderstanding of the concept of number. In the presymbolic stage, the number is taught through the word. Structural particularities are found in the semantics and phonetics of the number word and are substantial in the processes of speech and listening. The objectives are to make known the obscured structure (...) of the number and its elements and to analyze the nature of the name of the number. It is justified that the basis of the word "ONE" are the first sound manifestations of the infant. It states that there is the same and equal relationship between the acquisition of knowledge of language and speech with the acquisition of knowledge of number through the development of tonal auditory balance. Methodology: the theoretical analysis of the structural parts (semantics and phonosemantics) of the number and the identification of reciprocal correlation between the constructions of the knowledge of spoken numeral word in Preschool Education through the implemented technology. Contribution: the development of the method for learning the concept of number. (shrink)

Many philosophers, physicists, and mathematicians have wondered about the remarkable relationship between mathematics with its abstract, pure, independent structures on one side, and the wilderness of natural phenomena on the other. Famously, Wigner found the "effectiveness" of mathematics in defining and supporting physical theories to be unreasonable, for how incredibly well it worked. Why, in fact, should these mathematical structures be so well-fitting, and even heuristic in the scientific exploration and discovery of nature? This book argues that the effectiveness of (...) mathematics in physics is reasonable. The author builds on useful analogies of prime numbers and elementary particles, elementary structure kinship and the structure of systems of particles, spectra and symmetries, and for example, mathematical limits and physical situations. The two-dimensional Ising model of a permanent magnet and the proofs of the stability of everyday matter exemplify such effectiveness, and the power of rigorous mathematical physics. Newton is our original model, with Galileo earlier suggesting that mathematics is the language of Nature. (shrink)

We prove that the theory IΔ0, extended by a weak version of the Δ0-Pigeonhole Principle, proves that every integer is the sum of four squares (Lagrange's theorem). Since the required weak version is derivable from the theory IΔ0 + ∀x (xlog(x) exists), our results give a positive answer to a question of Macintyre (1986). In the rest of the paper we consider the number-theoretical consequences of a new combinatorial principle, the ‘Δ0-Equipartition Principle’ (Δ0EQ). In particular we give a new proof, (...) which can be formalized in IΔ0 + Δ0EQ, of the fact that every prime of the form 4n + 1 is the sum of two squares. (shrink)

Aristotle’s classification of ideal number in Metaphysics M 6 has often been considered an unfair presentation of Plato’s actual views. I take another look at the passage and argue that Aristotle is a more careful critic than has been usually recognised. In particular, I argue that much of the scholarly discussion on the passage has failed to take account of Aristotle’s deeper concern, namely, the conditions necessary for numbers to be ordinal. I then set Aristotle’s critique within the broader (...) context of his concern to separate Form from Number, and thus to separate metaphysical questions from mathematical ones. The latter half of the article shows some of the consequences of mixing mathematics with metaphysics from a systematic and historical point of view. (shrink)

Subjects classified visible 2-digit numbers as larger or smaller than 55. Target numbers were preceded by masked 2-digit primes that were either congruent (same relation to 55) or incongruent. Experiments 1 and 2 showed prime congruency effects for stimuli never included in the set of classified visible targets, indicating subliminal priming based on long-term semantic memory. Experiments 2 and 3 went further to demonstrate paradoxical unconscious priming effects resulting from task context. For example, after repeated practice classifying (...) 73 as larger than 55, the novel masked prime 37 paradoxically facilitated the “larger” response. In these experiments task context could induce subjects to unconsciously process only the leftmost masked prime digit, only the rightmost digit, or both independently. Across 3 experiments, subliminal priming was governed by both task context and long-term semantic memory. (shrink)

For a ring R, Hilbert’s Tenth Problem $HTP$ is the set of polynomial equations over R, in several variables, with solutions in R. We view $HTP$ as an enumeration operator, mapping each set W of prime numbers to $HTP$, which is naturally viewed as a set of polynomials in $\mathbb {Z}[X_1,X_2,\ldots ]$. It is known that for almost all W, the jump $W'$ does not $1$ -reduce to $HTP$. In contrast, we show that every Turing degree contains a (...) set W for which such a $1$ -reduction does hold: these W are said to be HTP-complete. Continuing, we derive additional results regarding the impossibility that a decision procedure for $W'$ from $HTP$ can succeed uniformly on a set of measure $1$, and regarding the consequences for the boundary sets of the $HTP$ operator in case $\mathbb {Z}$ has an existential definition in $\mathbb {Q}$. (shrink)

Even if the ordering of all natural number is (known to be) not definable from multiplication of natural numbers and ordering of primes, there is a simple axiom system in the language $(\times,<,1)$ such that the multiplicative structure of positive integers has a unique expansion by a linear order coinciding with the standard order for primes and satisfying the axioms – namely the standard one.

Many theories about human number representation stress the importance of a central semantic representation that includes the magnitude information of small integer numbers, and that is conceived as an abstract, compressed number line. However, thus far there has been little or no direct evidence that units and teens are represented on the same number line. In two masked priming experiments, we show that single-digit and two-digit Arabic numerals are equally well primed by an Arabic numeral with the same number (...) of digits as by an equally distant Arabic numeral with a different number of digits (e.g. the priming effect of 7 on the target 9 is the same as the priming effect of 11 on the target 9). The finding was obtained both with a number naming task and with a parity judgement task. This is in line with the hypothesis that units and teens are part of a continuous number line. (shrink)

Whether some condition is equivalent to a conjunction of some conditions has been a major issue in analytic philosophy. Examples include: knowledge, acting freely, causation, and justice. Philosophers have striven to offer analyses of these, and other concepts, by showing them equivalent to such a conjunction. Timothy Williamson offers a number of arguments for the idea that knowledge is ‘prime’, hence not equivalent to or composed by some such conjunction. I focus on one of his arguments: the requirement that (...) such conjuncts must be freely recombinable. Although there has been a great deal of discussion of Williamson's arguments, the flaw I describe has gone unnoticed. Williamson's argument is expressed in terms of conditions, and cases of the condition. Does the condition include specific information, or is the specific information only part of the case? His argument equivocates between more and less general specifications of the conditions. Once this distinction is clarified, his argument can be seen to be vitiated by this conflation. Neither option yields a sound argument for Williamson's desired conclusion. (shrink)

We will discuss a mathematical proof found in Wittgenstein’s Nachlass, a constructive version of Euler’s proof of the infinity of prime numbers. Although it does not amount to much, this proof allows us to see that Wittgenstein had at least some mathematical skills. At the very last, the proof shows that Wittgenstein was concerned with mathematical practice and it also gives further evidence in support of the claim that, after all, he held a constructivist stance, at least during (...) the transitional period of his thought (1929-33). (shrink)

In August 2002, three Indian computer scientists published a paper, ‘PRIMES is in P’, online. It presents a ‘deterministic algorithm’ which determines in ‘polynomial time’ if a given number is a prime number. The story was quickly picked up by the general press, and by this means spread through the scientific community of complexity theorists, where it was hailed as a major theoretical breakthrough. This is although scientists regarded the media reports as vulgar popularizations. When the paper was published (...) in a peer-reviewed journal only two years later, the three scientists had already received wide recognition for their accomplishment. Current sociological theory challenges the ability to clearly distinguish on independent epistemic grounds between distorted and non-distorted scientific knowledge. It views the demarcation lines between such forms of presentation as contextual and unstable. In my paper, I challenge this view. By systematically surveying the popular press coverage of the ‘PRIMES is in P’ affair, I argue--against the prevailing new orthodoxy--that distorted simplifications of scientific knowledge are distinguishable from non-distorted simplifications on independent epistemic grounds. I argue that in the ‘PRIMES is in P’ affair, the three scientists could ride on the wave of the general press-distorted coverage of their algorithm, while counting on their colleagues’ ability to distinguish genuine accounts from distorted ones. Thus, their scientific reputation was unharmed. This suggests that the possibility of the existence of independent epistemic standards must be incorporated into the new SSK model of popularization. (shrink)

A robust result in research on the production of grammatical agreement is that speakers are more likely to produce an erroneous verb with phrases such as the key to the cabinets, with a singular noun followed by a plural one, than with phrases such as the keys to the cabinet, where a plural noun is followed by a singular. These asymmetries are thought to reflect core language production processes. Previous accounts have attributed error patterns to a syntactic number feature present (...) on plurals but not singulars. An alternative approach is presented in which a process similar to structural priming contributes to the error asymmetry via speakers' past experiences with related agreement constructions. A corpus analysis and two agreement production studies test this account. The results suggest that agreement production is shaped by statistical learning from past language experience. Implications for accounts of agreement are discussed. (shrink)

In this short note many conjectures on partitions of integers as summations of prime numbers are presented, which are extension of Goldbach conjecture.

It is controversial whether Wittgenstein's philosophy of mathematics is of critical importance for mathematical proofs, or is only concerned with the adequate philosophical interpretation of mathematics. Wittgenstein's remarks on the infinity of prime numbers provide a helpful example which will be used to clarify this question. His antiplatonistic view of mathematics contradicts the widespread understanding of proofs as logical derivations from a set of axioms or assumptions. Wittgenstein's critique of traditional proofs of the infinity of prime (...) class='Hi'>numbers, specifically those of Euler and Euclid, not only offers philosophical insight but also suggests substantive improvements. A careful examination of his comments leads to a deeper understanding of what proves the infinity of primes. (shrink)