Libro acquistabile con carte di credito e carte prepagate Postepay.

     

    Libro acquistabile con Carta Docente.

     

    Libro acquistabile con Carta Cultura Giovani e Carta del Merito.

     

    Libro acquistabile in tre rate mensili Klarna.

     

    Il costo del libro sarà addebitato solo all’avvio della consegna.

     

    Scegli il punto di ritiro dei libri più comodo.

    Sull'indimostrabilità interna della verità e sull'incompletezza dei sistemi formali. Studio, critica alle correnti anti-godelian

    Riferimento: 9791222814575

    Editore: ilmiolibro self publishing
    EAN: 9791222814575
    isbook: 1
    Autore: Bufacchi Enrico Maria
    Collana: La community di ilmiolibro.it
    In commercio dal: 16 Dicembre 2025
    Pagine: 88
    Formato: Libro in brossura
    Non disponibile
    12,00 €
    IVA inclusa
    Quantità
    Non disponibile

    Ricordati che otterrai la ricompensa del 5 per cento del prezzo di copertina quando acquisterai una copia di questo libro. La ricompensa potrà essere utilizzata per pagare i tuoi prossimi acquisti, oppure essere convertita in codici voucher o bonificata sul tuo conto bancario.
    Aderisci al nostro programma di affiliazione per proporre la vendita di questo libro. Guadagnerai commissioni ogni volta che ne favorirai la vendita.
    Iscriviti al programma di affiliazione
    Chiudere

    Descrizione

    Questo volume studia i confini strutturali del dimostrare. Dal nucleo godeliano - indimostrabilità interna della verità e seconda incompletezza - si apre una trama che intreccia indipendenze aritmetiche (Goodstein, Hydra), gerarchie di riflessione e logica della provabilità, fino al forcing e all'indipendenza di CH. La prospettiva si allarga alla logica interna dei topos e alla non-invarianza dei giudizi di verità attraverso i punti, evidenziando la tensione tra verità interna e valutazione esterna. Il Lemma di Bufacchi chiarisce concettualmente perché la completezza algoritmica e l'invarianza globale collassino in presenza di vincoli formali. Ne risulta una mappa coerente dei limiti e delle potenze dei sistemi formali, utile a logici, set theorists e filosofi della matematica alla ricerca di una trattazione avanzata e rigorosa.
    E-book non acquistabile