Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

share|improve this question
    
It will not be much fun, the system is Principia, not current first-order logic. Also, he leaves out most of the detail. –  André Nicolas Dec 14 '12 at 21:50
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. –  Peter Smith Dec 14 '12 at 22:37
    
Do you want to learn about formal logical systems or Godel's theorem? –  Kaveh Feb 6 '13 at 21:52
    
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. –  PyRulez Feb 7 '13 at 23:11

1 Answer 1

up vote 4 down vote accepted
+50

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.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.