metodo deduttivo
metodo deduttivo modalità di ragionamento che procede dal generale al particolare, tipica del procedere matematico. Per esempio, dall’affermazione «se un triangolo ha due lati di uguale [...] di ragionamenti (o di calcoli logici), richiede l’assunzione di alcuni punti di partenza. Tali punti di partenza sono gli → assiomi di una teoria (per cui la locuzione metodo deduttivo è oggi equivalente a quella di metodo assiomatico) oppure, per ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] e., o delle proposizioni: nella logica matematica, sistema deduttivo (costituito da un linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa, implicazione ...
Leggi Tutto
NUMERO (lat. numerus; gr. άειϑμος)
Federigo ENRIQUES
Giacomo DEVOTO
Riccardo BACHI
Nicola Turchi
Matematica. - Nell'uso comune i numeri vengono adoperati:1. per indicare il posto occupato da un oggetto [...] di Kant, che ritiene spazio e tempo come forme a priori della sensibilità, conferendo valore necessario e rigoroso ai relativi assiomi. In contrapposto a questa tesi si riconosce nell'ordine spaziale una realtà fisica: non già un ordine delle cose in ...
Leggi Tutto
CONIGLIANI, Carlo Angelo
Marco Cupellaro
Nato a Modena il 25 giugno 1868 da Giusto ed Aristea Ravà, fu allievo di G. Ricca Salerno alla locale università e si laureò in giurisprudenza nel 1889, con [...] delle finanze presso l'ateneo modenese (1892).
Nel suo primo lavoro, precoce e brillante applicazione degli assiomi neoclassici ai problemi finanziari, col significativo sottotitolo Saggio di economia pura, il C. compiva uno studio sistematico ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] Una formula si dice valida in una teoria T se è conseguenza degli assiomi non logici di T o, equivalentemente, se è vera in ogni m stesse teorie. Consideriamo, per es., la teoria G, i cui assiomi non logici sono:
Il linguaggio L di G ha i simboli ...
Leggi Tutto
LOGICA POLIVALENTE
Claudio Pizzi
Viene chiamata polivalente qualunque logica che risulti completa rispetto a semantiche che ammettono più valori dei due valori di verità standard (di solito identificati [...] -x} un sottoinsieme proprio dell'insieme dei valori, i cui elementi vengono detti valori designati. Allora, se risulta che tutti gli assiomi di un sistema S, salvo A, assumono valori designati e che le regole di S conservano la proprietà di avere un ...
Leggi Tutto
MARESCOTTI, Angelo
Anna Maria Ratti
Economista, nato a Lugo di Romagna il 18 febbraio 1815, morto a Bologna il 5 ottobre 1892. Partecipò alle guerre d'indipendenza ed ebbe in seguito importanti incarichi [...] 1878); I fenomeni economici e le loro cause costanti (Bologna 1880); L'economia sociale e l'esperienza (Roma 1884); La legislazione sociale e la questione economica (Milano 1886); Il socialismo, forza, assiomi e temperamenti suoi (Bologna 1891). ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] cioè la computabilità e la complessità di calcolo.
Il secondo problema di Hilbert sulla dimostrazione di compatibilità degli assiomi dell'aritmetica, posto all'inizio del XX sec. e rimasto insoluto anche nella formalizzazione dei Principia matematica ...
Leggi Tutto
gruppo
gruppo struttura algebrica con una operazione, alla base della definizione di molte altre strutture, quali gli anelli, i campi, gli spazi vettoriali ecc. È un insieme non vuoto G dotato di una [...] che associa a ogni coppia di elementi a e b di G un terzo elemento di G denotato con a ∗ b, che soddisfa i seguenti assiomi:
• ∀a, b, c ∈ G, (a ∗ b) ∗ c = a ∗ (b ∗ c)
(associatività)
• ∃e ∈ G: ∀a ∈ G, a ∗ e = e ∗ a = a
(esistenza dell’elemento neutro ...
Leggi Tutto
congruenza
congruenza termine usato con diversi significati a seconda del contesto; in generale, indica una particolare relazione di equivalenza nel contesto dato.
☐ In algebra: → congruenza modulo n; [...] punto, la simmetria rispetto a un piano e le loro composizioni. Gli assiomi di congruenza ne forniscono una caratterizzazione assiomatica nell’ambito del piano euclideo (→ congruenza, assiomi di). La congruenza (sia nel piano sia nello spazio) è una ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...