Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] P(x). Tuttavia ¬¬ ∀ x P(x) non vale: possiamo persino dimostrare che vale ¬ ∀ x P(x). Supponendo che valga ∀ x P(x), il teorema del ‛ventaglio' ci permette di inferire che A(x) deve essere noto per ogni x dopo che sia stato dato un numero finito N di ...
Leggi Tutto
La parte della teoria dei numeri che tratta della risolubilità di un’equazione, a coefficienti interi, nel campo dei numeri interi (o, più generalmente, razionali). Tra i problemi più importanti dell’analisi [...] la ricerca delle soluzioni intere, o razionali, di una generica equazione algebrica f(x, y, ...)=0 a coefficienti interi (teoremi di esistenza di tali soluzioni, studio dei vari metodi per costruirle ecc.). Collegata con tali ordini di questioni è l ...
Leggi Tutto
Algebrista e logico russo (Mišeronskij, Mosca, 1909 - Novosibirsk 1967). È stato tra i primi ad applicare la logica all'algebra. Nel 1936 enunciò il principio di finitezza (oggi noto, in formulazione un [...] quelle su questioni collegate ai gruppi di Lie e a certi tipi di gruppi topologici risolvibili; notevoli anche alcuni teoremi d'immersione di sistemi dotati di strutture algebriche. Tra le sue opere: Untersuchungen aus dem Gebiete der mathematischen ...
Leggi Tutto
Euclide
Euclide [STF] [ALG] Matematico greco, vissuto ad Alessandria d'Egitto intorno al 300 a.C., che sistemò, in maniera insuperata, la matematica che s'era andata sviluppando in circa due secoli di [...] il quadrato costruito su a è equivalente al rettangolo che ha per lati l'ipotenusa e b; un suo corollario è il teorema di Pitagora; (b) l'altezza relativa all'ipotenusa, c (fig. 2), è media proporzionale tra le proiezioni dei cateti sull'ipotenusa, d ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La rinascita degli studi geometrici nel mondo latino
Menso Folkerts
La rinascita degli studi geometrici nel mondo latino
La tradizione [...] noto con il titolo Liber trium fratrum o più spesso come Verba filiorum Moysi. Quest'opera contiene, fra l'altro, alcuni teoremi sull'area del cerchio, sul volume e sulla superficie della sfera e del cono; in essa vengono trattati inoltre la formula ...
Leggi Tutto
idrodinamico
idrodinàmico [agg. (pl.m. -ci) Der. di idrodinamica] [MCF] (a) Relativo all'idrodinamica. (b) Sul modello di aerodinamico, di corpo foggiato in modo da offrire una relativ. bassa resistenza [...] vettoriale di cui è vettore la velocità di un corpo in moto in un liquido. ◆ [PRB] Limite i.: v. limite centrale, teoremi del: III 415 f. ◆ [MCF] Linee i.: su una superficie, le traiettorie di punti materiali che, partendo dalla posizione di quiete ...
Leggi Tutto
prolungamento
prolungaménto [Der. di prolungare, dal lat. prolongare "rendere più lungo", comp. di pro- e longare, da longus "lungo"] [ALG] Nella geometria: (a) con signif. vicino a quello etimologico, [...] . del lato di un poligono, la retta contenente il lato considerato; (b) sinon. di ampliamento (di un anello, di un corpo, ecc.). ◆ [ANM] P. analitico: lo stesso che continuazione (←) analitica. ◆ [ANM] Teoremi di p.: v. misura e integrazione: IV 2 d. ...
Leggi Tutto
omologico
omològico [agg. (pl.m. -ci) Der. di omologia] [ALG] Algebra o.: ramo dell'algebra moderna sorto allo scopo di fornire strumenti per lo studio di problemi di algebra che s'incontrano nella topologia, [...] in partic. relativi a gruppi di omologia: v. topologia algebrica: VI 262 b sgg. ◆ [ALG] Teorema dei triangoli o.: riguarda triangoli che si corrispondono in un'omologia piana: → Desargues, Gérard: Teoremi di Desargues. ...
Leggi Tutto
Successione ordinata e continua di elementi, concreti e astratti, dello stesso genere.
Ecologia
Successione delle comunità che si sostituiscono l’una all’altra in una regione. Le comunità di transizione [...] generalizzata s, e inoltre esiste un numero positivo K tale che |an|≤K/n, allora la s. data è convergente alla somma s (teorema di Hardy). Se due s. sono convergenti a s e σ rispettivamente, la s. prodotto, anche se non converge, è sommabile secondo ...
Leggi Tutto
Algebra moderna. - L'"algebra moderna", che meglio si potrebbe chiamare "algebra astratta" o "algebra generale", si è sviluppata soprattutto negli ultimi venticinque anni dal connubio dell'algebra classica [...] serie lineari), e fra il grado e la dimensione di una classe intercede una relazione che è l'analoga di quella espressa dal teorema di Riemann-Roch per una curva; si introduce così un nuovo invariante, detto genere, di un'algebra.
Bibl.: A. A. Albert ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...