Notation as a Tool of Thought (1979) (jsoftware.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of jsoftware.com: Notation as a Tool of Thought (1979)

First screen, captured 1 year ago.

Looks similar

Screenshot of spakhm.com: Decoding Leibniz Notation (2024)

Decoding Leibniz Notation (2024)(spakhm.com)

37 points by coffeemug 11 months ago | 7 comments

Screenshot of okmij.org: Principia Mathematica is modern and insightful

Principia Mathematica is modern and insightful (okmij.org)

254 points by matt_d 2 months ago | 135 comments

Screenshot of people.vcu.edu: Book of Proof (2018)

Book of Proof (2018)(people.vcu.edu)

51 points by kaladin-jasnah 3 years ago | 8 comments

Screenshot of obrhubr.org: Estimating Logarithms

Estimating Logarithms (obrhubr.org)

85 points by surprisetalk 1 year ago | 21 comments

Screenshot of susam.net: Lemma for the Fundamental Theorem of Galois Theory

Lemma for the Fundamental Theorem of Galois Theory (susam.net)

126 points by susam 1 year ago | 33 comments

Screenshot of orwell.ru: Second Thoughts on James Burnham (1946)

Second Thoughts on James Burnham (1946)(orwell.ru)

25 points by allthebest 3 years ago | 5 comments