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 [...] considerato (una versione della teoria dei tipi), dall'altro si usarono i risultati di Gödel come argomento per abbandonare i seguente modo. Supponiamo di disporre disegni numerici p,a,b,c (p>2) che soddisfano l'equazione di Fermat ap+bp=cp ...
Leggi Tutto
Scienza greco-romana. Diofanto di Alessandria
Roshdi Rashed
Diofanto di Alessandria
Nel corso degli ultimi decenni la nostra conoscenza dell’opera di Diofanto di Alessandria è cambiata in maniera considerevole, [...] ? Di fatto, questa domanda non ha un’unica risposta, poiché di un testo matematico sono possibili due tipidi lettura egli insiste sulla moltiplicazione e sulla divisione e fornisce la regola dei segni, che può essere riscritta così: (-a)·(-a)=a, (-a ...
Leggi Tutto
algebra
Roberto Levi
Quando le lettere funzionano meglio dei numeri
Si può dire che l'algebra inizia dove finisce l'aritmetica, perché introduce, attraverso il calcolo letterale, un modo nuovo, molto [...] due espressioni sussiste una relazione di eguaglianza, indicata con il segno =. A sinistra del segno uguale c'è il primo membro dell'eguaglianza, mentre a destra abbiamo il secondo membro.
In algebra si considerano due tipidi eguaglianze, quelle che ...
Leggi Tutto
Matematica
Insieme alla retta e al piano, uno degli enti fondamentali della geometria, la cui nozione intuitiva corrisponde all’idea di una posizione sulla retta, nel piano o nello spazio (si tratta cioè [...] tipi particolari di p. o di enti che, considerati astrattamente, si possono intendere come punti.
P. di contatto o di tangenza racchiusi in parentesi tonde o quadre). Si segnadi solito un p. al termine di una parola abbreviata (seg.=seguente; p. es ...
Leggi Tutto
Parola o frase che s’interpone nel discorso, interrompendone il senso e talora anche il costrutto, per aggiungere un chiarimento o una precisazione, per fare un’osservazione, un rinvio (anche alle note [...] un polinomio si presenti a sua volta come prodotto di due polinomi, o se ne voglia mettere in evidenza il segno, ci si serve di p. di vari tipi (tonde, quadre, graffe, di solito in questo ordine); per es.,
ab{a−[ax−c(a+b)]+(3a−2b)[ax−b(c+d)]}.
Le p ...
Leggi Tutto
Linguistica
In riferimento ai sistemi di scrittura, si dice scrittura lineare ogni sistema grafico adoperante segni a sviluppo l. non interpretabili come pittogrammi; in particolare, in archeologia si [...] lineare l’operatore Af(x) = [f(x)]2.
Medicina
In medicina costituzionalistica, viene definito tipo lineare uno dei due tipi morfologici fondamentali della classificazione di C. Stockard, il quale distingue un tipo l. (corrispondente al longitipo ...
Leggi Tutto
Linguistica
La parte della linguistica che studia la connessione di unità minori a formare unità maggiori. In questo senso si parla anche di fonetica sintattica (o sandhi, con il termine della grammatica [...] . Nella teoria di Chomsky dunque, detta anche trasformazionale, ai tipidi frasi semplici prodotti la caduta della vocale stessa: caduta che si qualifica come troncamento (e non si segna con l’apostrofo) quando la parola finisce per vocale + l, n, r + ...
Leggi Tutto
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] ogni unione di classi dei due tipi è tutto l'insieme B.Nel caso connesso, ordinando le cifre nelle classi di p₁ si ottiene una permutazione σ di B, e l'intreccio tra i vari risultati sono segni delle difficoltà da superare e della complessità degli ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] non sono membri di sé stesse, a opera di B. Russell poco dopo l'inizio di questo secolo. Ciò segnò effettivamente il blocco altresì nella gerarchia dei livelli di predicabilità della teoria dei tipidi Russell.
Sussistendo simili premesse, grazie ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Sommario: 1. Introduzione. 2. Come fissare un nodo: le mosse di Reidemeister. 3. Invarianti di nodi e links: un primo passo. 4. Il polinomio di Jones. 5. Il polinomio [...] disegno opposto; la terza mossa, infine, permuta una configurazione d'incroci senza modificarne i segni. In forza di caso il numero di allacciamento delle due componenti? È chiaro che nel computo entrano contributi di due tipi diversi: quello dovuto ...
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...
Pandemicene s. m. L'epoca attuale, in cui l’ambiente terrestre e la popolazione umana vengono fortemente condizionati su scala sia locale sia globale dal susseguirsi e proliferare di diversi tipi di pandemie. ♦ Secondo l’efficace sintesi del...