CODAZZI, Delfino
Silvia Caprino
Nacque a Lodi il 7 marzo 1824 da Domenico. Fu dapprima professore di scienze naturali e matematica presso il liceo ginnasio di Lodi, in seguito si trasferì a Pavia ad [...] agli studi di teoria delle coordinate delprimoordine, una alle derivate parziali del secondo ordine. Tali equazioni si riducono a quattro, una finita, due alle derivate parziali delprimoordine, una alle derivate parziali del secondo ordine ...
Leggi Tutto
predicati, calcolo dei
predicati, calcolo dei calcolo logico in cui si può esprimere, in modo rigoroso, un ragionamento e valutarne la correttezza. Se si pensa al ragionamento come a una successione [...] all’interno del calcolo dei predicati e si scrive ⊢ F. La formula ben formata F è, quindi, un teorema della teoria e la si ha il cosiddetto calcolo predicativo elementare (o delprimoordine); se si ammette anche la quantificazione sulle variabili ...
Leggi Tutto
Hilbert, David
Hilbert ⟨hìlbërt⟩ David [STF] (Königsberg 1862 - Gottinga 1943) Prof. di matematica nell'univ. di Gottinga (1895); socio straniero dei Lincei (1903). ◆ Azione di H.-Einstein: v. gravità [...] r), b1(r), che hanno il significato fisico di termini delprimoordine in uno sviluppo in serie di e delle grandezze dell’ .: v. gas, teoria cinetica dei: II 823 f. q Tensore di H., o di energia impulso: v. gravitazionale, dinamica del campo: III 83 ...
Leggi Tutto
ricorsivita
ricorsività in logica, caratteristica di un procedimento che riduce la complessità di un problema riportandolo a problemi via via più semplici cui il procedimento stesso viene applicato. [...] l’indecidibilità dell’aritmetica elementare e, in un secondo tempo, della logica dei predicati delprimoordine.
Oltre che in logica, la teoria della ricorsività ha trovato applicazioni anche in altri settori della matematica. Un esempio interessante ...
Leggi Tutto
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] di questi risultati è il teorema di Gödel (1931), il quale afferma che l’aritmetica di Peano delprimoordine è indecidibile. Il risultato si può estendere a teorie molto più deboli dell’aritmetica di Peano – quale il sistema Q di Robinson – e in ...
Leggi Tutto
sistema formale
Sistema costituito da un linguaggio formale e un apparato deduttivo. Un esempio di s. f. è quello K per la logica proposizionale classica dato dalla coppia (LK; DK) dove LK è il linguaggio [...] così come è possibile costruire s. f. per la logica delprimoordine, per quella del secondo ordine e così via, sia classiche sia non classiche, così come s. f. per specifiche teorie matematiche come quella dei numeri naturali, o dei numeri reali, o ...
Leggi Tutto
Sommerfeld Arnold
Sommerfeld 〈sòmërfëlt〉 Arnold [STF] (Königsberg 1868 - Monaco di Baviera 1951) Prof. di matematica e di meccanica tecnica nel politecnico di Aquisgrana (1900), poi di fisica teorica [...] di scintilla delprimoordine di un del moto di rotismi lubrificati: v. lubrificazione: III 492 a. ◆ [MCQ] Rappresentazione di Watson-S.-Regge: v. diffusione da potenziale: II 152 b. ◆ [ELT] Teoria di S.: enunciata nel 1910, fu la primateoria ...
Leggi Tutto
temperatura di Curie
Dino Fiorani
Alberto Maria Testa
Temperatura TC che, in un materiale magnetico, segna il passaggio da uno stato ferro- o ferri-magnetico (ordinato, con magnetizzazione spontanea, [...] risulta associato il calore latente che si osserva nelle transizioni delprimoordine. Per i metalli Fe, Co e Ni le temperature di dove il valore dell’esponente critico γ varia da 1 (teoriadel campo molecolare) a 2 (modello sferico in dimensione 3 ...
Leggi Tutto
inviluppo, teorema dell¿
inviluppo, teorema dell’ Teorema concernente il problema, che nella teoria economica si pone con frequenza, di determinare l’impatto su una scelta massimizzante derivante dalla [...] lavoro che massimizza il profitto dato il prezzo p, ossia la soluzione della condizione delprimoordine per un massimo:
e Π(p)=Π(L(p), p) il corrispondente valore del profitto. La funzione Π(p) prende il nome di funzione valore. Il teorema dell ...
Leggi Tutto
In senso oggettivo, il complesso di norme giuridiche, che comandano o vietano determinati comportamenti ai soggetti che ne sono destinatari, in senso soggettivo, la facoltà o pretesa, tutelata dalla legge, [...] teorie hanno suscitato forti dubbi. Contro la prima si è fra l’altro osservato che la volontà del titolare del dalla natura delle cose, e il suo fondamento fu visto in un ordine naturale estraneo e presupposto all’uomo. Tuttavia, già nel 5° sec. ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
miṡura s. f. [lat. mensūra, der. di mensus part. pass. di metiri «misurare»]. – 1. a. Il valore numerico attribuito a una grandezza, ottenuto ed espresso come rapporto tra la grandezza data e un’altra della stessa specie assunta come unità (unità...