lambda-calcolo
Enciclopedia della Scienza e della Tecnica (2008)
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] un’analisi del concetto di funzione, intesa non insiemisticamente ma come regola per trasformare espressioni in altre espressioni mediante un processo di riscrittura. In questa veste esso ha oggi un grande interesse tanto nella logica matematica ...
Leggi Tutto
CATEGORIA:
LOGICA
algebra non commutativa
Enciclopedia della Scienza e della Tecnica (2008)
algebra non commutativa
Luca Tomassini
Sia F un campo, ovvero un corpo commutativo. Un insieme A è detto F-algebra (o algebra su F) se è uno spazio vettoriale sul campo F (per es., i campi ℚ, ℝ, ℂ dei [...] equazioni lineari, e in particolare al nome del matematico inglese William R. Hamilton. Un esempio fondamentale avviato da David Hilbert) costituisce uno dei capitoli fondamentali dell’analisi del XX secolo. Esso ha condotto allo sviluppo del concetto ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Kac Mark
Dizionario delle Scienze Fisiche (1996)
Kac Mark
Kac 〈kaz〉 Mark [STF] (Krzemieniec, Polonia, 1914, nat. SUA - Los Angeles 1984) Prof. di matematica nella Cornell Univ. (1954), nella Rockefeller Univ. di New York (1961) e infine nell'univ. [...] =Fa(ρ,T) corredata della regola di Maxwell. Dunque, la teoria dell'equazione di stato con potenziale di K. fornisce un'analisi rigorosa delle condizioni di validità dell'equazione di van der Waals. ◆ [ANM] [PRB] Formula e perturbazione di Feynman-K ...
Leggi Tutto
razionale
Dizionario delle Scienze Fisiche (1996)
razionale
razionale [agg. Der. del lat. rationalis, da ratio -onis "ragione, rapporto"] [LSF] (a) Conforme a ragione, condotto con rigoroso procedimento dimostrativo, in contrapp. a intuitivo. (b) Relativo [...] rapporti, come, per l'analisi chimica r. (v. oltre). ◆ [CHF] Analisi r.: metodo di analisi chimica nel quale i risultati più variabili. ◆ [MCC] Meccanica r.: la formulazione matematica rigorosa della meccanica newtoniana. ◆ [ALG] Numero r.: ogni ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
FISICA MATEMATICA
–
MECCANICA
–
MECCANICA DEI FLUIDI
–
MECCANICA QUANTISTICA
–
ALGEBRA
–
ANALISI MATEMATICA
Brouwer Luitzen Egbertus Jan
Dizionario delle Scienze Fisiche (1996)
Brouwer Luitzen Egbertus Jan
Brouwer 〈bràuër〉 Luitzen Egbertus Jan [STF] (Overschie, Olanda, 1881 - m. 1966) Prof. di matematica nell'univ. di Amsterdam (1951). ◆ [ALG] Grado topologico di B.: v. analisi [...] continua di un insieme I (sottinsieme di uno spazio euclideo) in sé stesso, esiste un punto P∈I "fisso" per f, cioè tale che f(P)=P. Il teorema di B. è suscettibile di numerose generalizzazioni: v. analisi non lineare: I 143 c e funzionale ...
Leggi Tutto
Robinson Abraham
Dizionario delle Scienze Fisiche (1996)
Robinson Abraham
Robinson 〈ròbinsn〉 Abraham [STF] (Waldenburg, Germania, 1918, nat. SUA - New Haven, Connecticut, 1974) Prof. di logica matematica nelle univ. di Toronto, Gerusalemme e infine della California, [...] a Los Angeles. ◆ [ANM] Lemma di prolungamento di R.: v. analisi non standard: I 146 d. ...
Leggi Tutto
ottimizzazione
Enciclopedia on line
In matematica applicata, e in particolare nella teoria delle decisioni, problemi di o., le questioni attinenti alla ricerca dei criteri di scelta tra diverse opzioni o di determinazione del valore di particolari [...] libera o vincolata, che non si prestano ai procedimenti classici dell’analisi, sono iterativi. Se il problema consiste nella ricerca di un minimo il metodo degli ellissoidi, un algoritmo proposto dal matematico sovietico L.G. Chačjan nel 1979), anche ...
Leggi Tutto
metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] anche l’indipendenza dell’ipotesi del continuo dagli altri assiomi.
La m., che era nata come studio di sistemi formali matematici e delle relative questioni di non contraddittorietà e completezza, si è estesa a campi nuovi divenendo una m. in senso ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Kantorovič, Leonid Vital´evič
Enciclopedia on line
Matematico ed economista russo (Pietroburgo 1912 - Mosca 1986). Vincitore nel 1975 (con l'economista statunitense di origine olandese T. Ch. Koopmans) del premio Nobel per le scienze economiche per i suoi [...] e di pianificazione della produzione", 1939); Funkcional´nyj analiz i prikladnaja matematika ("Analisi funzionale e matematica applicata", 1948); Ekonomičeskij rasčët nailučšego ispol´zovanija resursov ("Il calcolo economico della migliore ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Maggi, Gian Antonio
Enciclopedia on line
Matematico e fisico italiano (Milano 1856 - ivi 1937). Allievo a Pavia, fra gli altri, di F. Casorati, E. Beltrami, G. Schiaparelli, si perfezionò a Berlino alla scuola di G. Kirchhoff. Professore di analisi [...] dei XL della Società italiana delle scienze (1936). La sua attività si volse a varî campi della fisica matematica, ma particolarmente rilevanti restano i suoi contributi alla meccanica razionale che organizzò in un'ampia originale trattazione (sei ...
Leggi Tutto