Section: (23/03/2021 h.9/11--24/03/2021 h.11/13) Introduz. veloce al 10.o problema di Hilbert | 204SM - LOGICA 2020

Section outline

- Select activity Julia Robinson e il 10.o problema di Hilbert
  
  Julia Robinson e il 10.o problema di Hilbert File PDF
- Select activity Vari esercizi sul X problema di Hilbert e sui predicati diofantei polinomiali
  
  Vari esercizi sul X problema di Hilbert e sui predicati diofantei polinomiali File PDF
  
  Si tratta per lo piú di esercizi che già comparivano nell'introduzione al 10.o problema di Hilbert riportata qui sopra; ma ce ne sono anche alcuni di nuovi.
- Select activity Qualche breve richiamo sulla biiezione di Cantor, oggi surclassata dalla famiglia di polinomi di Kosovskij su cui verte l'esercizio 6 della lista proposta qui sopra
  
  Qualche breve richiamo sulla biiezione di Cantor, oggi surclassata dalla famiglia di polinomi di Kosovskij su cui verte l'esercizio 6 della lista proposta qui sopra File TXT
- Select activity Riduzione del 10.o problema di Hilbert (riferito ai numeri naturali) al suo sottoproblema in cui il grado dei polinomi non supera 4
  
  Riduzione del 10.o problema di Hilbert (riferito ai numeri naturali) al suo sottoproblema in cui il grado dei polinomi non supera 4 File PDF
  
  Con una simile tecnica di riduzione, anche il problema della soddisfacibilità di enunciati della logica proposizionale (scritti impiegando liberamente tutti i connettivi usuali --- negazione, congiunzione, disgiunzione, implicazione materiale, biimplicazione) può venir ricondotto al problema della soddisfacibilità di enunciati scritti in forma 3CNF (congiunzioni di disgiunzioni di letterali, con esattamente tre letterali in ciascuna delle disgiunzioni).