L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] che una proposizione possa essere soltanto o vera o falsa. Pertanto esso è considerato non valido dai costruttivisti, secondo i quali una proposizione è vera se, esolose, può essere dimostrata con un numero finito di passi deduttivi. L'intero ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] su ℑ*, perché quella su ℑ* è un'estensione di quella su ℑ: per A e B in ℑ si ha
A ≥ B seesolose Ac ≥ Bc.
Infine la relazione d'ordine in senso stretto > è definita nel solito modo: A* > B* seesolose A* ≥ B* e non B* ≥A.
Definizione 3. Sia ...
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 [...] che segue così una molteplicità di percorsi di calcolo paralleli in relazione a una stessa stringa d'ingresso. La stringa è accettata seesolose almeno uno di questi percorsi termina in uno stato finale f∈F. Si noti che 2S contiene l'insieme vuoto ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giovanni Girolamo Saccheri
Vincenzo De Risi
Il matematico Girolamo Saccheri è considerato il primo scopritore (seppure suo malgrado) delle geometrie non euclidee. Nella sua opera principale, Euclides [...] », che ha i due angoli alla base retti e i due lati opposti uguali, e dimostra che i restanti due angoli sono retti (e il lato opposto alla base eguale alla base) seesolose vale il V postulato. Ma se il V postulato (ossia la «ipotesi dell’angolo ...
Leggi Tutto
anello
anello struttura algebrica in cui due operazioni, dette generalmente addizione e moltiplicazione (ma, con abuso di linguaggio, anche somma e prodotto), godono di determinate proprietà le quali [...] intero non negativo v(a), detto valutazione di a, tale che v(a) = 0 seesolose a = 0, v(ab) = v(a)v(b), ese, dati due elementi a e b di A, con b ≠ 0, esistono in A due elementi q (quoziente) e r (resto) tali che a = bq + r, con v(r) < v(b). Un ...
Leggi Tutto
Q
Q (insieme dei numeri razionali) insieme numerico, indicato con il simbolo Q (da «quoziente») che estende l’anello Z dei numeri interi. Se a e b sono numeri interi, con b ≠ 0, non sempre è definito [...] sul prodotto cartesiano Z × Z0 la relazione di equivalenza ∼, definita come segue: (a, b) ∼ (c, d) seesolose ad = bc, dove a, c appartengono a Z e b, d appartengono a Z0. Si definisce dunque l’insieme Q come l’insieme quoziente rispetto a tale ...
Leggi Tutto
funzione inversa
funzione inversa di una funzione iniettiva ƒ: X → Y, è la funzione, indicata con ƒ−1: Y → X, tale che x = ƒ−1(y) seesolose y = ƒ(x). Una funzione per la quale è definibile l’inversa [...] non monotòne, la invertibilità si può ottenere solo mediante una opportuna restrizione del dominio della funzione. Per esempio, la funzione y = x 2 non è monotòna su tutto R, e quindi non è invertibile. Lo è invece se si restringe il dominio a [0 ...
Leggi Tutto
Chimica
Capacità di un composto o un sistema chimico di conservarsi invariato, di non subire modificazioni chimiche. Sono detti stabilizzatori (o sostanze stabilizzanti o solo stabilizzanti) le sostanze [...] del sistema ad anello chiuso. In particolare, un sistema asintoticamente stabile ad anello aperto rimane tale ad anello chiuso seesolose il diagramma polare del determinante di F(jω) non circonda il punto (−1+j0) (criterio ridotto di Nyquist: fig ...
Leggi Tutto
Diritto
L’a. nel diritto processuale civile
Diritto di agire in giudizio per ottenere la tutela giurisdizionale, che l’art. 24, co. 1, Cost. garantisce a tutti, sulla base della mera affermazione che un [...] rispetto al verificarsi della violazione, che diventerà efficace solosee quando tale evento si verificherà.
L’a. costitutiva reato o entro un anno nel caso di delitti più gravi. Seè necessaria la querela, l’istanza o la richiesta di procedimento, ...
Leggi Tutto
In elettronica, dispositivi che attuano operazioni di algebra logica binaria.
Operazioni logiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] somma logica (operazione OR) di due o più variabili indipendenti xi l’operazione il cui risultato è una variabile binaria che assume il valore 0 seesolose tutte le xi hanno il valore 0; si definisce prodotto logico (operazione AND) l’operazione il ...
Leggi Tutto
se
sé pron. rifl. [lat. sē] (radd. sint.). – 1. Forma forte della declinazione del pron. rifl. di 3a pers.; si usa soltanto quand’è riferito al soggetto (maschile o femminile, singolare o plurale) o nelle frasi enunciate con verbo all’infinito...
se2
se2 cong. [lat. tardo se(d), incrocio di sī con quid «che cosa»] (radd. sint.). – 1. Con valore condizionale, ipotetico: a. Posto che, ammesso che, dandosi il caso che, e sim.; introduce proposizioni che esprimono una condizione, quelle...