Typesetting the "begriffsschrift" by Gottlob Frege in Plain Tex [pdf]

Postedabout 2 months agoActiveabout 2 months ago

perihelions

45 points

4 comments

tug.orgResearchstory

calmpositive

Debate

0/100

LogicTypesettingHistory of Mathematics

Key topics

Logic

Typesetting

History of Mathematics

The article discusses typesetting Gottlob Frege's 'Begriffsschrift' using Plain TeX, highlighting its significance in the history of logic, with commenters appreciating its importance as the first formal notation for second-order logic.

Snapshot generated from the HN discussion

Discussion Activity

Light discussion

First comment

50m

Peak period

Day 9

Avg / period

2.5

Key moments

01Story posted
Nov 11, 2025 at 5:22 PM EST
about 2 months ago
Step 01
02First comment
Nov 11, 2025 at 6:12 PM EST
50m after posting
Step 02
03Peak activity
4 comments in Day 9
Hottest window of the conversation
Step 03
04Latest activity
Nov 20, 2025 at 3:40 PM EST
about 2 months ago
Step 04

Generating AI Summary...

Analyzing up to 500 comments to identify key contributors and discussion patterns

Discussion (4 comments)

Showing 5 comments

lapcat

about 2 months ago

Way back in my university days, we wrote Begriﬀsschrift proofs by hand in logic class.

fjfaase

about 2 months ago

Begriffsschift was the first formal notation for second order logic.

David-Henrry

about 2 months ago

Typesetting Frege's Begriffsschrift in Plain TeX demands custom macros for unique logical notation, tall fractional symbols, and vertical alignment; font choices and macro design preserve semantic clarity and historical accuracy.

jgalt212

about 2 months ago

There should be a list of the most complicated docs ever typeset in LaTeX or TeX. I'm sure this one is up there.

jjgreen

about 2 months ago

Easier in LaTeX

View full discussion on Hacker News

ID: 45893696Type: storyLast synced: 11/21/2025, 7:02:03 PM

Want the full context?