Re:Whitehead and Russell’s Principia rewritten in Coq
by lisper on Sunday December 05, 2021 @11:20PM
(#29456101)
Oh, I was well aware of that, but that is just a small part of the story. What I was wondering is the details of the process by which R&W got the ideas out of their heads and into the metal. Surely they didn't carve the typeface by hand themselves?
[ Parent
| on HN ]
Re:Whitehead and Russell’s Principia rewritten in Coq
by pseudonymcoward on Monday December 06, 2021 @06:39AM
(#29458501)
I believe that they would have written the manuscript, probably by hand but possibly aided by a typewriter, and then given it to a typographer (probably one with experience working on mathematical material) who would have typeset it, cutting any new symbols required.
I'm not a historian but this seems like the only plausible process given the technology around at the time.
Re:Whitehead and Russell’s Principia rewritten in Coq
by dwheeler on Monday December 06, 2021 @11:14AM
(#29461541)
Yes, generally the mathematician would write the manuscript & others would turn it into a printable form. IIRC, some people (typographers) created moveable type with math symbols that would then be set in place by a typesetter; if that wouldn't work, a plate for a page would be created. Very expensive & laborious.
I believe that the "backward-E" and later the "upside-down-A" are that way because then you did NOT need to create a new metal symbol; you could simply reuse a capital E and A and put them in upside down. I can't find a citation for this. There's other history here: https://jeff560.tripod.com/set.html