Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] ottenuto g(k1, ..., km)=n. Abbiamo visto che gli schemi che conducono alle funzioni ricorsive primitive sono troppo restrittivi per comprendere tutte le funzionicalcolabili. Ma il metodo impiegato per stabilire questo fatto sarebbe egualmente valido ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] di numeri naturali, la risoluzione di P corrisponde al calcolo di una funzione da ℕ su {0,1}: problemi decidibili o indecidibili corrispondono allora a funzionicalcolabili o non calcolabili.
Le MT sono definite come collezione di entità finite ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] possibili a ogni passo. Se quindi il non determinismo non amplia la classe delle funzionicalcolabili, esso incide in modo cruciale sul tempo di calcolo, poiché una sequenza di n passi non deterministici ciascuno dei quali preveda m alternative ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] Cantor (1845-1918).
Nei primi anni Trenta ci si cominciò a chiedere quale fosse allora la classe delle funzionicalcolabili. Alonzo Church, Kurt Gödel, Emil L. Post, Alfred Tarski e Alan M. Turing proposero diverse possibili definizioni. Ciascuna ...
Leggi Tutto
KLEENE, Stephen Cole
Matematico e logico matematico americano, nato a Hartford, Connecticut, il 5 gennaio 1909. Dal 1935 professore all'università del Wisconsin, a Madison, dove è stato anche preside [...] ricorsive, che costituiscono l'insieme (comprendente quello delle funzioni ricorsive generali) di tutte le funzionicalcolabili per tutti gli argomenti per cui sono definite. Per queste funzioni K. ha dimostrato il teorema di recursione. Stabilì ...
Leggi Tutto
Matematica
Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo [...] in nessun altro modo rigoroso di costruzione formale di a. è stato possibile creare a. non calcolabili mediante una funzione ricorsiva generale.
Informatica
In informatica si definisce a. una sequenza finita di operazioni elementari, eseguibili ...
Leggi Tutto
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] gt;0 per θεΘ0;l(θ1, d1) = 0 per θεΘ1
Utilizzando lo schema della teoria delle decisioni con una funzione di danno di questo tipo è necessario calcolare il rischio finale bayesiano per le decisioni d0, d1. Si sceglierà la decisione che avrà un rischio ...
Leggi Tutto
Modello
Silvano Petrarca
Il termine modello è diffusamente utilizzato per indicare un ampio insieme di costruzioni formali ottenute mediante schematizzazioni di processi, comportamenti, situazioni ecc., [...] richiede che si abbia una formalizzazione matematica completa del m. traducibile in algoritmi da elaborare al calcolatore, in modo da ottenere previsioni in funzione dei valori dei parametri adottati (che a volte non sono noti o non sono noti con ...
Leggi Tutto
L'Ottocento: matematica. Calcolo delle probabilita e statistica
Ivo Schneider
Calcolo delle probabilità e statistica
Il ruolo di Laplace nella stocastica del XIX secolo
Numerosi autori hanno contribuito [...] distribuzione normale
Per le derivazioni che nel singolo caso risultavano spesso assai lunghe per i calcoli, Laplace si era servito della teoria delle funzioni generatrici di argomento complesso, da lui stesso sviluppata sulla scia di de Moivre e ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] vista come l'insieme di tutte le possibili forme di interrelazioni. Molti dei suoi concetti, come le funzioni, le trasformazioni, i programmi, i calcoli, sono descrizioni di relazioni tra uno stato e un altro. Mentre nel mondo antico si credeva nella ...
Leggi Tutto
calcolatrice
s. f. e agg. [der. di calcolare]. – Macchina da calcolo di non grandi dimensioni che permette di eseguire addizioni e sottrazioni (addizionatrice) ed eventualmente operazioni più complesse come moltiplicazioni, divisioni, estrazioni...
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso di un sistema sociale, burocratico, ecc....