1
$\begingroup$

In Godel's Incompleteness Theorem, his theorem is about a system of logic. Where can I find more about this study, especially the notation?

EDIT

I mean logic about systems in general. I worded the above a bit wrong.

  • 0
    It will not be much fun, the system is Principia, not current first-order logic. Also, he leaves out most of the detail.2012-12-14
  • 1
    @AndréNicolas That's a bit misleading. Gödel 1931 explicitly shows that his argument applies to *any* formal theory satisfying certain very general conditions (as we would put it, the system is primitive-recursively axiomatized and represents all primitive recursive functions). And the detail for this general version of the First Theorem is all there.2012-12-14
  • 0
    Do you want to learn about formal logical systems or Godel's theorem?2013-02-06
  • 0
    Formal Logic Systems. Not any in particular, just in general. I do know that Gödel's theorems dealt with them in general. That is why I referenced his work.2013-02-07

1 Answers 1

4

Try Gödel Without Tears freely downloadable at http://www.logicmatters.net/resources/pdfs/gwt/GWT.pdf

Or get out of the library a copy of my Introduction to Gödel's Theorems.