TOPOLOGIA (v. analysis situs, I, p. 87; topologia astratta, App. II, 11, p. 1004; topologia, App. III, 11, p. 960)
Santuzza Baldassarri Ghezzo
La t. oggi è una delle discipline fondamentali della matematica; [...] alla nozione di rete: sia Σ un "insieme diretto", cioè un insieme nel quale è definita una relazione d'ordine, denotata col simbolo ≥, riflessiva, transitiva e tale che dati σ1 e σ2 ∈ Σ, esista un σ ∈ Σ tale che sia σ ≥ σ1 e σ ≥ σ2; una rete in uno ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] se f(v)∈L2. Si dice allora che P1 si riduce a P2, e si indica con P1⇒P2. Si noti che la riduzione polinomiale è transitiva, cioè P1⇒P2 e P2⇒P3 implicano P1⇒P3.
Se P1⇒P2, un algoritmo A2 per risolvere P2 può essere usato per risolvere P1 attraverso le ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] equivalenza logica. Prescindendo dai quattro assiomi relativi all’uguaglianza che esprimono la proprietà riflessiva, simmetrica e transitiva, gli assiomi aritmetici veri e propri sono i seguenti cinque (corrispondenti rispettivamente agli assiomi 1 ...
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 [...] e D2, mediante un numero arbitrario di mosse consecutive si indica col simbolo D1∣−*D2, ove la relazione ∣−* è la chiusura riflessiva e transitiva di ∣−. Si definisce così il linguaggio accettato da una MT M come l'insieme L(M)={α tali che α∈Σ*, s′α ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] di un qualsiasi altro simbolo di relazione a due posti che, in una data struttura, denoti una relazione riflessiva, simmetrica e transitiva e che permetta la sostituzione di ogni termine con un termine eguale. Ciò significa che a=a; se a=b, allora ...
Leggi Tutto
transit
〈trä′nsit〉 s. ingl., usato in ital. al masch. – Termine corrispondente all’ital. transito, che nell’uso internazionale indica la zona di un aeroporto destinata al passaggio dei viaggiatori in transito, che proseguono cioè il viaggio...
transitabile
transitàbile agg. [der. di transitare]. – Detto di luogo per cui si può transitare: strada t. con catene, da autoveicoli per i quali è prescritto o consigliato l’uso di catene per la neve sui pneumatici; o assol.: il valico è...