L’articolo è stato aggiunto alla lista dei desideri
LIBRO
E-mail
Facebook
LinkedIn
Twitter
WhatsApp
Sull'indimostrabilità interna della verità e sull'incompletezza dei sistemi formali. Studio, critica alle correnti anti-godeliane e teorizzazione
(0)
Cliccando su “Conferma” dichiari che il contenuto da te inserito è conforme alle Condizioni Generali d’Uso del Sito ed alle Linee Guida sui Contenuti Vietati. Puoi rileggere e modificare e successivamente confermare il tuo contenuto. Tra poche ore lo troverai online (in caso contrario verifica la conformità del contenuto alle policy del Sito).
Grazie per la tua recensione!
Tra poche ore la vedrai online (in caso contrario verifica la conformità del testo alle nostre linee guida). Dopo la pubblicazione per te +4 punti 
11,40 €
-5%
12,00 €
+110
punti
Venditore: IBS
Articolo acquistabile con Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Dati e Statistiche
Salvato in 0 liste dei desideri
Salvato in 0 liste dei desideri
Sull'indimostrabilità interna della verità e sull'incompletezza dei sistemi formali. Studio, critica alle correnti anti-godeliane e teorizzazione
Disponibilità in 10 gg lavorativi
11,40 €
-5%
12,00 €
11,40 €
12,00 €
-5%
Disponibilità in 10 gg
Altre offerte vendute e spedite dai nostri venditori
Libri
Sull'indimostrabilità interna della verità e sull'incompletezza dei sistemi formali. Studio, critica alle correnti anti-godeliane e teorizzazione
Altri venditori
Prezzo e spese di spedizione
Nuovo
disponibilità in 10 gg lavorativi
Venduto e spedito da
IBS
disponibilità in 10 gg lavorativi
Spedizione Gratis
-5%
12,00 €
11,40 €
Altri venditori
Prezzo e spese di spedizione
Nuovo
disponibilità in 10 gg lavorativi
Venduto e spedito da
IBS
disponibilità in 10 gg lavorativi
Spedizione Gratis
-5%
12,00 €
11,40 €
Altri venditori
Prezzo e spese di spedizione
Tutti i formati ed edizioni
Promo attive (0)
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.
Leggi di più
Leggi di meno
Autore:
Editore:
Collana:
Anno edizione:
2025
In commercio dal:
16 dicembre 2025
Tipo:
Libro universitario
Pagine:
88 p., Brossura
EAN:
9791222814575
L'articolo è stato aggiunto al carrello
Informazioni e Contatti sulla Sicurezza dei Prodotti
Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da IBS, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.ibs.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.
Per informazioni sulla sicurezza dei prodotti, contattare productsafetyibs@feltrinelli.it
L’articolo è stato aggiunto alla lista dei desideri
