Related papers: If Archimedes would have known functions
This paper frames calculus as a global, centuries-long development rather than a subject that began only with Newton and Leibniz. Drawing on ideas from Greek, Indian, Islamic, and later European mathematics, it highlights how concepts like…
We illustrate Archimedes' method using models produced with 3D printers. This approach allowed us to create physical proofs of results known to Archimedes and illustrate ideas of a mathematician who is known both for his for his mechanical…
In his G\'eom\'etrie (1637) Descartes introduces the algebra of segments. This is a fundamental step in the mathematical treatment of variable quantities before the creation of differential calculus. It is an algebra with symbols but…
We re-evaluate the great Leibniz-Newton calculus debate, exactly three hundred years after it culminated, in 1712. We reflect upon the concept of invention, and to what extent there were indeed two independent inventors of this new…
In this paper a novel calculus system has been established based on the concept of 'werden'. The basis of logic self-contraction of the theories on current calculus was shown. Mistakes and defects in the structure and meaning of the…
Part 1 : For more than two millennia, ever since Euclid's geometry, the so called Archimedean Axiom has been accepted without sufficiently explicit awareness of that fact. The effect has been a severe restriction of our views of space-time,…
Despite the extensive amount of scholarly work done on Indian mathematics in the last 200 years, the conditions under which it originated and evolved is still not clear. Often, one reads the ancient texts with the present concepts and…
In this text I present some problems which led to the introduction of special kinds of graphs as tools for studying singular points of algebraic surfaces. I explain how such graphs were first described using words, and how several…
Differential lambda-calculus was first introduced by Thomas Ehrhard and Laurent Regnier in 2003. Despite more than 15 years of history, little work has been done on a differential calculus with integration. In this paper, we shall propose a…
Recent developments in computer programming and in mathematics suggest that there is a strong case for a new way of introducing programming to enhance the learning of school mathematics. The article describes a collaboration of mathematics…
I describe some deep-seated problems in higher mathematical education, and give some ideas for their solution -- I advocate a move away from the traditional introduction of mathematics through calculus, and towards computation and discrete…
The calculus of variations is a classical subject which has gain throughout the last three hundred years a level of rigor and elegance that only time can give. In this note we show that, contrary to the classical field, available…
Introduced in 2006 by Japaridze, cirquent calculus is a refinement of sequent calculus. The advent of cirquent calculus arose from the need for a deductive system with a more explicit ability to reason about resources. Unlike the more…
One might think that, once we know something is computable, how efficiently it can be computed is a practical question with little further philosophical importance. In this essay, I offer a detailed case that one would be wrong. In…
A sketch of some of the fundamental notions related to the nature of knowledge is offered, with special focus on the role of mathematics and my own opinions. No single idea exposed here is entirely original; indeed, this topic has been…
We present a calculus, called the scheme-calculus, that permits to express natural deduction proofs in various theories. Unlike $\lambda$-calculus, the syntax of this calculus sticks closely to the syntax of proofs, in particular, no names…
This document introduces a generalization of calculus that treats both continuous and discrete variables on an equal footing. This generalization of calculus was developed independently of the "Calculus on Time Scales" literature but may be…
Is collective intelligence just individual intelligence writ large, or are there fundamental differences? This position paper argues that a cognitive history methodology can shed light into the nature of collective intelligence and its…
In this lecture I will talk about three mathematical puzzles involving mathematics and computation that have preoccupied me over the years. The first puzzle is to understand the amazing success of the simplex algorithm for linear…
Sophisticated computation methods were developed 4000 years ago in Mesopotamia in the context of scribal schools. The basics of the computation can be detected in clay tablets written by young students educated in these scribal schools. At…