indecidibilita
indecidibilità in logica, termine utilizzato per indicare la non → decidibilità di una data proprietà. In particolare, un insieme è indecidibile se non esiste un algoritmo in grado di [...] distinguere il concetto di teoria indecidibile dalla nozione di formula indecidibile (→ decidibilità). Un esempio di enunciato indecidibile è quello espresso nel decimo problema di Hilbert, relativo alle equazioni diofantee (→ Hilbert, problemi ...
Leggi Tutto
Pseudonimo del romanziere francese Jean-Pierre Hervé-Bazin (Angers 1911 - ivi 1996), pronipote di René Bazin (v.), nei suoi romanzi (Vipère au poing, 1948; La tête contre les murs, 1949; La mort du petit [...] ), CEuvre poétique (1992); i saggi: La fine des asiles (1959), Plumons l'oiseau (1966), Ce que je crois (1977) dove ha enunciato le sue opinioni politiche; il volume di racconti Le grand méchant doux (1992) e i romanzi più recenti Le démon de minuit ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] come modo per eliminare l'implicito. è facile vedere, infatti, che entrambi ci permettono di affermare che la dimostrabilità di un enunciato contenente informazioni implicite (il t per cui A(t/x) o il disgiunto da cui si ottiene A B) rimanda alla ...
Leggi Tutto
La lingua del testo teatrale è un tipo di ➔ lingua scritta in cui gioca un ruolo primario la dimensione dell’oralità: il testo si realizza infatti nel divenire di un evento, lo spettacolo teatrale, caratterizzato [...] aggettivi e pronomi), dei ➔ deittici e in generale di tutti i tratti del parlato (➔ lingua parlata) che attualizzano l’enunciato collocandolo nello spazio e nel tempo. I dialoghi scritti e le didascalie contengono già alcuni di questi elementi, altri ...
Leggi Tutto
La parola complemento ha assunto nella storia della linguistica e della grammaticografia occidentale molti e diversi significati. Nella tradizione scolastica italiana, tuttavia, essa ha un ambito d’uso [...] più grave, ha a che fare proprio con i complementi:
questo orientamento, nello sforzo di catalogare gli aspetti del ‘mondo’ che l’enunciato deve rispecchiare, si è spinto ad estremi ingenui e in parte ridicoli, anche se di enorme fortuna: così nella ...
Leggi Tutto
Diritto
A. sociale Insieme di compiti della pubblica amministrazione che consiste nella fornitura di prestazioni, normalmente gratuite, dirette all’eliminazione delle disuguaglianze economiche e sociali [...] ha iniziato a diffondersi il concetto di sicurezza sociale, che trova la sua espressione nel principio di solidarietà sociale enunciato all’art. 38, co. 1, della Costituzione, secondo cui ogni cittadino inabile al lavoro e sprovvisto dei mezzi ...
Leggi Tutto
L’assistenza sociale comprende l’insieme di compiti della pubblica amministrazione consistenti nella fornitura di prestazioni, normalmente gratuite, dirette all’eliminazione delle disuguaglianze economiche [...] ha iniziato a diffondersi il concetto di sicurezza sociale, che trova la sua espressione nel principio di solidarietà sociale enunciato all’art. 38, co. 1, della Costituzione, secondo cui ogni cittadino inabile al lavoro e sprovvisto dei mezzi ...
Leggi Tutto
1. Si designa con questo nome la proprietà che, in maggiore o minor misura, posseggono i corpi naturali, di deformarsi sotto l'azione delle forze esterne a esse applicate, e di riprendere poi la forma [...] deformazione impressa e con le leggi dell'equilibrio per forze esterne tutte nulle. Questo teorema è stato per la prima volta enunciato da G. Colonnetti, nel 1918: una dimostrazione generale ne è stata data solo tre anni dopo (G. Colonnetti, Per una ...
Leggi Tutto
GRAVITAZIONE
Edoardo Amaldi-Massimo Testa
(XVII, p. 770)
Dal 1915-16, quando A. Einstein pubblicò i primi lavori in cui poneva le basi della relatività generale (RG), fino alla metà del secolo questa [...] elevata precisione. L'esempio più tipico è costituito dal principio di equivalenza nella sua forma debole.
Esso può essere enunciato dicendo che "il rapporto della massa inerziale (mi) di un corpo di prova alla sua massa gravitazionale passiva (mg ...
Leggi Tutto
Il testo prescrittivo (detto anche regolativo o istruzionale) è un tipo di testo (➔ testo, tipi di) che ha come fine la regolamentazione di un comportamento immediato o futuro dell’emittente e/o di altri [...] es., il contesto a permettere il riconoscimento della prescrizione di molti enunciati nei manuali di gioco:
(4) Il Cavallo si muove di Carcaterra 1994: 220-223).
In questi termini, l’enunciato al primo comma dell’art. 1 della Costituzione non ...
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...