Searcharxiv⌕ Search

arXiv subjects

Vladimir Kanovei

Publications and source records attributed to Vladimir Kanovei.

At least 55 records · Page 3Linked to original sources
arXiv2017

Approaches to analysis with infinitesimals following Robinson, Nelson, and others

This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and the Intended Interpretation hypothesis. We highlight some applications including (1) Loeb's approach to the Lebesgue measure, (2) a radically elementary approach to the vibrating string, (3) true infinitesimal differential geometry. We explore the relation of Robinson's and related frameworks to the multiverse view as developed by Hamkins. Keywords: axiomatisations, infinitesimal, nonstandard analysis, ultraproducts, superstructure, set-theoretic foundations, multiverse, naive integers, intuitionism, soritical properties, ideal elements, protozoa.

math.CA↗
arXiv2017

The full basis theorem does not imply analytic wellordering

We make use of a finite support product of $ω_1$ clones of the Jensen minimal $\varPi^1_2$ singleton forcing to obtain a model of ZFC in which every non-empty lightface analytically definable set of reals contains a lightface analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the continuum.

math.LO↗
arXiv2016

Gregory's sixth operation

In relation to a thesis put forward by Marx Wartofsky, we seek to show that a historiography of mathematics requires an analysis of the ontology of the part of mathematics under scrutiny. Following Ian Hacking, we point out that in the history of mathematics the amount of contingency is larger than is usually thought. As a case study, we analyze the historians' approach to interpreting James Gregory's expression ultimate terms in his paper attempting to prove the irrationality of pi. Here Gregory referred to the last or ultimate terms of a series. More broadly, we analyze the following questions: which modern framework is more appropriate for interpreting the procedures at work in texts from the early history of infinitesimal analysis? as well as the related question: what is a logical theory that is close to something early modern mathematicians could have used when studying infinite series and quadrature problems? We argue that what has been routinely viewed from the viewpoint of classical analysis as an example of an "unrigorous" practice, in fact finds close procedural proxies in modern infinitesimal theories. We analyze a mix of social and religious reasons that had led to the suppression of both the religious order of Gregory's teacher degli Angeli, and Gregory's books at Venice, in the late 1660s.

math.HO↗
arXiv2016

Toward a history of mathematics focused on procedures

Abraham Robinson's framework for modern infinitesimals was developed half a century ago. It enables a re-evaluation of the procedures of the pioneers of mathematical analysis. Their procedures have been often viewed through the lens of the success of the Weierstrassian foundations. We propose a view without passing through the lens, by means of proxies for such procedures in the modern theory of infinitesimals. The real accomplishments of calculus and analysis had been based primarily on the elaboration of novel techniques for solving problems rather than a quest for ultimate foundations. It may be hopeless to interpret historical foundations in terms of a punctiform continuum, but arguably it is possible to interpret historical techniques and procedures in terms of modern ones. Our proposed formalisations do not mean that Fermat, Gregory, Leibniz, Euler, and Cauchy were pre-Robinsonians, but rather indicate that Robinson's framework is more helpful in understanding their procedures than a Weierstrassian framework.

math.HO↗
arXiv2016

A non-standard analysis of a cultural icon: The case of Paul Halmos

We examine Paul Halmos' comments on category theory, Dedekind cuts, devil worship, logic, and Robinson's infinitesimals. Halmos' scepticism about category theory derives from his philosophical position of naive set-theoretic realism. In the words of an MAA biography, Halmos thought that mathematics is "certainty" and "architecture" yet 20th century logic teaches us is that mathematics is full of uncertainty or more precisely incompleteness. If the term architecture meant to imply that mathematics is one great solid castle, then modern logic tends to teach us the opposite lession, namely that the castle is floating in midair. Halmos' realism tends to color his judgment of purely scientific aspects of logic and the way it is practiced and applied. He often expressed distaste for nonstandard models, and made a sustained effort to eliminate first-order logic, the logicians' concept of interpretation, and the syntactic vs semantic distinction. He felt that these were vague, and sought to replace them all by his polyadic algebra. Halmos claimed that Robinson's framework is "unnecessary" but Henson and Keisler argue that Robinson's framework allows one to dig deeper into set-theoretic resources than is common in Archimedean mathematics. This can potentially prove theorems not accessible by standard methods, undermining Halmos' criticisms. Keywords: Archimedean axiom; bridge between discrete and continuous mathematics; hyperreals; incomparable quantities; indispensability; infinity; mathematical realism; Robinson.

math.HO↗
arXiv2016

Is Leibnizian calculus embeddable in first order logic?

To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on procedural questions. This would enable an account of Leibnizian procedures in a framework limited to FOL with a small number of additional ingredients such as the relation of infinite proximity. If, as we argue here, first order logic is indeed suitable for developing modern proxies for the inferential moves found in Leibnizian infinitesimal calculus, then modern infinitesimal frameworks are more appropriate to interpreting Leibnizian infinitesimal calculus than modern Weierstrassian ones. Keywords: First order logic; infinitesimal calculus; ontology; procedures; Leibniz; Weierstrass; Abraham Robinson

math.LO↗
arXiv2016

Interpreting the infinitesimal mathematics of Leibniz and Euler

