Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] di decisione per il frammento enunciativo. Il limite è che esso si applica esclusivamente al calcolo e non a teorie come l diviene un teorema Γ;Γ′⇒A di LJ. Analogo il caso dei passaggi all'inverso. Ciò che ci dà in più l'immersione di LK e ...
Leggi Tutto
ENRIQUES, Federigo
Giorgio Israel
Nacque a Livorno il 5 genn. 1871 da Giacomo e da Matilde Coriat.
La famiglia si trasferi a Pisa, dove egli frequentò le scuole secondarie. Già qui manifestò la sua [...] alle sue naturali inclinazioni. Un passaggio di una famosa conferenza del i plurigeneri. Tre di questi caratteri erano noti al Noether, il quale riteneva che i primi due 'assoluto, per l'E., è un limite che perseguiamo senza riuscire a raggiungerlo e ...
Leggi Tutto
Gioco
Thomas Crump
Definizioni e terminologia
La definizione di Huizinga
Secondo una definizione fornita nel 1938 dallo storico olandese Johan Huizinga nel suo studio Homo ludens, il gioco può essere [...] inglese. In effetti anche una battaglia può essere considerata un caso limite di gioco.In italiano, come in molte altre lingue, 'gioco', Regole, regolamenti e apparati strumentali
Nel passaggio dalla paidia al ludus svolgono un ruolo importante altri ...
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, [...] il tempo di esecuzione cresce esponenzialmente nel passaggio dalla macchina non deterministica a quella valuta dunque per la stringa α che corrisponde al caso pessimo, e costituisce un limite superiore alla complessità del problema poiché garantisce ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria dei sistemi e controllo
Mark Aizerman
Teoria dei sistemi e controllo
La teoria del controllo si è formata, come campo di ricerca indipendente, [...] dei corrispondenti sistemi di equazioni lineari.
Il passaggio dalle variabili alle loro trasformate di Laplace permette descrivono al variare di alcuni parametri, dai quali si deduce il coefficiente di amplificazione all'interno di limiti assegnati ...
Leggi Tutto
meccanica
meccànica [Der. del lat. mechanica, dal gr. mechaniké (téchne) "(arte) delle macchine"] [MCC] Nella suddivisione tradizionale della fisica, la scienza che studia le leggi del moto dei corpi, [...] , hanno determinato il passaggio dalla m. classica che esistono, nel piano delle fasi, più cicli limite Cl, C₂, C₃, ..., Cn (Cl interno ondulatoria: l'aspetto della m. quantistica relativo al dualismo particella-onda: v. meccanica quantistica: ...
Leggi Tutto
GINI, Corrado
Nora Federici
Nacque a Motta di Livenza (Treviso) il 23 maggio 1884 da Luciano e da Lavinia Locatelli, in una famiglia agiata di alta borghesia agraria.
La sua preparazione culturale fu [...] cattedra di statistica nell'Università di Roma, che conservò fino al raggiungimento dei limiti d'età.
L'impegno del G. nel campo della delle ricerche presso il nuovo ente con il passaggio di tutti i servizi statistici "alla dipendenza diretta ...
Leggi Tutto
neutrone
neutróne [Der. di neutro con il suff. -one di elettrone] [FNC] Particella elettricamente neutra, di spin 1/2 e massa di poco superiore a quella del protone, insieme al quale è elemento costitutivo [...] volte maggiore di quella degli elettroni, il limite inferiore che si deduce dal principio di indeterminazione ] Oscillazione n.-antineutrone: v. neutrone: IV 158 f. ◆ [FNC] Passaggio di n. nella materia: v. particelle attraverso la materia: IV 466 b ...
Leggi Tutto
radiazione
radiazióne [Der. del lat. radiatio -onis "emissione di raggi", da radiare "mandare raggi"] [LSF] Fenomeno di emissione e propagazione di energia secondo raggi che costituiscono il percorso [...] le visuali dalla sorgente al corpo, mentre è diffusa ν frequenza, abbia energia non minore del limite convenzionale di 10 eV, cioè che cada nei . geocronologia: III 8 e. ◆ [EMG] Passaggio attraverso la materia della r. elettromagnetica: v. particelle ...
Leggi Tutto
Maxwell James Clerk
Maxwell 〈mèksuël〉 James Clerk [STF] (Edimburgo 1831 - Cambridge 1879) Prof. di filosofia naturale (cioè di fisica) nel Marishal College di Aberdeen (1856), poi di astronomia nel King's [...] Maxwell. In certe situazioni limite si può mostrare che questa di questo essere, sarebbe possibile il passaggio di molecole di un gas, con essere avvolti sull'asse della ruota; avvolti tali fili al massimo e lasciata libera la ruota, questa scende, ...
Leggi Tutto
lìmite s. m. [dal lat. limes -mĭtis]. – 1. a. Confine, linea terminale o divisoria: il l. fra due stati, fra due territorî; i l. d’un terreno, d’un podere; sino al l. del campo; oltre il l. del bosco. In questo sign., la parola è oggi poco com....
passare
v. intr. e tr. [lat. *passare, der. di passus -us «passo»]. – I. intr. (aus. essere) 1. a. Andare da un punto a un altro attraversando uno spazio o percorrendolo nel senso della lunghezza: p. per la via, per una via; p. per la strada...