risolubile
risolùbile [agg. Der. del lat. resolubilis "che si può risolvere", dal part. pass. resolutus del lat. resolvere "sciogliere di nuovo"] [ALG] Equazione algebrica r. per radicali, o r. algebricamente: [...] ] [FAF] Problema non r., o indecidibile: nella logica matematica, problema logico che in linea di principio non ammette una soluzione l'uso di linee diverse dalla retta e dal cerchio. L'analisi compiuta nel 19° sec. ha dimostrato che sono r. con la ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] di sistema di produzione formulata nel 1943 da Post. I linguaggi, i calcoli logici e le teorie formalizzate al centro dell’analisi della logica matematica sono per lo più sistemi formali di questo tipo e il loro studio dal punto di vista sintattico è ...
Leggi Tutto
singolare
singolare [agg. Der. del lat. singularis "proprio di uno solo"] [LSF] Di ente che si comporta in modo diverso dal normale, che presenta eccezioni rispetto a qualche proprietà, in contrapp. [...] ◆ [ALG] [FAF] Proposizioni s.: nella logica matematica, proposizioni che riguardano uno e un solo oggetto o individuo complessa: II 778 d. ◆ [ALG] [ANM] Punto s. stabile: v. analisi non lineare: I 141 a. ◆ [ALG] [ANM] Punto s. trascendente di ...
Leggi Tutto
non standard
nón stàndard [locuz. agg.] [LSF] Generic., di enti o condizioni non usuali, non rispondenti a certe norme, e simili. ◆ [ALG] [FAF] Analisi n.: disciplina nata nell'ambito della logica matematica, [...] negli anni '60 di questo secolo, per rendere coerente e rigoroso il metodo degli infinitesimi e infiniti dell'analisi settecentesca; si è in seguito rivelata uno strumento utile per risolvere problemi attuali, con applicazioni in molti campi, dalla ...
Leggi Tutto
monade
mònade [Der. del lat. monas -adis "unità", dal gr. monás -ádos da mónos "uno solo"] [FAF] Seguendo la definizione di G.W. Leibniz (1696), adattata al successivo sviluppo che il concetto ha avuto [...] in gran numero, costituiscono i particolari sistemi fisici che sono oggetto di studio della meccanica statistica, qual è, come tipico esempio, un gas. ◆ [FAF] [ANM] Con signif. particolare nella logica matematica: v. analisi non standard: I 145 d. ...
Leggi Tutto
metateoria
metateorìa [Comp. di meta- e teoria] [FAF] Nella logica matematica, l'analisi di una teoria, detta teoria oggetto; si distingue tra m. sintattica, che ha per oggetto le proprietà formali delle [...] espressioni della teoria, e m. semantica, che studia anche i signif. dei simb.; più generic., come calco dell'ingl., come sinon. di metafisica ...
Leggi Tutto
transfer
trànsfer [Lettura it. di un s.ingl. "trasferimento", dal v. to transfer 〈trènsfëë〉 "trasferire", che è dal lat. transferre, comp. di trans "oltre" e ferre "portare"] [ALG] [FAF] Principio del [...] t.: importante teorema della logica matematica: v. analisi non standard: I 147 d. ...
Leggi Tutto
metamatematica
metamatemàtica [Comp. di meta- e matematica] [ALG] [ANM] [FAF] La scienza che ha per oggetto l'analisi formale delle strutture matematiche e che può essere identificata con la logica matematica. ...
Leggi Tutto
analisi
anàliṡi s. f. [dal gr. ἀνάλυσις, der. di ἀναλύω «scomporre, risolvere nei suoi elementi»]. – 1. Scomposizione di un tutto, concreto o astratto, nelle parti che lo costituiscono, soprattutto a scopo di studio; si oppone a sintesi, e...
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...