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

Bufacchi Enrico Maria | ilmiolibro self publishing 2026

Attualmente non disponibile

A partire da

13,50 €

Descrizione

Questo volume studia i confini strutturali del dimostrare. Dal nucleo godeliano - indimostrabilita interna della verita e seconda incompletezza - si apre una trama che intreccia indipendenze aritmetiche (Goodstein, Hydra), gerarchie di riflessione e logica della provabilita, fino al forcing e all'indipendenza di CH. La prospettiva si allarga alla logica interna dei topos e alla non-invarianza dei giudizi di verita attraverso i punti, evidenziando la tensione tra verita interna e valutazione esterna. Il Lemma di Bufacchi chiarisce concettualmente perche 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.

Dettagli

  • Autore:
  • Editore:
  • Collana:
  • Anno edizione:
  • Bufacchi Enrico Maria
  • ilmiolibro self publishing
  • La community di ilmiolibro.it
  • 2026
  • In commercio dal:
  • Pagine:
  • Lingua:
  • EAN:
  • 5 febbraio 2026
  • 120 p.
  • ITA
  • 9791222815787

Ti potrebbe interessare anche

Librerie di Roma | Sull'indimostrabilità interna della verità e sull'incompletezza dei sistemi formali. Studio, critica alle correnti anti-godeliane e teorizzazione
logo regione