0

Meu carrinho

    Favoritar

    PROOF THEORY - THE FIRST STEP INTO IMPREDICATIVITY

    Ref:
    628923

    Por: R$ 540,66ou X de

    Comprar

    Para envios internacionais, simule o frete no carrinho de compras.

    Sinopse

    This book verifies with compelling evidence the author’s inclination to "write a book on proof theory which needs no previous knowledge of proof theory". Avoiding the cryptic terminology of proof as far as possible, the book starts at an elementary level and displays the connections between infinitary proof theory and generalized recursion theory, especially the theory of inductive definitions. As a "warm up" the classical analysis of Gentzen is presented in a more modern terminology to proceed with explaining and proving the famous result by Feferman and Schütte on the limits of predicativity. The author, too, provides an introduction to ordinal arithmetic, introduces the Veblen hierarchy and employs these functions to design an ordinal notation system for the ordinals below Epsilon 0 and Gamma 0, while emphasizing the first step into impredicativity, i.e., the first step beyond Gamma 0.
    Mostrar mais

    Ficha técnica

    Especificações

    ISBN9783540693185
    Pré vendaNão
    Peso418g
    Autor para link
    Livro disponível - pronta entregaNão
    Tipo itemLivro Importado
    Número de páginas374
    Número da edição1ª EDIÇÃO - 2008
    Código Interno628923
    Código de barras9783540693185
    AcabamentoPAPERBACK
    AutorPOHLERS, WOLFRAM
    EditoraSPRINGER VERLAG
    Sob encomendaSim

    Este livro é vendido

    SOB ENCOMENDA

    Prazo estimado para disponibilidade em estoque: dias úteis

    (Sujeito aos estoques de nossos fornecedores)

    +

    Prazo do frete selecionado.

    (Veja o prazo total na sacola de compras)

    Comprar