- on 21 May 2013.
Gottfried Gabriel,
Wolfgang Kienzler (editors): "Gottlob
Freges politisches Tagebuch". In:
Deutsche Zeitschrift für Philosophie, vol. 42...
-
Frege is a surname.
Notable people with the
surname include:
Andreas Frege, German-British punk rock
singer Carola Frege (born 1965),
German scholar Élodie...
- In
metalogic and metamathematics,
Frege's theorem is a
metatheorem that
states that the
Peano axioms of
arithmetic can be
derived in second-order logic...
- judgment.[citation needed] The
Frege–Geach
problem –
named for
Peter Geach, who
developed it from the
writings of
Gottlob Frege –
claims that by subscribing...
-
Frege's puzzles are
puzzles about the
semantics of
proper names,
although related puzzles also
arise in the case of indexicals.
Gottlob Frege (1848–1925)...
-
inference rules.
Frege systems (more
often known as
Hilbert systems in
general proof theory) are
named after Gottlob Frege. The name "
Frege system" was first...
-
rules used to
combine them. The
principle is also
called Frege's principle,
because Gottlob Frege is
widely credited for the
first modern formulation of...
- Hilbert–Ackermann system, is a type of
formal proof system attributed to
Gottlob Frege and
David Hilbert.
These deductive systems are most
often studied for first-order...
- Arithmetik) is a book by
Gottlob Frege,
published in 1884,
which investigates the
philosophical foundations of arithmetic.
Frege re****es
other idealist and...
-
constructed by the
German philosopher and
mathematician Gottlob Frege,
hence undermining Frege's attempt to
reduce mathematics to
logic and
calling into question...
