L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] nel programma per la costruzione della lingua universale fa sì, tuttavia, che Schröder abbia scarso interesse per la definizione di una struttura assiomatica per il calcolo dei relativi. Ciò comporta una scarsa selettività: come osserverà Peirce, nel ...
Leggi Tutto
iperbolico
iperbòlico [agg. (pl.m. -ci) Der. di iperbole] [ALG] Cilindro i.(propr., cilindro a sezioni i.): cilindro quadrico tale che tutte le sue sezioni piane siano iperboli (v. fig). ◆ [ANM] Coseno [...] sia complesso, per le funzioni i. di variabile complessa valgono sia gli sviluppi in serie dati nella tab. 2, sia le definizioni formali valide per le funzioni di variabile reale, a patto di sostituire la variabile reale x (e ix) con la variabile ...
Leggi Tutto
Anatomia
N. del seno (o n. seno-atriale) Formazione anatomica situata nell’atrio destro del cuore, in corrispondenza dello sbocco della vena cava superiore, importante nella regolazione del ritmo cardiaco.
Astronomia
Per [...] per una generalizzazione del classico polinomio di Alexander. Gli assiomi per VK(t) sono una conseguenza del metodo di definizione originale usato da Jones per il suo invariante; il cammino che lo portò alla scoperta di questo invariante cominciò ...
Leggi Tutto
Matematica
In statistica, la d. di una serie numerica è la somma dei quadrati delle differenze tra i valori della serie e la loro media; divisa per il numero dei valori considerati dà la varianza. La [...] forma di resistenza messa in atto dai dominati nei confronti dello status quo esistente, e dall’altro lato la definizione stessa di tale comportamento come deviante, appannaggio dei gruppi dominanti, rappresenta una forma di difesa di quello stesso ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] [z/y] P se y≠x e y ∉ VL(N) e x ∉ VL(P) e z è la prima variabile ∉ VL(NP). La clausola (f) di questa definizione fa sì che il significato intuitivo di [N/x] (λy ·P) non dipenda dalla scelta della variabile vincolata y.
Se P è un termine contenente un ...
Leggi Tutto
L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] I (1654-1705) e Johann I (1667-1748), negli anni Novanta del Seicento. Nel 1718 Johann Bernoulli ne dà la prima 'definizione': "Si dice funzione di una quantità variabile una quantità costituita in un modo qualunque a partire da questa variabile e da ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] 2, cioè 00,01 e 10 e quattro fattori di lunghezza 3, cioè 001,010,100 e 101. Si ha anche un'altra definizione della parola di Fibonacci che usa approssimazioni di irrazionali mediante razionali. Infatti, sia s la successione:
[12] sn=⌊(n+1)α⌋−⌊nα ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] Mi), i=0,1,…} non è ricorsivamente enumerabile.
Il teorema si dimostra notando che se esistesse una MT Mj tale che Ld=L(Mj), la definizione di Ld condurrebbe alla contraddizione che αj∈Ld se e solo se αj∉L(Mj). La scoperta che Ld non è ricorsivamente ...
Leggi Tutto
intensita
intensità [Der. del lat. intensitas -atis, da intensus (→ intenso)] [LSF] Il grado con cui si manifesta un fenomeno, traducentesi sia in fenomeni (manifestazioni luminose, acustiche, ecc.), [...] magnetici (l'altro è l'induzione), che, nell'attuale sistemazione della metrologia dei campi magnetici, ha una definizione operativa, come responsabile della magnetizzazione, soltanto in un corpo materiale: v. magnetostatica nella materia: III 582 d ...
Leggi Tutto
convessità generalizzata
Angelo Guerraggio
Termine che designa gli studi tesi a estendere le proprietà delle funzioni convesse (o concave) – almeno quelle ritenute essenziali in un determinato contesto [...] funzione di una variabile crescente, il cui grafico presenti uno o più punti di flesso). Al di là della definizione, esistono criteri utili per il riconoscimento della quasi-convessità. Tali criteri richiedono che la funzione f sia differenziabile ...
Leggi Tutto
definizione
definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. dei termini di una questione. 2. L’atto,...
Capitalocene s. m. Denominazione polemica che, contrapponendosi al termine descrittivo antropocene (v.), intende mettere in luce le durature conseguenze negative del sistema capitalista sul piano economico-sociale, giuridico e culturale non...