La civiltà islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Storia della Scienza (2002)
La civilta islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Roshdi Rashed
Dal greco all'arabo: trasmissione e traduzione
Gli storici delle scienze e della [...] non resta una specie da una parte e dall'altra" (IV, p. 103). L'Aritmetica di Diofanto non è un libro di algebra, contrariamente a quanto si legge spesso, ma un vero e proprio trattato di aritmetica in cui si cercano, per esempio, due numeri quadrati ...
Leggi Tutto
tautologia
Enciclopedia della Scienza e della Tecnica (2008)
tautologia
Silvio Bozzi
Termine che definisce ogni formula di un linguaggio preposizionale che sia logicamente valida, vale a dire vera in ogni interpretazione delle costanti extralogiche (le costanti [...] estendere a tutte le logiche proposizionali che abbiano una semantica in termini di matrici M=〈W,D〉, dove W è l’algebra che ci dice quali sono i possibili valori delle formule e fissa le funzioni che corrispondono ai connettivi del linguaggio, mentre ...
Leggi Tutto
CATEGORIA:
LOGICA
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 [...] → tale che a∧b≤c se a≤b→c, per tutti gli elementi a,b,c del reticolo. Un importante caso speciale di un'algebra di Heyting è la collezione degli insiemi aperti di uno spazio topologico T ordinato per inclusione, dove U→V:=Interno (V (T U)). Le ...
Leggi Tutto
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] concetti di verità e di conseguenza logica e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica formale.
Vita e pensiero
Prof. di teoria degli insiemi all'univ. di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
astratto
Dizionario delle Scienze Fisiche (1996)
astratto
astratto [agg. e s.m. Der. del part. pass. abstractus del lat. abstrahere "tirar fuori, astrarre", comp. di ab- "fuori" e trahere "trarre"] [FAF] Ottenuto per astrazione, oppure, in contrapp. [...] di equivalenza): per es., un vettore è l'a. di una classe di segmenti equipollenti. ◆ [ALG] Algebra a.: detta pure algebra moderna o semplic. algebra: v. algebra: I 91 a. ◆ [LSF] Scienze a.: quelle (come la matematica, la logica, ecc.) che non hanno ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
Baróne, Francesco
Enciclopedia on line
Filosofo italiano (Torino 1923 - Viareggio 2001), professore di filosofia teoretica all'università di Pisa; i suoi principali interessi si sono volti alle tematiche post-idealistiche e soprattutto alla [...] logico, 1953; Logica formale e logica trascendentale: vol. I, Da Leibniz a Kant, 1957, 2a ed. 1964; vol. II, L'algebra della logica, 1965). Altri studî di B. vertono su N. Hartmann (L'ontologia di N. Hartmann, 1948; N. Hartmann nella filosofia ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
classificazione
Dizionario delle Scienze Fisiche (1996)
classificazione
classificazióne [Atto ed effetto del classificare "ordinare in classi"] [ALG] C. di fibrati: v. fibrato: II 571 c. ◆ [ALG] [ANM] [FAF] Problema della c.: consiste nella scelta di un criterio [...] in comune) di tutti gli enti matematici di un certo tipo (curve, superfici, ecc. in geometria; anelli, gruppi, ecc. in algebra; e così via). Si tratta di un problema di grande importanza per l'impostazione e la costruzione delle singole teorie, che ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] con Heinrich Martin Weber (1842-1913), Dedekind estende i concetti di corpo e ideale (e le loro proprietà) alle funzioni algebriche di una variabile. L'obiettivo è di fondare la teoria di quelle funzioni, che "è uno dei principali risultati di ...
Leggi Tutto
Scienza indiana. La scienza nella cultura indiana
Storia della Scienza (2001)
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] Il segno 'meno' offre un'efficace illustrazione del percorso di questa evoluzione; esso fu espresso per la prima volta nell'algebra indiana con un puntino inserito al di sopra del numero negativo, ma nel periodo in cui giunse in Europa attraverso la ...
Leggi Tutto
Doria, Paolo Mattia
Il Contributo italiano alla storia del Pensiero: Filosofia (2012)
Paolo Mattia Doria
Giulia Belgioioso
Paolo Mattia Doria ha inteso la filosofia come un sapere dal quale attingere i precetti utili a formare il principe virtuoso e a edificare la ‘perfetta repubblica’. [...] Lami», ossia l’Idée de la logique esposta negli Entretiens sur les sciences di Bernard Lamy, del 1683) e dell’algebra.
Compone, dunque, un numero considerevole di scritti matematici che, in parte, pubblica e, in parte, lascia inediti. Quelli a stampa ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE