numeri,-reali_(filosofia): documenti, foto e citazioni nell'Enciclopedia Treccani

teoremi di indecidibilita

Enciclopedia della Scienza e della Tecnica (2008)

teoremi di indecidibilità Silvio Bozzi In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] ’aritmetica, per es. Q, si possa interpretare. È questo il caso della teoria dei numeri reali al secondo ordine o anche al secondo ordine debole, la teoria elementare dei reali con la funzione sen, la teoria dei gruppi e così via. Ma la tecnica si ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: PROBLEMA DELLA FERMATA – MACCHINE DI TURING – LOGICA MATEMATICA – TEORIA DEI NUMERI – ARITMETICA

La scienza in Cina: dai Qin-Han ai Tang. Tre scuole di pensiero

Storia della Scienza (2001)

La scienza in Cina: dai Qin-Han ai Tang. Tre scuole di pensiero Zheng Jianjian Marc Kalinowski Jean Levi Tre scuole di pensiero I moisti e il 'Canone moista' di Zheng Jianjian Fondatore della scuola [...] . La proposizione può essere vista come una forma embrionale del famoso teorema di Cantor all'interno della teoria dei numeri reali della matematica moderna. Da essa si evince altresì che il concetto di 'estremità' nella proposizione LXI del Canone ... Leggi Tutto

CATEGORIA: STORIA DEL PENSIERO FILOSOFICO

negativo

Dizionario delle Scienze Fisiche (1996)

negativo negativo [Der. del lat. negativus, dal part. pass. negatus di negare] [LSF] Che contrasta un'affermazione, che si oppone a qualcosa, in partic. a qualcosa qualificato come positivo. ◆ [STF] [...] cosiddette a sviluppo immediato). ◆ [OTT] Lente n., sistema ottico n.: lo stesso che lente divergente e sistema ottico divergente. ◆ [ALG] Numero n.: un numero reale minore di zero; tale concetto può essere esteso a insiemi più generali di quello dei ... Leggi Tutto

CATEGORIA: TEMI GENERALI – ELETTROLOGIA – FISICA MATEMATICA – OTTICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

connettivi generalizzati

Enciclopedia della Scienza e della Tecnica (2008)

connettivi generalizzati Settimo Termini John von Neumann aveva osservato già nel 1951 che la forma rigida della logica classica poneva una forte limitazione all’espressività di linguaggi di tipo logico [...] ha a che fare con concetti rigidi, tutto-o-niente e ha molto poco contatto con il concetto di continuo proprio dei numeri reali e complessi, cioè con l’analisi matematica. Ma l’analisi è la parte della matematica meglio elaborata e più di successo ... Leggi Tutto

CATEGORIA: LOGICA

irrazionale

Dizionario delle Scienze Fisiche (1996)

irrazionale irrazionale [agg. Der. del lat. irrationalis "non razionale", comp. di in- neg. e rationalis "razionale"] [FAF] Non conforme a ragione; di tutto ciò che non possa essere penetrato, dimostrato, [...] , che non sono radici di tali equazioni (per es., il ricordato π). L'insieme dei numeri i. e di quelli razionali forma la classe dei numeri reali. ◆ [ALG] Superficie i.: quella tale che le coordinate dei suoi punti non possono essere espresse ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA

estremo

Dizionario delle Scienze Fisiche (1996)

estremo estrèmo [agg. Der. del lat. extremus, superlativo di exter o exterus "che sta fuori"] [FAF] Che è o rappresenta il termine ultimo di qualche ente fisico, di luogo e di tempo. ◆ [ALG] E. di una [...] in un insieme I, può capitare che tutti i valori della f sono minori o uguali a un certo numero reale, oppure che, preso un qualsiasi numero reale positivo a, esiste sempre qualche valore della f maggiore di a; nel primo caso, e. superiore della f in ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA

aritmetizzazióne

Dizionario delle Scienze Fisiche (1996)

aritmetizzazione aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] seconda metà dell'Ottocento allo scopo di rendere più rigorosa l'analisi matematica, fondandola su una teoria dei numeri reali e, in definitiva, sull'aritmetica; (b) in partic., procedimento con cui, seguendo determinate regole, si associano alcuni ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

modello

Enciclopedia on line

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 [...] di G. La teoria G è quindi soddisfacibile (in Z). Analogamente risultano m. di G gli insiemi Q, R e C dei numeri razionali, reali e complessi muniti dell’ordinaria addizione. I m. di G sono i gruppi. Caratterizzazione e completezza Il problema della ... Leggi Tutto

CATEGORIA: ARCHITETTURA E URBANISTICA – SCULTURA – FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – ECOLOGIA – ALGEBRA – GEOMETRIA – LOGICA MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – DIRITTO PRIVATO – STORIA E FILOSOFIA DEL DIRITTO – METODI TEORIE E PROVVEDIMENTI – EPISTEMOLOGIA – FILOSOFIA DEL DIRITTO – FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE

TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM

analisi

Enciclopedia on line

Chimica Generalità L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] a cui si deve (1829) la definizione generale di funzione di variabile reale, non più come espressione di calcolo, ma come corrispondenza univoca arbitraria, reali e ha portato all’elaborazione e alla verifica sperimentale di un gran numero ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – TEMI GENERALI – STRUMENTI MUSICALI – CHIMICA ANALITICA – CHIMICA FISICA – STRUMENTI – FISICA MATEMATICA – ANALISI MATEMATICA – STORIA E FILOSOFIA DEL DIRITTO – DOTTRINE TEORIE E CONCETTI – FILOSOFIA DEL DIRITTO – METAFISICA – PEDAGOGIA – BIOGRAFIE – PSICANALISI – PSICOLOGIA COGNITIVA – PSICOLOGIA DELL ETA EVOLUTIVA – PSICOLOGIA GENERALE – PSICOLOGIA SOCIALE – PSICOLOGIA SPERIMENTALE – PSICOMETRIA – PSICOTERAPIA – STORIA DELLA PSICOLOGIA E DELLA PSICANALISI – ARCHIVISTICA BIBLIOGRAFIA E BIBLIOTECONOMIA

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – EQUAZIONI DIFFERENZIALI ORDINARIE – EQUAZIONI ALLE DERIVATE PARZIALI – TEORIA DELLE RAPPRESENTAZIONI – RISONANZA MAGNETICA NUCLEARE

numero

Enciclopedia on line

Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] Q e che la sua cardinalità è maggiore di quella di N; R è cioè «più che numerabile». La costruzione dei n. complessi a partire dai n. reali si può effettuare, invece, senza bisogno di ricorrere a relazioni di equivalenza, definendo direttamente il n ... Leggi Tutto

CATEGORIA: CRITICA RETORICA E STILISTICA – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA – ALGEBRA – ARITMETICA – CONTABILITA – DOTTRINE TEORIE E CONCETTI – DOTTRINE TEORIE CONCETTI

TAGS: FUNZIONI DI VARIABILE COMPLESSA – SISTEMI DI EQUAZIONI, LINEARI – FUNZIONI DI VARIABILE REALE – RELAZIONE DI EQUIVALENZA – FUNZIONE ZETA DI RIEMANN