Kept reading Richard Penner's work on Frege's Begriffsschrift yesterday evening.L I compared it with the original text. It is very good. It really helps to read Frege's pamphlet. Especially because he uses two-dimension diagrams to write down formula. So they are hard to read at first.
My idea of formalizations very close to the text in order to help reading the original texts seems to be validated. I propose that a historical section with this material is made. -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/253b39b3-d06c-4d33-bb9a-817e9840f480o%40googlegroups.com.
