Timeline for How to get the modern logic formulas in Principia Mathematica
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 9, 2013 at 10:22 | comment | added | JRN | This might be useful: us.metamath.org/mpegif/pm54.43.html | |
| S Jul 9, 2013 at 0:35 | history | suggested | jeq | CC BY-SA 3.0 |
Two spelling errors
|
| Jul 9, 2013 at 0:17 | review | Suggested edits | |||
| S Jul 9, 2013 at 0:35 | |||||
| Jul 8, 2013 at 23:07 | review | Suggested edits | |||
| Jul 8, 2013 at 23:14 | |||||
| Dec 11, 2012 at 23:21 | comment | added | Carl Mummert | Bernard Linsky writes in his article on the notation of Principia that rewriting it in modern notation would "drastically alter the very content of the book". Perhaps this is why those who are familiar with the book have not published translations into modern notation. plato.stanford.edu/entries/pm-notation | |
| Dec 10, 2012 at 12:07 | comment | added | Xingxing He | Or futher, Who has converted these orginal formulas to conjunctive normal forms, even in Propositional logic? I want to use it as an benchmark. | |
| Dec 10, 2012 at 11:49 | history | asked | Xingxing He | CC BY-SA 3.0 |