insiemiparzialmenteordinati
Luca Tomassini
Un insieme (o spazio) A sul quale sia definito un ordineparziale ≤, spesso detto anche poset. Un ordineparziale è una relazione binaria che soddisfa le [...] cioè tali che a≤m per ogni a∈A. La loro esistenza è garantita dal lemma di Zorn: se ogni catena di un insiemeparzialmenteordinato A ha un elemento massimale in A, allora esiste un elemento massimale per A. Il lemma di Zorn è equivalente al celebre ...
Leggi Tutto
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] (calcolabilità e teoria della ricorsività), a ordini, reticoli, strutture algebriche ordinate (aspetti algebrici degli insiemiparzialmenteordinati), alla teoria dei numeri (successioni e insiemi, geometria dei numeri, partizioni, campi finiti ...
Leggi Tutto
Matematico italiano (Milano 1932 - Boston, Massachusetts, 1999); naturalizzato statunitense (1961), prof. di matematica applicata alla Rockefeller University e dal 1967 al politecnico del Massachusetts, [...] diede importanti contributi alla matematica combinatoria. A lui si deve un'estensione della funzione μ di Möbius allo studio di insiemiparzialmenteordinati. ...
Leggi Tutto
di Massimiliano Caramia e Paolo Dell'Olmo
L'obiettivo del processo decisionale è quello di migliorare lo stato di un individuo o di un'organizzazione in termini di uno o più criteri. Il trattamento delle [...] associare una funzione di utilità ed è necessario ricorrere ad altre famiglie di ordinamenti (insiemiparzialmenteordinati o poset, ordini intervallo, semiordini). Sebbene nei problemi reali possa essere più pratico attribuire a ogni alternativa ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] con tecniche algebriche, comprese serie formali, azioni di gruppi e lo studio delle algebre di incidenza di insiemiparzialmenteordinati. Tuttavia l'algebra compare in combinatoria in molti altri modi. Per esempio gli 'schemi di associazione' (una ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] denotazionale è l'uso del concetto di punto fisso. Come domini dei dati si assumono, anzichè insiemi, insiemiparzialmenteordinati completi e, potendosi interpretare i programmi di un linguaggio di programmazione come funzionali continui su tali ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] e Saul Kripke.
Entrambe queste semantiche sono basate su insiemiparzialmenteordinati. Chiamiamo nodi gli elementi di un insiemeparzialmenteordinato. Nei modelli di Kripke l'ordineparziale è arbitrario, in quelli di Beth è un albero ramificato ...
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 [...] sia p il più piccolo fattore primo di m. Questa costruzione insieme con la dimostrazione che p > n costituisce la costruzione C ordinata. Un ordinale è definito come specie di specie ben ordinate simili. Gli ordinali sono solo parzialmenteordinati ...
Leggi Tutto
In aritmetica, numero che indica il posto che un ente ha in una successione, il cosiddetto numero d’ordine (primo, secondo ecc., oppure 1°, 2° ecc., o I, II ecc.). Teoria dei numeri ordinali Teoria matematica [...] a quella dei numeri cardinali, come parte integrante della sua teoria degli insiemi; si ricollega a quella dell’ordinamento. Siano S, T due insiemi totalmente (o parzialmente) ordinati: essi si dicono simili o isomorfi, e si scrive S ∿ T, se ...
Leggi Tutto
Diritto
C. e qualifiche professionali Sistema di classificazione volto a identificare e raggruppare i vari profili professionali, in modo da delineare il regime giuridico ed economico cui è sottoposto [...] sia prestabilito il loro ordinamento gerarchico all’interno dell ai pensatori dell’idealismo romantico e parzialmente sopravvive anche nel pensiero contemporaneo. Per presentano in algebra, topologia, teoria degli insiemi ecc. Una c. è data quando ...
Leggi Tutto
ordinato
agg. [part. pass. di ordinare]. – 1. Che è in ordine; collocato, disposto secondo un ordine opportuno: una stanza, una casa o., dove tutto è in ordine; tenere o. i libri, i quaderni; è un uomo preciso, che tiene tutte le sue cose...
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,...