La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] suo contemporaneo, il quale cercava i numeri della 'divisione logica' secondo cui si organizzano gli elementi della frase inna al da tutte e due le parti si ottiene:
da cui, tenendo conto dell'equivalenza con la sommatoria da p=0 a p=m+n come la [22 ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale
Jeremy Gray
Geometria differenziale
La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] un problema, proposto per la prima volta dallo stesso Riemann, che richiede di stabilire in quale caso due metriche:
sono equivalenti, cioè se esiste una trasformazione di coordinate che manda una forma nell'altra. La risposta di Christoffel fu nei ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] elemento minimo; è una proposizione facile da accettare, che non tentiamo nemmeno di giustificare.
Un’argomentazione logica ne mostra l’equivalenza con un altro principio: per dimostrare che un teorema matematico è valido per ogni numero naturale n ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] e solo se A⊃B è necessariamente vera. Assumendo l'equivalenza delle due definizioni si ottiene ∉(A ∉B)≡□(A⊃B) in tutti gli j tali che i⊆j.
I rapporti tra logica intuizionista e logica modale sono complessi. Sia A* la traduzione che interpreta A ...
Leggi Tutto
Reticoli, analisi dei
Antonio M. Chiesi
Definizione
L'analisi dei reticoli, o network analysis, consiste in un insieme di metodi e tecniche di analisi strutturale che si basano sui seguenti postulati [...] essere spiegata dai condizionamenti cui è soggetta piuttosto che dalle logiche di scelta dell'attore, il presupposto è che "le relativi al grado soddisfacente di attenuazione del concetto di equivalenza strutturale e al fatto che la procedura non è ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] può sollevare a esso. Ogni cappio omotopo a zero si solleva a un cappio chiuso nel rivestimento universale e curve equivalenti si sollevano a curve con lo stesso punto finale. Le permutazioni dei punti corrispondenti a un dato punto corrispondono a ...
Leggi Tutto
Combinatoria
Peter J. Cameron
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri non rappresenta una branca separata dalle altre ma le pervade tutte, poiché [...] quanti modi si può ottenere (di solito a meno di una equivalenza che deve essere specificata con precisione). È possibile che, se incompleteness in Peano arithmetic, in: Handbook of mathematical logic, edited by Jon Barwise, Amsterdam, North-Holland, ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] non usò il principio del minimo, ma una sua forma equivalente detta 'principio di induzione'. Il principio del minimo ha traduce nell'affermazione che le attività cerebrali di natura logica o deduttiva si possono simulare mediante un computer. ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] pregio ed un suo limite) allo studio dei fondamenti logici di due discipline matematiche basilari: l'aritmetica e la biunivoca con una sua parte propria), la cui equivalenza risulterà dimostrabile solo ricorrendo all'"assioma della scelta". ...
Leggi Tutto
CONFORTO, Fabio
Francesco Saverio Rossi
Nato a Trieste nel 1909 da Ruggero e Irene Vascotto, quando la città era ancora parte integrante dell'Impero austro-ungarico, visse gli anni dell'infanzia, a [...] valore testi scolastici, enciclopedie, opere di logica matematica e di logica della scienza. Altri scritti di carattere storico di vista dell'isomorfismo ma anche sotto l'aspetto dell'equivalenza. Egli stabilisce così l'esistenza di un solo tipo di ...
Leggi Tutto
OR
‹òo›, all’ital. ‹òr› cong., ingl. – Voce corrispondente alla cong. disgiuntiva ital. o, talora usata, con valore di sost. e in funzione appositiva, in logica matematica per indicare l’operazione di disgiunzione o somma logica di due o più...
valore
valóre s. m. [dal lat. tardo (in glosse) valor -oris, der. di valere: v. valere]. – 1. Riferito a persona indica: a. Possesso di alte doti intellettuali e morali, o alto grado di capacità professionale: un uomo, una donna di v., di...