TRAMA:

LA TEORIA DEGLI INSIEMI – Con semplici esempi, l’autore presenta le diverse relazioni esistenti fra gli elementi di un insieme: la relazione di equivalenza, che porta alla ripartizione in classi, e la relazione di ordine, che porta all’ordinamento degli elementi. Quando gli insiemi sono due, le relazioni esistenti fra gli elementi dei due insiemi sono le corrispondenze, tra le quali le più interessanti sono quelle biunivoche, utilissime per determinare l’equipotenza degli insiemi infiniti. 

LA LOGICA MATEMATICA – Le proposizioni atomiche, i connettivi logici, le tavole di verità portano al Quinto Postulato di Euclide e alle regole di deduzione. La matematica è induzione o deduzione? Entrambe le cose: “l’induzione è lo strumento attraverso cui si sceglie di procedere in una data direzione di ricerca; la deduzione è lo strumento che si utilizza per ‘sistemare’ le teorie matematiche in una forma che dia il massimo di garanzie sul piano logico”.

GRAMMATICHE E LINGUAGGI – Il calcolatore ha prodotto un cambiamento nel lavoro dei matematici, ma per comunicare con il computer è necessario costruire linguaggi ad hoc. I linguaggi artificiali sono semplici e poveri, del tutto privi di ambiguità, progettati a tavolino e disciplinati da rigide regole stabilite a priori. A partire da questi presupposti, l’autore presenta alcuni esempi di linguaggio: le grammatiche a stati finiti con gli automi corrispondenti e le grammatiche libere dal contesto con gli automi a pile.

 

COMMENTO:

La trattazione è chiara e lineare: il lettore è aiutato dalle ricapitolazioni che sono presenti alla fine di ogni paragrafo, per questo anche se l’argomento non è banale, risulta di facile comprensione anche per chi non abbia preparazione matematica.