La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] simboli logici di un enunciato (formule senza variabili libere): a ogni formula A si associa un predicato 'x realizza A', dove x è un numeronaturale. Clausole tipiche sono
n realizza t=s se e solo se t=s è vero;
n realizza A→B se e solo se per ogni ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Il Libro V degli Elementi
Bijan Vahabzadeh
Il Libro V degli Elementi. i commentari arabi sulla teoria delle proporzioni
La teoria delle [...] due grandezze diverse, se si moltiplica la più piccola un opportuno numeronaturale, essa supererà la più grande. Queste premesse gli permettono di ridurre il caso non numerico a quello numerico. Non sembra che Ibn al-Hayṯam abbia studiato il legame ...
Leggi Tutto
Eulero
Eulèro [STF] Forma italianizz. assai frequente del cognome di L. Euler. ◆ [ALG] [MCC] Angoli di E.: terna di angoli con cui s'individua l'orientamento di un solido intorno a un punto o, che è [...] da E. nel 1758, mentre la prima era già nota a Cartesio (1620). ◆ [ANM] Funzione di E.: per un numeronaturale n, è la funzione φ(n) che dà il numero degli interi positivi non maggiori di n e primi con esso; se la scomposizione di n in fattori dà n ...
Leggi Tutto
partizione
partizióne [Der. del lat. partitio -onis "divisione in parti", dal part. pass. partitus di partire "dividere"] [LSF] È talora (per es., nella chimica fisica) sinon. di ripartizione. ◆ [ELT][INF] [...] risulta, in termini di tempi medi, l'elaborazione contemporanea di più programmi: v. sistemi operativi: V 307 e. ◆ [ALG] P. di un numeronaturale: caso particolare di p. in classi di un insieme (v. oltre), l'insieme essendo costituito dalle unità del ...
Leggi Tutto
Laguerre Edmond-Nicolas
Laguerre 〈lag✄èr〉 Edmond-Nicolas [STF] (Bar-le-Duc 1834 - m. 1886) Ufficiale di artiglieria, poi prof. di geometria nell'Accademia delle scienze di Parigi (1874). ◆ [ANM] Equazione [...] differenziale lineare del secondo ordine xy''+(1-x)y'+ay=0, con a costante reale; nel caso particolare che a sia un numeronaturale n, una sua soluzione è il polinomio (polinomio di L.) definito dalla formula Ln(x)=expx dn[xn exp(-x)]/dxn, oppure ...
Leggi Tutto
uno
uno [agg. Der. del lat. unus] [ALG] (a) Il primo numero non nullo della successione crescente dei numerinaturali, indicato, nella numerazione con cifre arabe, con il simb. 1. Nel mondo antico, per [...] non vuoti che non contengono altri insiemi non vuoti oltre sé stesso. (c) Oltre che come numeronaturale, 1 può esser considerato come numero intero, razionale, reale o complesso; in ognuno di questi casi la sua definizione è sostanzialmente diversa ...
Leggi Tutto
perfetto
perfètto [agg. Der. del part. pass. perfectus del lat. perficere "fare completamente, compiere", comp. di per- e facere "fare"] [LSF] Di cosa condotta a termine, completa in tutti i suoi aspetti, [...] regole assolute (gas p., liquido p., ecc.: → le singole voci). ◆ [ALG] Numero p.: → numero. ◆ [ALG] Quadrato p.: ogni numeronaturale (in generale, numero razionale) che sia il quadrato di un altro numeronaturale (razionale), come, per es., 9=32. ...
Leggi Tutto
ennuplo
ènnuplo [agg. Der. di enne, nome della lettera n] [ALG] [ANM] Avente la molteplicità n, essendo n un generico numeronaturale; si abbrevia in n-plo. ◆ [ALG] Punto e.: punto avente la molteplicità [...] n. ◆ [ALG] Radice e.: di un'equazione algebrica f(x)=0 è una radice a tale che f(x) è divisibile per (x-a)n, ma non per (x-a)n+1 ...
Leggi Tutto
successore
successóre [Der. del lat. successor -oris, dal part. pass. successus di succedere (→ successione)] [ALG] S. di un numeronaturale: il numero medesimo aumentato di una unità; si tratta di un [...] concetto che consente di ottenere tutti i numerinaturali a partire dallo zero e che viene assunto come concetto primitivo in tutte le teorie assiomatiche dell'aritmetica. ...
Leggi Tutto
ennesimo
ennèsimo [agg. Der. di enne, nome della lettera n, con il suff. ordinale -esimo] [ALG] [ANM] Relativo all'indice n, essendo n un numeronaturale qualsiasi. In questa Enciclopedia è abbreviato [...] in n-esimo ...
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...
naturale
agg. [dal lat. naturalis]. – 1. Della natura, che riguarda la natura o si riferisce alla natura, nel suo sign. più ampio e comprensivo: filosofia n., locuz. con la quale si indicò in passato e si indica tuttora in alcuni paesi l’indagine...