La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] di tutti gli oggetti; ma, in tal caso, si può rimpiazzare X con un insieme Y tale che X∼Y, dove Y non è universale). Infine, ℕ può essere definito come il più piccolo insieme che contiene 0 e che è chiuso per l'operazione di successore, cioè
[1] x ...
Leggi Tutto
Ramsey, Frank Plumpton
Enciclopedia on line
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] la teoria tutte le costanti designanti entità teoriche con opportune variabili e applicando quindi il quantificatore universale. Le asserzioni quantificate così ottenute implicano le stesse conseguenze osservative del sistema di assiomi di partenza ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Computazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
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 [...] ). Il linguaggio Lu={〈M,α>: α∈L(M)} è ricorsivamente enumerabili e non è ricorsivo.
Lu è detto linguaggio universale poiché pone la più generale delle questioni sulle macchine di Turing; la sua natura dimostra che i linguaggi ricorsivi sono un ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
regolare
Dizionario delle Scienze Fisiche (1996)
regolare
regolare [agg. Der. del lat. regularis "conforme alle regole o a una regola", che è da regula (→ regola)] [ALG] [ANM] Arco di curva r., o arco r.: quello in cui la curva non interseca sé stessa [...] tangente. ◆ [ALG] Superficie r.: v. sopra: Arco di curva regolare. ◆ [ALG] Trasformazione r.: locuz. usata, con signif. non universale per indicare trasformazioni con alcune proprietà, di solito la biunivocità e la bicontinuità; nel caso si tratti di ...
Leggi Tutto
Cassini Gian Domenico
Dizionario delle Scienze Fisiche (1996)
Cassini Gian Domenico
Cassini Gian Domenico [STF] (Perinaldo, Imperia, 1625 - Parigi 1712) Astronomo a Genova, poi a Bologna, prof. di astronomia nell'univ. di quest'ultima città e infine (1669) nominato [...] le traiettorie dei pianeti, ma la proposta, che risultava in contrasto con le conseguenze della legge della gravitazione universale, non fu, giustamente, accolta. ◆ [ASF] Divisione di C.: la grande separazione osservabile nel sistema degli anelli di ...
Leggi Tutto
espressione
Enciclopedia on line
Biologia
Espressione genica
In genetica, processo per cui la sequenza di nucleotidi di un gene viene trascritta in una sequenza corrispondente di acido ribonucleico messaggero (mRNA) e quindi tradotta [...] considera identica all’intuizione, costituisce la sintesi dell’individuale (così come il concetto costituisce la sintesi dell’universale), cioè quella forma che organizza ed elabora le impressioni e le sensazioni. Essa rappresenta quel principio cui ...
Leggi Tutto
lambda
Enciclopedia on line
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] calcolabile corrisponde un’espressione nel l. calcolo. Quest’ultimo può quindi essere considerato un linguaggio di programmazione universale e anzi può essere usato per dare una definizione di computabilità di una funzione. In questo senso il ...
Leggi Tutto
CATEGORIA:
GRAMMATICA
–
TEMI GENERALI
–
ANTROPOLOGIA FISICA
–
MICROBIOLOGIA
–
FISICA MATEMATICA
–
FISICA NUCLEARE
–
LOGICA MATEMATICA
Dimostrazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
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 [...] proprietà; in questa traduzione la coerenza dell'aritmetica ‒ nessuna dimostrazione d può terminare con 0≠1 ‒ diviene un enunciato universale ∀n A(n) che coinvolge l'infinito e il tentativo di provarla finitisticamente si rivela per quello che è: un ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
rivestimento
Enciclopedia on line
Il materiale con cui si è ricoperta una superficie, a scopo protettivo o decorativo.
Biologia
Epiteli di r. Epiteli che tappezzano la superficie esterna del corpo e le pareti di cavità interne, comunicanti [...] se N è connessa) si dice che f è un r. a n foglie, e se M è semplicemente connessa il r. si dice universale. La teoria dei r. è un importante capitolo della topologia algebrica, che si ricollega alla teoria degli spazi fibrati e al calcolo dei gruppi ...
Leggi Tutto
Newton Isaac
Dizionario delle Scienze Fisiche (1996)
Newton Isaac
Newton 〈niùtn〉 Isaac [STF] (Woolsthorpe 1642 - Londra 1727) Prof. di matematica nell'univ. di Cambridge (1669-1701), poi, dal 1693, anche direttore della zecca di Londra; presidente della [...] d. ◆ [OTT] Interferometro di N.: v. interferenza della luce: III 274 f. ◆ [MCC] Legge di N. della gravitazione universale: la legge fondamentale della gravitazione classica, secondo la quale due corpi si attirano in ragione diretta alle loro masse e ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
MECCANICA
–
OTTICA
–
STORIA DELLA FISICA
–
TERMODINAMICA E TERMOLOGIA
–
ALGEBRA
–
ANALISI MATEMATICA