Figura retorica che consiste nell’indugio ripetitivo sull’idea comunicata accostando a un enunciato uno equivalente (Come soffri! Come t’affanni!, D’Annunzio). ...
Leggi Tutto
Nome dato dal presidente H. Truman al programma di politica economica e sociale, enunciato nel messaggio al Congresso del 5 gennaio 1949; programma che non si discostava molto nello spirito dal New deal [...] di F.D. Roosevelt dell’anteguerra ...
Leggi Tutto
condizionale controfattuale
In logica e filosofia della scienza (anche in forma abbreviata: controfattuale), enunciato condizionale al congiuntivo (corrispondente a quello che in grammatica è detto periodo [...] sarebbe acceso», dove ovviamente si presuppone che il vaso non sia caduto e che il fiammifero sia stato sfregato. Enunciati di questo tipo hanno suscitato notevole interesse per la difficoltà di analizzarne la struttura logico-semantica in termini di ...
Leggi Tutto
Chimico e medico (Horton, Gloucestershire, 1785 - Londra 1850). È noto specialmente per avere enunciato il principio che i pesi atomici degli elementi, riferiti all'idrogeno, sono interi, ciò che significava [...] che la materia è costituita d'un componente unico (protilo), dalla condensazione del quale provenivano gli altri. L'opera di P. non fu considerata molto favorevolmente da vari storici: si disse che, avendo ...
Leggi Tutto
Zorn, lemma di
Zorn, lemma di o lemma di Kuratowski-Zorn, teorema il cui enunciato è il seguente: se R è un insieme parzialmente ordinato (→ ordinamento) in cui ogni catena (vale a dire un sottoinsieme [...] equivalente) e, viceversa, che l’assioma della scelta può essere reso dimostrabile, a patto di accettare come assioma l’enunciato del lemma di Zorn. Una terza formulazione equivalente del lemma di Zorn e dell’assioma della scelta è il teorema del ...
Leggi Tutto
modus tollendo ponens
modus tollendo ponens 〈mòdus tollèndo pònens〉 [Lat. "modo che negando (un enunciato) afferma (l'altro)"] [FAF] Inferenza della sillogistica classica del tipo: vale almeno uno degli [...] enunciati p, q; vale "non p"; allora vale q. ...
Leggi Tutto
Staudt-Clausen, teorema di
Staudt-Clausen, teorema di in teoria dei numeri, il teorema, enunciato da K. von Staudt e dimostrato dal matematico danese Th. Clausen, stabilisce che se si addiziona 1/p al [...] numero di → Bernoulli Bn, per ogni numero primo p tale che p − 1 divide n, si ottiene un numero intero. Più formalmente, il teorema stabilisce che il numero di Bernoulli B2k è uguale a:
in cui h2k è ...
Leggi Tutto
vero
véro [agg. e s.m. Der. del lat. verus] [ALG] [FAF] Nella logica matematica, un enunciato o una formula di una teoria si dice v. (simb. V) in un universo (modello della teoria) se è soddisfatta sostituendo [...] le sue variabili con elementi del-l'universo; così, per es., la formula ∀a∃b=a:2 (equivalente all'enunciato "per ogni elemento a esiste un elemento b uguale alla metà di a") è v. se interpretata nell'universo dei numeri razionali, non lo è nell' ...
Leggi Tutto
Richard, antinomia di
Richard, antinomia di contraddizione legata alla definizione di un numero attraverso un enunciato in una lingua naturale che contraddice la definizione stessa (→ definibilità). [...] È detta anche paradosso di Richard ...
Leggi Tutto
Berry, antinomia di
Berry, antinomia di contraddizione legata alla definizione di un numero attraverso un enunciato in una lingua naturale che contraddice la definizione stessa (→ definibilità). È detta [...] anche paradosso di Berry, e deriva il nome da G.G. Berry (1867-1928), un bibliotecario dell’università di Oxford, che la formulò in una lettera a B. Russell ...
Leggi Tutto
enunciato
s. m. [propr., part. pass. di enunciare, sostantivato con valore neutro]. – In generale, le parole con cui si enuncia una questione, un problema, un argomento: formulare, dettare l’e. del tema d’italiano; in partic., e. di un teorema,...
enunciare
(o enunziare) v. tr. [dal lat. enuntiare, comp. di e-1 e nuntiare «annunciare», der. di nuntius «messaggio»] (io enùncio o enùnzio, ecc.). – Esprimere, manifestare un concetto, esporre lo stato di una questione, per lo più con una...