In matematica, un f. in una classe A di oggetti, è. una sottoclasse non vuota di A, soddisfacente a certe condizioni. F. di sottoinsiemi non vuoti di un dato insieme, sono fondamentali nella topologia, [...] è più fine) di ℱ1 e si scrive ℱ2 〈 ℱ1•ℱ2 è "strettamente più fine" di ℱ1, se è inoltre ℱ2 ≠ ℱ1. Si ottiene così una relazioned'ordine (〈) nella totalità Φ (X) dei f. su X. Aggiungendo a Φ (X) il f. nullo ℘ (X), si ottiene la totalità Φ* (X) dei f ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] e di teoria deduttiva l’oggetto fondamentale d’indagine.
Come disciplina in sé, la Cooper H. Langford (1927) a diverse teorie degli ordini e da Mojzesz Presburger (1930) al gruppo additivo di chiusura rispetto a relazioni e operazioni su strutture ...
Leggi Tutto
Fisica
Nella meccanica statistica classica con i. statistico, o con il termine ensemble, introdotto da J.W. Gibbs, si indicano famiglie di stati di equilibrio macroscopico. Nello spazio delle fasi, cioè [...] ecc.). Se invece vengono definite, per gli elementi di un insieme, delle relazionid’ordine (analoghe alla ordinaria relazione di maggiore e minore per i numeri reali) si hanno le strutture d’ordine a cui fa capo, tra le altre, la teoria dei numeri ...
Leggi Tutto
Biologia
C. morfogenetico Area dell’embrione, o del primordio di un germoglio, dotata della capacità di dare origine a un determinato organo; per es., i c. morfogenetici dell’arto posteriore danno origine [...] centrale
C. di forza in cui: a) la retta d’azione del vettore del c. in un generico punto P f agente sulla generica carica q è data quindi dalla relazione f = q E. Unità di misura di E capace di provocare l’ordinato movimento di cariche elettriche ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] di inferenza logiche del prim'ordine, assiomi e regole che stabiliscono relazioni tra programmi e proprietà dello J. Hintikka, Dordrecht-Boston 1977³, pp. 281-95.
M.R. Garey, D.S. Johnson, Computers and intractability. A guide to the theory of NP- ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] sa se a ???38??? 0. Naturalmente a ???38??? 0 non può essere falso, poiché ciò implicherebbe a = 0.
11. Relazionid'ordine
Una specie S è ordinata dalla relazione ⟨ se per ogni coppia di elementi a, b di S vale una delle seguenti proprietà: a ⟨ b, a ...
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 [...] quella su ℑ* è un'estensione di quella su ℑ: per A e B in ℑ si ha
A ≥ B se e solo se Ac ≥ Bc.
Infine la relazioned'ordine in senso stretto > è definita nel solito modo: A* > B* se e solo se A* ≥ B* e non B* ≥A.
Definizione 3. Sia Ω un insieme ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] prima nell'ambito della teoria della corrispondenza al fine di esprimere un particolare tipo di relazioned'ordine, senza tuttavia individuarne la possibile interpretazione aritmetica. Tre strade indipendenti, una aritmetico-algebrica, una aritmetico ...
Leggi Tutto
R
R (insieme dei numeri reali) insieme numerico, denotato con il simbolo R, che comprende tutti i numeri che è possibile scrivere in forma decimale, con parte decimale finita, infinita periodica o infinita [...] scrive y > x e si dice che y è maggiore di x): ci si riferisce a esso come all’ordinamento stretto associato alla relazioned’ordine ≤. Un numero reale x è detto positivo (rispettivamente negativo) se x > 0 (rispettivamente x < 0). Come nel ...
Leggi Tutto
cardinalita
cardinalità nozione introdotta da G. Cantor che generalizza il concetto intuitivo di “numero di elementi di un insieme” astraendo dalla natura e dall’ordine degli elementi stessi. La nozione, [...] : un insieme ha cardinalità minore di un altro se è equipotente a un suo sottoinsieme. Si tratta di una relazioned’ordine totale, come stabilisce il teorema di → Cantor-Schröder-Bernstein. Pertanto, dati due insiemi qualsiasi, è sempre possibile ...
Leggi Tutto
ordinamento
ordinaménto s. m. [der. di ordinare]. – 1. L’atto di ordinare; operazione, o complesso di operazioni, di attività, di interventi, mediante cui si dà ordine, cioè regolare disposizione, assetto, funzionamento a qualche cosa: o....
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...