Renaissance notions of number and magnitude

In the 16th and 17th centuries the classical Greek notions of (discrete) number and (continuous) magnitude (preserved in medieval Latin translations of Euclid's Elements) underwent a major transformation that turned them into continuous but measurable magnitudes. This article studies the changes introduced in the classical notions of number and magnitude by three influential Renaissance editions of Euclid's Elements. Besides providing evidence of earlier discussions preparing notions and arguments eventually introduced in Simon Stevin's Arithmétique of 1585, these editions document the role abacus algebra and Renaissance views on the history of mathematics played in bridging the gulf between discrete numbers and continuous magnitudes.     

Cube roots of integers. A conjecture about Heron's method in Metrika III. 20

Did Heron (or his teachers) use sequences of differences to find an approximate value of the cube root of an integer? I venture a conjecture of his heuristics and a couple of possible mathematical proofs of his method.     

Mehmet Nadir: An amateur mathematician in Ottoman Turkey

This note summarizes the results of a recent survey of all the mathematical work of Mehmet Nadir, a Turkish amateur mathematician and professional educator who lived from 1856 to 1927 during the last years of the Ottoman Empire and the first years of the Turkish Republic. It is shown that, although working in isolated and adverse conditions, Nadir was able to establish a continuous correspondence with mathematicians in western Europe and, through his studies in number theory, obtained some results of lasting value.     

Leonhard Euler’s use and understanding of mathematical transcendence

Leonhard Euler primarily applied the term “transcendental” to quantities which could be variable or determined. Analyzing Euler’s use and understanding of mathematical transcendence as applied to operations, functions, progressions, and determined quantities as well as the eighteenth century practice of definition allows the author to evaluate claims that Euler provided the first modern definition of a transcendental number. The author argues that Euler’s informal and pragmatic use of mathematical transcendence highlights the general nature of eighteenth century mathematics and proposes an alternate perspective on the issue at hand: transcendental numbers inherited their transcendental classification from functions.     

Jean Leray and nonlinear integral equations: A partially forgotten legacy

Some applications given in Jean Leray’s thesis of 1933 seem to have been forgotten, before being rediscovered and then widely developed. The reason may be found in the fact that the Arzelà–Schmidt’s method introduced in the thesis was superseded one year later by the more general and fruitful Leray-Schauder’s method. We also show that, despite its fame and a steadily increasing number of applications, some aspects of Leray–Schauder’s paper were somewhat forgotten too. Dedicated, with admiration, to the living memory of Jean Leray     

Decimal periods and their tables: A German research topic (1765–1801)

At the beginning of the 18th century, several mathematicians noted regularities in the decimal expansions of common fractions. Rules of thumb were set up, but it was only from 1760 onward that the first attempts to try to establish a coherent theory of periodic decimal fractions appeared. J.H. Lambert was the first to devote two essays to the topic, but his colleagues at the Berlin Academy, J. III Bernoulli and J.L. Lagrange, also spent time on the problem. Apart from the theoretical side of the question, the applications (factoring, irrationality proofs, and computational advantages), as well as the tabulation of decimal periods, aroused considerable interest, especially among Lambert's correspondents, C.F. Hindenburg and I. Wolfram. Finally, in 1797–1801, the young C.F. Gauss, informed of these developments, based the whole theory on firm number-theoretic foundations, thereby solving most of the open problems left by the mathematicians before him.     

Cristoforo Borri and the epistemological status of mathematics in seventeenth-century Portugal

This paper argues that the epistemological promotion of mathematics by the Jesuit Cristoforo Borri, while he was teaching at the Coimbra Jesuit College in the late 1620s, played a decisive role in the updating of cosmological ideas in 17th-century Portugal. The paper focuses on Borri's position on the celebrated quaestio de certitudine mathematicarum and on his understanding of the classification of sciences. It argues that by conferring on mathematics the status of Aristotelian causal science, Borri made it possible to integrate mathematical data into the philosophical debate, particularly with regard to the new cosmology.     

Non-Classical Stems from Classical: N. A. Vasiliev’s Approach to Logic and his Reassessment of the Square of Opposition

In the XIXth century there was a persistent opposition to Aristotelian logic. Nicolai A. Vasiliev (1880–1940) noted this opposition and stressed that the way for the novel – non-Aristotelian – logic was already paved. He made an attempt to construct non-Aristotelian logic (1910) within, so to speak, the form (but not in the spirit) of the Aristotelian paradigm (mode of reasoning). What reasons forced him to reassess the status of particular propositions and to replace the square of opposition by the triangle of opposition? What arguments did Vasiliev use for the introduction of new classes of propositions and statement of existence of various levels in logic? What was the meaning and role of the “method of Lobachevsky” which was implemented in construction of imaginary logic? Why did psychologism in the case of Vasiliev happen to be an important factor in the composition of the new ‘imaginary’ logic, as he called it?      

Additive Hilbert's Theorem 90 in the ring of algebraic integers

For a number field K, we give a complete characterization of algebraic numbers which can be expressed by a difference of two K-conjugate algebraic integers. These turn out to be the algebraic integers whose Galois group contains an element, acting as a cycle on some collection of conjugates which sum to zero. Hence there are no algebraic integers which can be written as a difference of two conjugate algebraic numbers but cannot be written as a difference of two conjugate algebraic integers. A generalization of the construction to a commutative ring is also given. Furthermore, we show that for n ?_ 3 there exist algebraic integers which can be written as a linear form in n K-conjugate algebraic numbers but cannot be written by the same linear form in K-conjugate algebraic integers.     

An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields

Let K be a complete and algebraically closed valued field of characteristic 0. We prove that the set of rational integers is positive existentially definable in the field of meromorphic functions on K in the language of rings augmented by a constant symbol for the independent variable z and by a symbol for the unary relation “the function x takes the value 0 at 0”. Consequently, we prove that the positive existential theory of in the language is undecidable. In order to obtain these results, we obtain a complete characterization of all analytic projective maps (over K) from an elliptic curve minus a point to , for any elliptic curve defined over the field of constants.     

Some remarks on lengths of propositional proofs

We survey the best known lower bounds on symbols and lines in Frege and extended Frege proofs. We prove that in minimum length sequent calculus proofs, no formula is generated twice or used twice on any single branch of the proof. We prove that the number of distinct subformulas in a minimum length Frege proof is linearly bounded by the number of lines. Depthd Frege proofs ofm lines can be transformed into depthd proofs ofO(m ^d+1) symbols. We show that renaming Frege proof systems are p-equivalent to extended Frege systems. Some open problems in propositional proof length and in logical flow graphs are discussed. Supported in part by NSF grant DMS-9205181     

The evolution of the concept of homeomorphism

Topology, or analysis situs, has often been regarded as the study of those properties of point sets (in Euclidean space or in abstract spaces) that are invariant under “homeomorphisms.” Besides the modern concept of homeomorphism, at least three other concepts were used in this context during the late 19th and early 20th centuries, and regarded (by various mathematicians) as characterizing topology: deformations, diffeomorphisms, and continuous bijections. Poincaré, in particular, characterized analysis situs in terms of deformations in 1892 but in terms of diffeomorphisms in 1895. Eventually Kuratowski showed in 1921 that in the plane there can be a continuous bijection of P onto Q, and of Q onto P, without P and Q being homeomorphic.     

The emergence of open sets,closed sets,and limit points in analysis and topology

General topology has its roots in real and complex analysis, which made important uses of the interrelated concepts of open set, of closed set, and of a limit point of a set. This article examines how those three concepts emerged and evolved during the late 19th and early 20th centuries, thanks especially to Weierstrass, Cantor, and Lebesgue. Particular attention is paid to the different forms of the Bolzano–Weierstrass Theorem found in the latter's unpublished lectures. An abortive early, unpublished introduction of open sets by Dedekind is examined, as well as how Peano and Jordan almost introduced that concept. At the same time we study the interplay of those three concepts (together with those of the closure of a set and of the derived set of a set) in the struggle to determine the ultimate foundations on which general topology was built, during the first half of the 20th century.     

In memoriam Israel Gohberg August 23, 1928-October 12, 2009

This obituary for Israel Gohberg consists of a general introduction, separate contributions of the six authors, all of whom worked closely with him, and a final note. The material gives an impression of the life of this great mathematician, of his monumental impact in the areas he worked in, of how he cooperated with colleagues, and of his ability to stimulate people in their mathematical activities.     

The origins of Euler's early work on continued fractions

In this paper, I examine Euler's early work on the elementary properties of continued fractions in the 1730s, and investigate its possible links to previous writings on continued fractions by authors such as William Brouncker. By analysing the content of Euler's first paper on continued fractions, ‘De fractionibus continuis dissertatio’ (1737, published 1744) I conclude that, contrary to what one might expect, Euler's work on continued fractions initially arose not from earlier writings on continued fractions, but from a wish to solve the Riccati differential equation.     

Congruences for Hecke eigenvalues in higher level cases

In Guerzhoy (2008) [6], Guerzhoy defined certain quotient space dual to the space of cusp forms of given weight, developed its properties and applied them to the congruences for Hecke eigenvalues in level one case. We extend his result to higher level cases.     

Die Habilitation von John von Neumann an der Friedrich-Wilhelms-Universität in Berlin: Urteile über einen ungarisch-jüdischen Mathematiker in Deutschland im Jahr 1927

The mathematician John von Neumann was born in Hungary but principally received his scientific education and socialization in the German science system. He received his Habilitation from the Friedrich-Wilhelms–Universität in Berlin in 1927, where he lectured as a Privatdozent until his emigration to the USA. This article aims at making a contribution to this early part of Neumann’s scientific biography by analyzing in detail the procedure that led to his Habilitation as well as the beginnings of Neumann’s research on functional analysis. An analysis of the relevant sources shows that in Berlin in the year 1927 Neumann was not yet regarded as the outstanding mathematical genius of the 20th century. Furthermore it will be seen that Neumann had great difficulties in developing the fundamental concepts for his path breaking work in spectral theory and only managed to do so with the support of the Berlin mathematician Erhard Schmidt.