한
A likeness-informed AI editorial scene of Frege testing an ivory function-argument apparatus, three correspondence routes, and an extension loop that will not close
AI editorial interpretation

Trying to ground arithmetic in logic, then publishing the crack

The face uses a surviving photograph. The scene compresses the 1879 Begriffsschrift and the appendix after Russell's 1902 letter without retrojecting today's universal and existential glyphs or treating one paradox as invalidating all Fregean predicate logic.

MathVoyage editorial direction · OpenAI image generation · historical photograph identity reference · precise generated-text and numeral removal edit · 2026-08-07

Remember the mind, not only the dates

Gottlob Frege

AD 1848 - AD 1925
Thinking ground · Jena
Born · Wismar
Nineteenth-Century MathematicsBranches of function and argumentAn apparatus from logic to arithmeticRussell's letter and the public appendix

Enter through one scene

AD 1879

Begriffsschrift — a foundation of modern predicate logic

While Frege taught at Jena, Louis Nebert published the work in Halle. It formalized quantification and function–argument analysis, laying foundations for modern predicate logic, but it did not use today's ∀/∃ glyphs and should not be credited with Frege's later mature truth-value theory.

Questions this person helps open

Concept ports to revisit, not another achievement list

These are reverse projections of existing editorial routes, not claims of direct influence or sole invention.

No concept port has yet been reviewed for this person.

Browse every concept route

PROFILE 02 · DEEP VOYAGE

How Gottlob Frege’s ideas moved

Instead of memorizing more dates, follow the world that shaped this mind, the scenes that changed its direction, and the questions carried onward.

CHAPTER 01 · PERSON AND PERIOD

What questions surrounded Gottlob Frege?

Before the finished achievement, read what this person treated as a problem and where the surviving evidence reaches its limit.

About 1 min read

In June 1902, when a letter arrived from 30-year-old Bertrand Russell in Cambridge, volume II of Frege's Grundgesetze der Arithmetik was in press. Russell's briefly stated paradox exposed an inconsistency tied to Basic Law V. Earlier, while Frege taught at Jena, Louis Nebert had published Begriffsschrift in Halle in 1879. It formalized quantification and function–argument analysis, laying foundations for modern predicate logic. Frege did not use the modern ∀/∃ glyphs there, and his mature treatment of truth-values belongs to later work. Few contemporaries read the book, but Russell, Husserl, and others carried its ideas forward.

CHAPTER 02 · TURNING SCENES

3 turning scenes

Follow the moments when the idea moved one step further. Every scene continues through an evidenced place or an honestly labelled time context.

  1. Scene 1 / 3

    AD 1879Halle

    Begriffsschrift — a foundation of modern predicate logic

    While Frege taught at Jena, Louis Nebert published the work in Halle. It formalized quantification and function–argument analysis, laying foundations for modern predicate logic, but it did not use today's ∀/∃ glyphs and should not be credited with Frege's later mature truth-value theory.

    Continue from this scene's place

  2. Scene 2 / 3

    AD 1893Jena

    Grundgesetze I — the attempt to reduce mathematics to logic

    In volume I of the Basic Laws of Arithmetic, Frege treated the number of a concept F as the extension of the concept equinumerous with F, seeking to derive arithmetic from logic. Russell’s 1902 letter exposed the contradiction tied to Basic Law V, which governed extensions.

    Continue from this scene's place

  3. Scene 3 / 3

    AD 1902Jena

    Russell's letter — exposing the problem with Basic Law V

    On 16 June 1902, 30-year-old Russell wrote from Cambridge to explain the briefly stated paradox he had discovered in 1901. Frege publicly acknowledged the problem with his system in an appendix to Grundgesetze II.

    Continue from this scene's place

THOUGHT EXPERIMENT · NOT A FACT CLAIM

Erase Gottlob Frege from the map

This is a thought experiment about influence, not a verified historical fact.

Frege's Begriffsschrift (1879) presented a formal language combining quantification with function–argument analysis and laid foundations for modern predicate logic. It became an important antecedent for Russell's logicism, Hilbert's proof theory, and later work by Gödel, Church, and Turing on logic and computation. Russell's 1902 letter exposed the contradiction tied to Basic Law V, which Frege discussed publicly in an appendix to volume II of Grundgesetze.

STANDING ON SHOULDERS · EVIDENCED CONNECTIONS

What arrived here, and what moved onward?

We do not draw a line merely because two people shared an era. Only connections traced through works, problems, or teaching appear with an explanation and evidence.

Open the full network around Gottlob Frege
Gottlob Frege

Gottlob Frege

Nineteenth-Century Mathematics

Received 0Passed on 1

What later generations carried onward

Bertrand Russell
InfluencedBertrand Russell

Inheriting logicism—and finding its contradiction

Russell embraced Frege’s logicist program but informed him in a 1902 letter of the paradox inside the system—an edge of inheritance and refutation at once.

Evidence for this connection

Beyond MathVoyage

Curated sources and problems. Bring one discovery back from OEIS, Project Euler, MathOverflow, or arXiv.