Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] di tempo di calcolo o memoria) necessaria e sufficiente per risolvere un problema con un determinato modello di è costituita da un insieme finito di posti (che rappresentano condizioni per l'attivazione di processi) e di transizioni (che ...
Leggi Tutto
Scienza greco-romana. Nascita delle scienze e relazioni tra discipline
Giuseppe Cambiano
Nascita delle scienze e relazioni tra discipline
Sapere globale e distinzioni tra discipline
Nella Grecia antica, [...] ammesse a far parte dell'educazione generale soltanto a condizione che si restringa la complessità dei contenuti da con cui sono presentate non è di per sé una ragione sufficiente per escludere che Platone si possa riferire ad Archita, anche ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di geometria algebrica italiana
Alberto Conte
Ciro Ciliberto
La scuola di geometria algebrica italiana
Gli inizi: Luigi Cremona e [...] Per quanto concerne le superfici irregolari, il risultato forse più importante si deve a De Franchis nel 1905. Esso assegna le condizioni necessarie e sufficienti affinché una superficie contenga un fascio non lineare di curve: per ciò è necessario e ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] che non sia rigorosamente dimostrato e che il rigore è soltanto una condizione necessaria per la scientificità di un lavoro matematico ma non sufficiente (Osservazioni del Direttore sull’articolo precedente, «Rivista di matematica», 1891, 1, pp ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] sugli ordinali di M, perché questi garantiscono proprietà sufficienti di chiusura, e in M sono possibili le un continuo di insiemi densi, per ogni algebra di Boole con la condizione della catena numerabile. Tale assioma, detto di Martin ‒ dal nome ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] la verità dalla proposizione universale divisa era sufficiente che ognuna delle singole proposizioni assertorie fosse IV sec. in poi, i pensatori cristiani si erano trovati nella condizione di doversi misurare con l'esistenza di tesi di segno opposto ...
Leggi Tutto
Previsioni economiche
Giovanni De Cindio
di Giovanni De Cindio
Previsioni economiche
Presupposti storici
La pratica sistematica delle previsioni economiche, cioè dell'attività di previsione avente [...] detto dei minimi quadrati, che consiste nell'imporre la condizione di minimizzare la somma dei quadrati degli scarti. I che ha un trend stocastico. Se si suppone che sia sufficiente operare le differenze prime e che: allora: e quindi, ripetendo ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] bit dopo aver letto l'ultimo, ciò non porta a una condizione di fine del file, bensì interrompe l'elaborazione. Il fatto Più precisamente, bisogna eseguire un numero sufficiente di programmi per un tempo sufficiente a ottenere correttamente i primi H( ...
Leggi Tutto
FUBINI (Fubini Ghiron), Guido
Marta Menghini
(Fubini Ghiron), Nacque a Venezia il 19 genn. 1879 da Lazzaro e da Zoraide Torre. Compì i suoi studi presso la Scuola normale superiore di Pisa, dove ebbe [...] forme differenziali covarianti del primo ordine, una cubica e l'altra quadratica, e dimostrò che condizione necessaria e sufficiente per l'applicabilità proiettiva è l'uguaglianza degli elementi lineari proiettivi. Normando poi in modo conveniente ...
Leggi Tutto
LEVI, Eugenio Elia
Luca Dell'Aglio
Nacque a Torino il 18 ott. 1883, da Giulio Giacomo e da Diamantina Pugliese, e fu fratello del matematico Beppo. Allievo della Scuola normale superiore di Pisa, si [...] Rendiconti, cl. di scienze fisiche, matematiche e naturali, s. 5, XX [1911], pp. 425-431, 466-469; Sulle condizionisufficienti per il minimo nel calcolo delle variazioni (Gli integrali sotto forma parametrica), ibid., pp. 541-547; XXI [1912], pp. 30 ...
Leggi Tutto
sufficiente
sufficiènte (o sufficènte; ant. sofficiènte) agg. [dal lat. sufficiens -entis, part. pres. di sufficĕre «bastare», comp. di sub- e facĕre «fare»; il sign. 2 ricalca il fr. suffisant]. – 1. a. Che basta, che è adeguato, anche se...
sufficienza
sufficiènza (o sufficènza; ant. sofficiènza) s. f. [dal lat. tardo sufficientia, der. di sufficiens -entis «sufficiente»; nel sign. 2, dal fr. suffisance]. – 1. a. L’essere sufficiente, quantità sufficiente: avere, non avere s....