Beweisbarkeitslogik: -- Godel, Rosser, Solovay -- [German]

By Christopher von B|low

Kurt Godel erschutterte 1931 die mathematische Welt mit seinem Unvollstandigkeitssatz. Godel zeigte, wie fur jedes noch so starke formale System der Arithmetik ein Satz konstruiert werden kann, der... This description may be from another edition of this product.

• Format: Paperback
• Language: German
• ISBN: 3832512950
• ISBN13: 9783832512958
• Release Date: August 2006
• Publisher: Logos Verlag Berlin
• Length: 312 Pages