Ramsey, Frank Plumpton
Enciclopedia on line
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] deve una procedura per l'eliminazione dei termini teorici dagli enunciati delle teorie scientifiche, consistente nel sostituire negli assiomi del sistema formale in cui è espressa la teoria tutte le costanti designanti entità teoriche con opportune ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
MARTINO I, santo
Enciclopedia dei Papi (2000)
Martino I, santo
Georg Jenal
Nacque a Todi in data imprecisata.
La sua vicenda si configura come un capitolo dei complessi e travagliati rapporti teologico-politico-ecclesiastici tra Costantinopoli [...] da un lato, le ultime, grandi controversie cristologiche (dispute sul monoenergetismo e sul monotelismo); dall'altro, l'assioma dell'unità dell'Impero, un principio politico costantemente minacciato dai conflitti sugli orientamenti teologici e dagli ...
Leggi Tutto
MARTINO I, papa, santo
Dizionario Biografico degli Italiani (2008)
MARTINO I, papa, santo
Georg Jenal
MARTINO I, papa, santo. – Nacque a Todi in data imprecisata.
La sua vicenda si configura come un capitolo dei complessi e travagliati rapporti teologico-politico-ecclesiastici [...] : da un lato le ultime, grandi controversie cristologiche (dispute sul monoenergetismo e monotelismo); dall’altro, l’assioma dell’unità dell’Impero, principio politico costantemente minacciato dai conflitti sugli orientamenti teologici e dagli scismi ...
Leggi Tutto
Logiche non standard
Enciclopedia della Scienza e della Tecnica (2007)
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] in [1] il numero di operatori modali iterati e in [2] il numero di passi della relazione R (ponendo w1R0wk uguale a wi=wk). Per esempio l'assioma 4 (p⊃p) è il caso speciale di [1] in cui m=0, n=1, j=2, k=0, mentre i modelli che lo convalidano sono ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Simon, Herbert Alexander
Dizionario di Economia e Finanza (2012)
Simon, Herbert Alexander
Economista statunitense (Milwaukee, Wisconsin, 1916 - Pittsburgh, Pennsylvania, 2001). Insegnò all’Università Carnegie Mellon di Pittsburgh (1946). Fu autore prolifico e si interessò [...] neoclassica, in luogo della quale propose modelli più rispettosi dell’irriducibile complessità del sistema e basati sull’assioma della «razionalità limitata»; esso postula una ridotta capacità del soggetto di raccogliere ed elaborare informazioni, l ...
Leggi Tutto
Geometria
Enciclopedia Italiana - VI Appendice (2000)
Geometria
Ryoichi Kobayashi e Luigi Ambrosio
Giovanni Bellettini
(XVI, p. 623; App. III, i, p. 724; IV, ii, p. 39; V, ii, p. 391)
Numerose voci dell'Enciclopedia Italiana trattano i vari oggetti e [...] euclidea e la g. cartesiana basata sull'uso del metodo analitico, si osserva che la prima si basa su un piccolo numero di assiomi ed è una g. dello spazio piatto, mentre la seconda è caratterizzata dall'uso delle coordinate di R² e dei calcoli basati ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
BÓLYAI, János
Enciclopedia Italiana (1930)
Matematico, figlio di Farkas Bólyai, nato a Kolozsvár (oggi Cluj, in Transilvania) il 15 dicembre 1802, morto a Marosvásárhely (oggi Târgu-Mureş) nel 1860. È celebre come uno dei fondatori della geometria [...] visse in solitudine tra le sue meditazioni. Le lezioni del padre attirarono la sua attenzione sul postulato V d'Euclide (o assioma XI), ma, falliti i suoi tentativi per dimostrarlo, volle costruire un sistema indipendente da quel postulato e nel 1823 ...
Leggi Tutto
N
Enciclopedia della Matematica (2013)
N
N (insieme dei numeri naturali) insieme numerico {0, 1, 2, 3, ...}, indicato con il simbolo N, la cui origine è nell’operazione intuitiva del contare. La nozione di numero naturale è presente già nelle [...] non vuoto, 0 è un elemento di N (detto zero) e s: N → N è un’applicazione che soddisfa i seguenti assiomi (che sono una riformulazione dei cinque assiomi di Peano):
a) s è un’applicazione iniettiva;
b) 0 non appartiene all’immagine di s;
c) se A ⊆ N ...
Leggi Tutto
ordinamento
Enciclopedia della Matematica (2013)
ordinamento
ordinamento o relazione d’ordine, relazione antisimmetrica e transitiva (→ antisimmetria; → transitività). La proprietà di antisimmetria porta a escludere ordinamenti di tipo circolare: infatti, [...] i due insiemi {x ∈ Q : x < 0 o x 2 ≤ 2} e {x ∈ Q : x ≥ 0 e x 2 ≥ 2} soddisfano le ipotesi dell’assioma di Dedekind, ma non esiste alcun elemento che separa i due insiemi; tale fatto è equivalente ad affermare l’irrazionalità di √(2). L’ordinamento ...
Leggi Tutto
predicati, calcolo dei
Enciclopedia della Matematica (2013)
predicati, calcolo dei
predicati, calcolo dei calcolo logico in cui si può esprimere, in modo rigoroso, un ragionamento e valutarne la correttezza. Se si pensa al ragionamento come a una successione [...] da Γ e A si deduce B, allora da Γ si deduce A ⇒ B. In formule: se Γ, A ⊢ B allora Γ ⊢ A ⇒ B. Quindi, se dagli assiomi e dalla formula A si deduce B allora A ⇒ B è un teorema nel sistema formale del calcolo dei predicati ed è dimostrabile in esso. Un ...
Leggi Tutto