Live data from Hacker News

Principia Mathematica is modern and insightful

okmij.org

171–175 of 175 posts

Re: Principia Mathematica is modern and insightful

#171

I have a copy and like it much. However, i was always partial to Frege's Begriffschrift. His notation was really creative. It's a shame Russel's deflation of that project has sentenced it to the rubbish heap of history.

You are confusing his book Begriffsschrift ("concept notation"), where he invented what became modern predicate logic, and his later work "Grundgesetze der Arithmetik" (I/II) which (unsuccessfully) tried to derive arithmetic from purely logical notions, and which made heavy use of the Begriffsschrift.

No I'm not. Russell spied the paradox in the Begriffscrift. One only needs to check the wikipedia page, even:

> he announced the discovery to Gottlob Frege of the paradox in Frege's 1879 Begriffsschrift

https://en.wikipedia.org/wiki/Russell%27s_paradox

Re: Principia Mathematica is modern and insightful

#172

"Principia Mathematica is an odd book, worth looking into from a historical point of view as well as a mathematical one. It was written around 1910, and mathematical logic was still then in its infancy, fresh from the transformation worked on it by Peano and Frege. The notation is somewhat obscure, because mathematical notation has evolved substantially since then. And many of the simple techniques that we now take f…

Have someone refactored it into a more concise and modern version?

[deleted]

Re: Principia Mathematica is modern and insightful

#174

"Principia Mathematica is an odd book, worth looking into from a historical point of view as well as a mathematical one. It was written around 1910, and mathematical logic was still then in its infancy, fresh from the transformation worked on it by Peano and Frege. The notation is somewhat obscure, because mathematical notation has evolved substantially since then. And many of the simple techniques that we now take f…

Have someone refactored it into a more concise and modern version?

[dead]
Post reply on HN