最終更新日:2022/12/24
There have been several classical constructions of the reals that avoid these problems, the most famous ones being Dedekind Cuts and Cauchy Sequences, named respectively for the mathematicians Richard Dedekind (1831 - 1916) and Augustine Cauchy (1789 - 1857). We will not discuss these constructions here, but will use a more modern one developed by Gabriel Stolzenberg, based on interval arithmetic.
編集履歴(0)
元となった例文
There
have
been
several
classical
constructions
of
the
reals
that
avoid
these
problems,
the
most
famous
ones
being
Dedekind
Cuts
and
Cauchy
Sequences,
named
respectively
for
the
mathematicians
Richard
Dedekind
(1831
-
1916)
and
Augustine
Cauchy
(1789
-
1857).
We
will
not
discuss
these
constructions
here,
but
will
use
a
more
modern
one
developed
by
Gabriel
Stolzenberg,
based
on
"interval
arithmetic."