We apply Benacerraf's distinction between mathematical ontology and mathematical practice (or the structures mathematicians use in practice) to examine contrasting interpretations of infinitesimal mathematics of the 17th and 18th century, in the work of Bos, Ferraro, Laugwitz, and others. We detect Weierstrass's ghost behind some of the received historiography on Euler's infinitesimal mathematics, as when Ferraro proposes to understand Euler in terms of a Weierstrassian notion of limit and Fraser declares classical analysis to be a "primary point of reference for understanding the eighteenth-century theories." Meanwhile, scholars like Bos and Laugwitz seek to explore Eulerian methodology, practice, and procedures in a way more faithful to Euler's own. Euler's use of infinite integers and the associated infinite products is analyzed in the context of his infinite product decomposition for the sine function. Euler's principle of cancellation is compared to the Leibnizian transcendental law of homogeneity. The Leibnizian law of continuity similarly finds echoes in Euler. We argue that Ferraro's assumption that Euler worked with a classical notion of quantity is symptomatic of a post-Weierstrassian placement of Euler in the Archimedean track for the development of analysis, as well as a blurring of the distinction between the dual tracks noted by Bos. Interpreting Euler in an Archimedean conceptual framework obscures important aspects of Euler's work. Such a framework is profitably replaced by a syntactically more versatile modern infinitesimal framework that provides better proxies for his inferential moves. Keywords: Archimedean axiom; infinite product; infinitesimal; law of continuity; law of homogeneity; principle of cancellation; procedure; standard part principle; ontology; mathematical practice; Euler; Leibniz

math.HO↗
arXiv2016

Small oscillations of the pendulum, Euler's method, and adequality

Small oscillations evolved a great deal from Klein to Robinson. We propose a concept of solution of differential equation based on Euler's method with infinitesimal mesh, with well-posedness based on a relation of adequality following Fermat and Leibniz. The result is that the period of infinitesimal oscillations is independent of their amplitude. Keywords: harmonic motion; infinitesimal; pendulum; small oscillations

math.HO↗
arXiv2016

Leibniz vs Ishiguro: Closing a quarter-century of syncategoremania

Did Leibniz exploit infinitesimals and infinities `a la rigueur, or only as shorthand for quantified propositions that refer to ordinary Archimedean magnitudes? Chapter 5 in (Ishiguro 1990) is a defense of the latter position, which she reformulates in terms of Russellian logical fictions. Ishiguro does not explain how to reconcile this interpretation with Leibniz's repeated assertions that infinitesimals violate the Archimedean property, viz., Euclid's Elements, V.4. We present textual evidence from Leibniz, as well as historical evidence from the early decades of the calculus, to undermine Ishiguro's interpretation. Leibniz frequently writes that his infinitesimals are useful fictions, and we agree; but we shall show that it is best not to understand them as logical fictions; instead, they are better understood as pure fictions. Keywords: Archimedean property; infinitesimal; logical fiction; pure fiction; quantified paraphrase; law of homogeneity

math.HO↗
arXiv2016

Controversies in the foundations of analysis: Comments on Schubring's Conflicts

Foundations of Science recently published a rebuttal to a portion of our essay it published two years ago. The author, G. Schubring, argues that our 2013 text treated unfairly his 2005 book, Conflicts between generalization, rigor, and intuition. He further argues that our attempt to show that Cauchy is part of a long infinitesimalist tradition confuses text with context and thereby misunderstands the significance of Cauchy's use of infinitesimals. Here we defend our original analysis of variousmisconceptions and misinterpretations concerning the history of infinitesimals and, in particular, the role of infinitesimals in Cauchy's mathematics. We show that Schubring misinterprets Proclus, Leibniz, and Klein on non-Archimedean issues, ignores the Jesuit context of Moigno's flawed critique of infinitesimals, and misrepresents, to the point of caricature, the pioneering Cauchy scholarship of D. Laugwitz. Keywords: Archimedean axiom, Cauchy, Felix Klein, hornangle, infinitesimal, Leibniz, ontology, procedure

math.HO↗
arXiv2016

A Groszek-Laver pair of undistinguishable $E_0$ classes

A generic extension $L[x,y]$ of $L$ by reals $x,y$ is defined, in which the union of $\mathsf E_0$-classes of $x$ and $y$ is a $Π^1_2$ set, but neither of these two $\mathsf E_0$-classes is separately ordinal-definable.

math.LO↗
arXiv2015

Euler's lute and Edwards' oud

In a piece published in 1981, H. M. Edwards touts the benefits of reading the masters. A quarter-century later, Edwards takes seriously his own advice by publishing an encomium on Euler's Institutiones (1755). While we agree with Edwards that we shall all do well by studying the masters, we argue that to derive the full benefit, one must read historically important texts without interposing a lens formed by one's own mathematical accomplishments. We show, in particular, that Edwards misses much of the style and substance of Euler's Institutiones by reading the text through a constructivist lens.

math.HO↗
arXiv2014

Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow

Fermat, Leibniz, Euler, and Cauchy all used one or another form of approximate equality, or the idea of discarding "negligible" terms, so as to obtain a correct analytic answer. Their inferential moves find suitable proxies in the context of modern theories of infinitesimals, and specifically the concept of shadow. We give an application to decreasing rearrangements of real functions.

math.HO↗
arXiv2014

A generalization of Solovay's $Σ$-construction

A $Σ$-construction of Solovay is partially extended to the case of intermediate sets which are not necessarily subsets of the ground model. As an application, we prove that, for a given name $t$, the set of all sets $t[G]$, $G$ being generic over the ground model, is Borel. This result was first established by Zapletal by a totally different descriptive set theoretic argument.

math.LO↗