dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende [...] già riconosciuta per vera, pervenendo necessariamente a un sistema di proposizioni primitive (termini o definizioni, e assiomi), non riducibili ulteriormente a proposizioni più semplici. d. Operazione, esperimento che tende a dimostrare o anche ...
Leggi Tutto
definizione
definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. [...] può parlare del linguaggio usato nel sistema formale cui ci si riferisce; viene usata per individuare gli assiomi e le regole di inferenza del sistema, oppure per abbreviare determinate espressioni ricorrendo a espressioni più semplici appartenenti ...
Leggi Tutto
costruttivismo
s. m. [der. di costruttivo, esemplato, nel sign. 1, sul russo konstruktivizm, e nel sign. 2 sul ted. Konstruktivismus]. – 1. Movimento artistico d’avanguardia che si sviluppò in Russia [...] dare soltanto definizioni e dimostrazioni costruttive, opponendosi, in generale, al metodo assiomatico, che, stabilito un sistema di assiomi con la sola condizione della non contraddittorietà, non si preoccupa di enunciare gli enti che lo verifichino ...
Leggi Tutto
sottoteoria
sottoteorìa s. f. [comp. di sotto- e teoria]. – In matematica, teoria ottenuta da una teoria data considerando solo alcuni degli assiomi di quest’ultima. ...
Leggi Tutto
broccardo
(o brocardo) s. m. [dal lat. mediev. brocardum, prob. alterazione del nome di Burchardus, Burcardo di Worms (c. 965-1025), autore di una raccolta di diritto canonico]. – Nome con cui vengono [...] indicate le Regole generali di diritto, enunciate dalla scuola dei glossatori di Bologna (sec. 12° e 13°), e considerate da alcuni quali assiomi giuridici, da altri come punto in cui s’incontrano opinioni contrarie e discutibili. ...
Leggi Tutto
fondamento
fondaménto s. m. [dal lat. fundamentum, der. di fundare «fondare»] (pl. -i, e in senso proprio più spesso le fondaménta, femm.). – 1. Ciascuna delle strutture murarie su cui si costruisce [...] . della convivenza civile. In partic., ciascuno dei principî logici o ontologici che stanno alla base di un sistema filosofico, o degli assiomi su cui è costruita una scienza e che ne sanciscono la validità: i f. dell’idealismo; i f. della matematica ...
Leggi Tutto
Peano, assiomi di
Peano, assiomi di insieme di assiomi che definisce l’insieme N dei numeri naturali e permette di costruire l’aritmetica come sistema ipotetico-deduttivo. La teoria dei numeri naturali, e quindi l’aritmetica, è una delle branche...