The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In his 1887's Mitteilungen zur Lehre von Transfiniten, Cantor seeks to prove inconsistency of infinitesimals. We provide a detailed analysis of his argument from both historical and mathematical perspective. We show that while his historical analysis are questionable, the mathematical part of the argument is false.
Teoria pola po raz pierwszy została opisana w pracy Chou, Gao, Zhang w 1994 roku. W kolejnej pracy (Janicic, Narboux, Quaresma 2012) zaprezentowano nowy system aksjomatów teorii pola i program przeznaczony do automatycznego dowodzenia twierdzen. W artykule chcemy przedstawić interpretację teorii pola w geometrii analitycznej na płaszczyznie kartezjanskiej R×R z porządkiem leksykograficznym. Również...
We present two sets of lessons on the history of mathematics designed for prospective teachers: (1) Euclid's Theory of Area, and (2) Euclid's Theory of Similar Figures. They aim to encourage students to think of mathematics by way of analysis of historical texts. Their historical content includes Euclid's Elements, Books I, II, and VI. The mathematical meaning of the discussed propositions is simple...
19th-century real analysis received a major impetus from Cauchy's work. Cauchy mentions variable quantities, limits, and infinitesimals, but the meaning he attached to these terms is not identical to their modern meaning. Some Cauchy historians work in a conceptual scheme dominated by an assumption of a teleological nature of the evolution of real analysis toward a preordained outcome. Thus, Gilain...
We identify two ways of introducing negative numbers. In the first one, a totally ordered set (L, $\prec $) is presupposed, an element 0 in L is arbitrarily taken, and a number a is negative when a 0. In the second one, a negative number is defined by the formula a + (−a) = 0. From a mathematical perspective, the first method involves the idea of a totally ordered group (G,+, 0,<), while the second...
In this paper, we present some basic facts concerning ordered fields. We review definitions of an ordered field, give an example of a field that admits many orderings, and present equivalent definitions of the axiom of Archimedes and the continuity axiom. We show how to extend an ordered field by means of an ultrapower construction and formal power series.
Proofs of the fundamental theorem of algebra can be divided upinto three groups according to the techniques involved: proofs that rely onreal or complex analysis, algebraic proofs, and topological proofs. Algebraicproofs make use of the fact that odd-degree real polynomials have real roots.This assumption, however, requires analytic methods, namely, the intermediatevalue theorem for real continuous...
There are two different approaches to nonstandard analysis: semantic(model-theoretic) and syntactic (axiomatic). Both of these approachesrequire some knowledge of mathematical logic. We present a method basedon an ultrapower construction which does not require any mathematical logicprerequisites. On the one hand, it is a complementary course to a standardcalculus course. On the other hand, since it...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.