-
Grundlagen der Arithmetik, 1884). Later, in his
Basic Laws of
Arithmetic (
Grundgesetze der Arithmetik, vol. 1, 1893; vol. 2, 1903; vol. 2 was
published at his...
- (The
Foundations of Arithmetic) and
proven more
formally in his 1893
Grundgesetze der
Arithmetik I (Basic Laws of
Arithmetic I). The
theorem was re-discovered...
-
about the
paradox just as
Frege was
preparing the
second volume of his
Grundgesetze der Arithmetik.
Frege responded to
Russell very quickly; his
letter dated...
-
constructive mathematics and non-standard analysis. Frege,
Gottlob (1893).
Grundgesetze der
Arithmetik (in German). Vol. 1. Jena:
Hermann Pohle.
Partial translation:...
- The
Foundations of
Arithmetic (German: Die
Grundlagen der Arithmetik) is a book by
Gottlob Frege,
published in 1884,
which investigates the philosophical...
- The
Convenience of the Typesetter;
Notation and
Typography in Frege’s
Grundgesetze der Arithmetik,
Bulletin of
Symbolic Logic 21 (2015): 13-30, fn. 17 [1]...
-
proving that the
fragment of Frege's
inconsistent logical theory of
Grundgesetze der
Arithmetik becomes consistent upon
restricting the
complexity of...
-
paradox identifying an
inconsistency in Frege's
system set out in the
Grundgesetze der Arithmetik. Note that
naive set
theory also
suffers from this difficulty...
-
realize this
program failed, from the
crippling of Frege's
project in his
Grundgesetze by Russell's paradox, to the
defeat of Hilbert's
program by Gödel's incompleteness...
-
outlined in
Begriffsschrift (1879) and more
fully developed in his 2-volume
Grundgesetze der
Arithmetik (1893/1903). This
described a "formal
language of pure...