La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Gödel
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] ogni termine t e a ogni derivazione d in T.
Il linguaggio di S contiene costanti funzionali neg e imp tali che, per ogni formula φ e ψ, S⊦ neg(⌈φ⌉)=⌈¬φ⌉, S⊦ imp(⌈φ⌉), ⌈ψ⌉)=⌈φ→ψ⌉. Esso contiene, inoltre, una costante funzionale sub tale che, per ogni ...
Leggi Tutto
Numeri, teoria dei
Enciclopedia Italiana - VI Appendice (2000)
Numeri, teoria dei
Alf van der Poorten
(App. IV, ii, p. 626; V, iii, p. 698; v. aritmetica, IV, p. 370)
La dimostrazione dell'ultimo teorema di Fermat
Le ricerche relative all'ultimo teorema di Fermat, [...] primi. D'altra parte, N.H. Abel aveva congetturato che nessuno fra x, y, z potesse essere potenza di un primo. Usando delle formule come quelle a cui si è precedentemente accennato si può mostrare che se nell'uguaglianza xn+yn=zn con 0 〈 x 〈 y 〈 z ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
Simpson, Thomas
Enciclopedia on line
Matematico (Market Bosworth, Leicestershire, 1710 - ivi 1761), prof. di matematica alla Reale Accademia di Woolwich (dal 1743). Tra i suoi lavori sono da ricordare un trattato di analisi infinitesimale [...] on fluxions, 1737) e alcune ricerche di calcolo delle probabilità che proseguono quelle di A. de Moivre. Sotto la denominazione di formula di S. o di Cavalieri-S. è noto un procedimento, la cui idea ispiratrice è da attribuirsi a B. Cavalieri e ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Moivre Abraham de
Dizionario delle Scienze Fisiche (1996)
Moivre Abraham de
Moivre 〈muàvrë〉 Abraham de [STF] (Vitry 1667 - Londra 1754) Matematico a Londra, socio della Royal Society (1697). ◆ [ALG] Formula di M.: (a) dà la potenza n-esima di un numero complesso [...] in notazione polare: [ρ(cosφ+isinφ)]n=ρn[cos (nφ)+isin(nφ)]; (b) → iperbolico: Tab. 1. ◆ [ALG] Formula di M.-Stirling: dà il valore approssimato del fattoriale di un numero n, che risulta piuttosto accurata quando n è abbastanza grande: n!²nn(2πn)1/2 ...
Leggi Tutto
Milne William Edmund
Dizionario delle Scienze Fisiche (1996)
Milne William Edmund
Milne 〈miln〉 William Edmund [STF] (Pendleton, Oregon, 1890 - Dublino 1950) Prof. di matematica nell'univ. dell'Oregon, a Corwallis (1932). ◆ [ANM] Formula, formula di correzione [...] e formula di predizione-correzione di M.: serve per risolvere approssimativamente alcuni tipi di equazioni differenziali ordinarie: v. calcolo numerico: I 410 a sgg. ...
Leggi Tutto
Riemann, Bernhard
Enciclopedia on line
Matematico tedesco (Breselenz, Hannover, 1826 - Selasca, presso Intra, 1866). Autore di fondamentali lavori, seppur non numerosi, che hanno aperto diversi campi di ricerca nella matematica moderna. In [...] quale egli calcolò (1859), a partire da una funzione di variabile complessa (funzione zeta di R.), e mediante una formula asintotica, il numero dei numeri primi inferiori a un numero assegnato. Nella prima memoria del 1854 (pubblicata postuma nel ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Taylor Brook
Dizionario delle Scienze Fisiche (1996)
Taylor Brook
Taylor 〈tèilë〉 Brook [STF] (Edmonton 1865 - Londra 1731) Matematico e segretario (1714) della Royal Society di Londra. ◆ [ANM] Formula di T., polinomio di T. e serie di T.: v. sviluppi in [...] serie: VI 63 b, e, 64 d. ◆ [ANM] Teorema di T.: v. funzioni di variabile complessa: II 777 d ...
Leggi Tutto
Sackur Otto
Dizionario delle Scienze Fisiche (1996)
Sackur Otto
Sackur 〈sàkkur〉 Otto [STF] (Breslavia 1880 - Berlino 1914) Prof. di chimica fisica nell'univ. di Breslavia (1911). ◆ [MCS] Formula di S.-Tetrode: formulata nel 1912, dà il valore dell'entropia [...] di un gas perfetto, tenendo conto delle correzioni apportate alla statistica di Maxwell-Boltzmann dal paradosso di Gibbs ...
Leggi Tutto
spazio di Fourier
Enciclopedia della Scienza e della Tecnica (2008)
spazio di Fourier
Francesco Calogero
La trasformata di Fourier F(k) di una data funzione f(x) definita sull’intero asse reale e che si annulla (abbastanza rapidamente) all’infinito, f(±∞)=0, si definisce [...] k≡(k1,...,kN) sono vettori a N dimensioni, il prodotto scalare k ∙x è definito nel modo consueto, ossia
[3] formula
e
[4] formula.
Osserviamo infine che l’introduzione del fattore (2π)−1 a secondo membro della [1b], e analogamente del fattore (2π ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
ricorrente
Dizionario delle Scienze Fisiche (2012)
ricorrente
ricorrènte [agg. Part. pass. di ricorrere, dal lat. recurrere, comp. di re- e currere "correre"] [ALG] Di procedimento, definizione, formula, ecc. che permette di passare dall'ente Am-1 al-l'ente [...] Am (essendo A₀, A₁, ..., Am, ... termini di una particolare successione): per es., la definizione di potenza an può essere data con procedimento r. facendo le posizioni a1=a, a2=a·a1, ..., an=a·an-1. ◆ ...
Leggi Tutto
CATEGORIA:
ALGEBRA