Il Game of Life è un automa cellulare bidimensionale definito su una griglia infinita di celle, ciascuna in uno di due stati (viva/morta). L’evoluzione è governata da tre regole elementari basate sul numero di vicini…
Read More
Nel 1936, un matematico di Cambridge di 24 anni di nome Alan Turing pubblicò un articolo che avrebbe posto le fondamenta teoriche dell’intero campo dell’informatica, anni prima che venisse costruito un computer general-purpose. Intitolato “Sui…
Nel 1931 il logico austriaco Kurt Gödel pubblicò un risultato che avrebbe scosso i fondamenti della matematica: i teoremi di incompletezza. Fino ad allora, matematici come David Hilbert nutrivano la speranza di costruire un sistema…
Definizione generale. Le funzioni ricorsive primitive sono una classe di funzioni matematiche definite su numeri naturali (ℕ → ℕ, o più generalmente ℕⁿ → ℕ) costruite a partire da un insieme minimo di funzioni di…
Che cos’è la logica del primo ordine? La logica del primo ordine (o logica dei predicati del primo ordine, LPO) è un sistema formale che estende la logica proposizionale introducendo: quantificatori: universale (∀, “per ogni”)…
Qual è l’uso evoluto del foglio di calcolo nella modellizzazione di realtà aziendali e nella risoluzione di problemi nel campo matematico-statistico e tecnico-scientifico sperimentale? Di seguito trovi una spiegazione secondo me chiara chiara, completa e…
Il file che potete scaricare, liberamente reperibile dal sito dell’Università di Milano-Bicocca, è una presentazione focalizzata sull’applicazione pratica e sul calcolo degli intervalli di confidenza per la media e la proporzione in diversi scenari statistici….
Il calcolo dei predicati rappresenta uno dei pilastri della logica matematica moderna e costituisce il linguaggio formale attraverso cui è stato possibile analizzare rigorosamente i fondamenti della matematica. L’opera di Kurt Gödel ha segnato una…
