×
Create a new article
Write your page title here:
We currently have 3,189 articles on s23. Type your article name above or create one of the articles listed here!



    s23
    3,189Articles
    in:

    Gödel: Difference between revisions

    Content added Content deleted
    imported>mutante
    mNo edit summary
     
    imported>mutante
    mNo edit summary
    Line 1: Line 1:
    === Erster Unvollständigkeitssatz ===

    Erster Unvollständigkeitssatz


    '''Wenn die axiomatische Mengentheorie widerspruchsfrei ist, gibt es Sätze, die weder bewiesen noch widerlegt werden können.'''
    '''Wenn die axiomatische Mengentheorie widerspruchsfrei ist, gibt es Sätze, die weder bewiesen noch widerlegt werden können.'''


    Zweiter Unvollständigkeitssatz
    === Zweiter Unvollständigkeitssatz ===


    '''Es gibt kein konstruktives Verfahren, mit dem zu beweisen wäre, daß die axiomatische Theorie widerspruchsfrei ist.'''
    '''Es gibt kein konstruktives Verfahren, mit dem zu beweisen wäre, daß die axiomatische Theorie widerspruchsfrei ist.'''




    "''Im Kern besagt Gödels erste Feststellung, daß es '''immer Fragen geben wird, die die Mathematik nicht beantworten kann''', welche Menge von Axiomen auch immer verwendet wird - Vollständigkeit kann nie erreicht werden. Schlimmer noch, die zweite Feststellung ebsagt, die '''Mathematiker könnten sich nicht einmal sicher sein, daß ihre Axiomenwahl nicht zu Widersprüchen führt - die Widerspruchsfreiheit könne nie bewiesen werden'''..''"
    "''Im Kern besagt Gödels erste Feststellung, daß es '''immer Fragen geben wird, die die Mathematik nicht beantworten kann''', welche Menge von Axiomen auch immer verwendet wird - Vollständigkeit kann nie erreicht werden. Schlimmer noch, die zweite Feststellung ebsagt, die '''Mathematiker könnten sich nicht einmal sicher sein, daß ihre Axiomenwahl nicht zu Widersprüchen führt - die Widerspruchsfreiheit könne nie bewiesen werden'''..''" (aus: [[Letzter Satz des Fermat]], S.173)


    [[Category:Math]]
    [[Category:Math]]

    Revision as of 04:37, 7 August 2006

    Erster Unvollständigkeitssatz

    Wenn die axiomatische Mengentheorie widerspruchsfrei ist, gibt es Sätze, die weder bewiesen noch widerlegt werden können.

    Zweiter Unvollständigkeitssatz

    Es gibt kein konstruktives Verfahren, mit dem zu beweisen wäre, daß die axiomatische Theorie widerspruchsfrei ist.


    "Im Kern besagt Gödels erste Feststellung, daß es immer Fragen geben wird, die die Mathematik nicht beantworten kann, welche Menge von Axiomen auch immer verwendet wird - Vollständigkeit kann nie erreicht werden. Schlimmer noch, die zweite Feststellung ebsagt, die Mathematiker könnten sich nicht einmal sicher sein, daß ihre Axiomenwahl nicht zu Widersprüchen führt - die Widerspruchsfreiheit könne nie bewiesen werden.." (aus: Letzter Satz des Fermat, S.173)

    Cookies help us deliver our services. By using our services, you agree to our use of cookies.
    Cookies help us deliver our services. By using our services, you agree to our use of cookies.