Cerca in:
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] , Brouwer sottolineò che il principio del terzo escluso non era intuizionisticamente valido. In maniera implicita (in forma di definizione) ma non per la moltiplicazione. Il terzo articolo, infine, tratta dell'analisi. Il sistema appare molto debole ...
Leggi Tutto
logica intuizionista
Enciclopedia della Scienza e della Tecnica (2008)
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] interpretiamo ←A come A→⊥, dove ⊥ è la proposizione assurda (che nessuna costruzione può realizzare), si vede immediatamente come il terzo escluso A∨←A risulti falso o come sia falsificabile una formula quale ←∃x←A→∀xA. L’assiomatizzazione HI data da ...
Leggi Tutto
CATEGORIA:
LOGICA
insieme fuzzy
Enciclopedia della Scienza e della Tecnica (2008)
insieme fuzzy
Settimo Termini
Sia X un insieme arbitrario e I l’intervallo [0,1] della retta reale. Un insieme fuzzy è una qualsiasi funzione f:X→I da X ad I. Il nome insieme fuzzy dato a queste applicazioni [...] = (f′∨g′).
Si osservi che, tranne nel caso in cui f è una funzione caratteristica classica, non sono soddisfatte le leggi del terzo escluso e di non contraddizione, avendosi:
f ∨ f′ fi 1 f ∧ f′fi 0.
Quindi f′ non è il complemento algebrico di f e ...
Leggi Tutto
CATEGORIA:
LOGICA
terzo
Dizionario delle Scienze Fisiche (1996)
terzo
tèrzo [agg. numerico ordinale Der. del lat. tertius, da tres "tre"] [LSF] Che in una serie numericamente ordinata viene dopo altri due. ◆ T. suono: (a) [ACS] lo stesso che suono di combinazione, [...] e; (b) [FBT] onde superficiali nell'elio II: v. elio liquido: II 396 d. ◆ [ALG] [FAF] Principio del t. escluso: nella logica matematica, principio, già noto nella logica classica (lat. tertium non datur), generalm. adoperato nelle dimostrazioni per ...
Leggi Tutto
CATEGORIA:
ACUSTICA
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
TERMODINAMICA E TERMOLOGIA
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
relazione
Enciclopedia on line
Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti.
Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] della UE. Nella stipulazione degli accordi di associazione la UE ha competenza esclusiva. L’Unione Europea ha una più generale competenza a concludere accordi con Stati terzi nelle materie in cui esercita il potere di adozione di atti normativi ...
Leggi Tutto
Tartàglia, Niccolò
Enciclopedia on line
Tartàglia, Niccolò. - Matematico (Brescia 1499 circa - Venezia 1557). T. affrontò molte questioni di matematica pura e applicata e scoprì, contendendola con G. Cardano, la formula risolutiva dell'equazione [...] di terzo grado. A lui si deve la prima traduzione italiana degli Elementi di Euclide (1543).
Vita e opere
Forse figlio cubica ridotta (cioè priva del termine di 2º grado), escluso il casus irreducibilis. La scoperta restò nella cerchia della scuola ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Dinamica dei sistemi
Enciclopedia Italiana - VII Appendice (2006)
L'evoluzione temporale dei sistemi - in particolare di quelli deterministici, cioè tali che la conoscenza del sistema a un dato istante ne determina tutta l'evoluzione futura - è stata negli ultimi decenni [...] assenza di termini polinomiali nel tempo almeno fino al terzo ordine nelle masse planetarie. L'estrapolazione di Halley della dinamica del Sistema solare completo (otto pianeti, escluso Plutone) da lui compiuta intorno al 1990. Laskar sostituì ...
Leggi Tutto
La civiltà islamica: antiche e nuove tradizioni in matematica. Gli archimedei e i problemi infinitesimali
Storia della Scienza (2002)
La civilta islamica: antiche e nuove tradizioni in matematica. Gli archimedei e i problemi infinitesimali
Roshdi Rashed
Gli archimedei e i problemi infinitesimali
La storia della geometria infinitesimale, [...] i volumi dei cilindri omologhi associa ti a questa suddivisione, si ha
Nella terza proposizione si dimostra che, se P è il volume di una porzione di in F all'esterno della sfera ∑; l'arco KFH, escluso H, è all'esterno di ∑. Allora la sezione della ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Scienza indiana: periodo classico. Matematica
Storia della Scienza (2001)
Scienza indiana: periodo classico. Matematica
Takao Hayashi
Matematica
'Gaṇita' ('matematica')
Prima dell'introduzione e diffusione dell'astrologia oroscopica e dell'astronomia matematica nella società [...] con d=cc, ed ee con e=(dd)2, mentre il più grande, escluso l'insieme dei numeri infinitamente infiniti per il quale non esiste un massimo, è formula deve aver innanzitutto ottenuto 355/113 quale terzo convergente della frazione continua per 62.832/20 ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
La civiltà islamica: antiche e nuove tradizioni in matematica. Le tradizioni sulle coniche...
Storia della Scienza (2002)
La civilta islamica: antiche e nuove tradizioni in matematica. Le tradizioni sulle coniche...
Roshdi Rashed
Philippe Abgrall
Le tradizioni sulle coniche e l'inizio delle ricerche sulle proiezioni
A [...] PI×PK, e la curva (Γ′) è un cerchio di diametro KI.
In una terza proposizione al-Farġānī dimostra che la retta Aω che passa per il centro di (Γ) dei cerchi paralleli compresi tra i due sono iperboli, escluso (Λ) che ha per immagine una retta, e ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA