Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 16

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
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 enough that we can focus on specific methodological questions, such as (a) what makes a set of propositions a theory, (b) what are the specific objectives of the discussed theories, (c) what are their common features. In spite of many years' experience in teaching Euclid's geometry combined with methodological investigations, we cannot offer any empirical findings on how these lectures have affected the students' views on what a mathematical theory is. Therefore, we can only speculate on the hypothetical impact of these lectures on students.
4
100%
PL
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 functions. In this paper, we developthe idea of algebraic proof further towards a purely algebraic proof of theintermediate value theorem for real polynomials. In our proof, we neither usethe notion of continuous function nor refer to any theorem of real and complexanalysis. Instead, we apply techniques of modern algebra: we extend thefield of real numbers to the non-Archimedean field of hyperreals via an ultraproductconstruction and explore some relationships between the subringof limited hyperreals, its maximal ideal of infinitesimals, and real numbers.
11
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

O ciałach uporządkowanych

100%
PL
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.
12
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Euclid’s theory of proportion revised

64%
PL
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ż pokażemy nową metodę dowodzenia twierdzeń geometrycznych (szczególnie twierdzeń z ksiegi VI Elementów Euklidesa), w której pole trójkąta wystepuje w dowodach (szczególnie w proporcji) jako element pierwotny (wzór na pole trójkąta wprowadza się, jako aksjomat). Podobną metodę stosował Euklides na objektach geometrycznych bez użycia liczb. W omawianej teorii pole trójkąta jest liczbą, a twierdzenie VI.1 Elementów, podstawowe dla teorii Euklidesa, jest przyjmowane jako aksjomat. W artykule również omówimy mało znaną własność, która jest modyfikacją twierdzenia VI.1: w miejsce proporcji trójkątów o wspólnej wysokości, wykorzystuje proporcje trójkątów o wspólnej podstawie.
13
64%
EN
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 one considers the idea of the algebraic group (G,+, 0) alone. Through the analysis of source texts, we show that the first model originates in John Wallis’ 1685 Treatise of Algebra, while the second one comes to form the theory of polynomials, as developed by Descartes in his 1637 La Géométrie. In mathematical education, the first model is applied in the overwhelming majority. Still, we identify a theory that applies to the second model. We show how to develop it further and simplify the representation of the operation a + (−a) = 0 by turning the second model into a tablet game.
PL
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 one considers the idea of the algebraic group (G,+, 0) alone. Through the analysis of source texts, we show that the first model originates in John Wallis’ 1685 Treatise of Algebra, while the second one comes form the theory of polynomials, as developed by Descartesin his 1637 La Géométrie. In mathematical education, the first model is applied in the overwhelming majority. Still, we identify a theory that applies to the second model. We show how to develop it further and simplify the representation of the operation a + (−a) = 0 by turning the second modelin to a tablet game.
14
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Calculus without the concept of limit

64%
PL
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 relies on a different intuitivebackground, it provides an alternative approach. While in standard analysisan intuition of being close is represented by the notion of limit, in nonstandardanalysis it finds its expression in the relation is infinitely close. Asa result, while standard courses focus on the " − technique, we explorean algebra of infinitesimals. In this paper, we offer a proof of the theoremon the equivalency of limits and infinitesimals, showing that calculus can bedeveloped without the concept of limit.
15
64%
EN
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.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.