Scienza greco-romana. Nascita delle scienze e relazioni tra discipline
Storia della Scienza (2001)
Scienza greco-romana. Nascita delle scienze e relazioni tra discipline
Giuseppe Cambiano
Nascita delle scienze e relazioni tra discipline
Sapere globale e distinzioni tra discipline
Nella Grecia antica, [...] con la retorica. In questo dialogo, però, Socrate ha buon gioco nel mostrare che nel secondo tipo di prassi rientrano anche l'aritmetica, la tecnica del calcolo, la geometria e molte altre téchnai (Gorgias, 450 b 3-e 2; Politicus, 258 c 3-e 5 ...
Leggi Tutto
ragione
Dizionario delle Scienze Fisiche (1996)
ragione
ragióne [Der. del lat. ratio -onis propr. "conto, conteggio", e questo da ratus part. pass. di reri "fissare, stabilire"] [FAF] R. cosmica: v. caso: I 513 b. ◆ [ANM] R. di una progressione aritmetica: [...] la differenza costante tra ciascun termine e il precedente. ◆ [ANM] R. di una progressione geometrica: il rapporto costante tra ciascun termine e il precedente. ◆ [ANM] Media ed estrema r.: dividere un ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
La civiltà islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Storia della Scienza (2002)
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 [...] al-Dimašqī, al-Yazdī e Taqī al-Dīn ibn Ma῾rūf tra molti altri. Quindi, sin dalla fine del X sec. il triangolo aritmetico o di Pascal, come pure il teorema del binomio facevano parte delle conoscenze dei matematici arabi. Non è poi raro trovare regole ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. La struttura del sapere
Storia della Scienza (2001)
La scienza bizantina e latina: la nascita di una scienza europea. La struttura del sapere
Alfonso Maierù
La struttura del sapere
La classificazione delle conoscenze
Il periodo che precede la 'rinascita' [...] conoscere la natura delle cose e si suddivide in teologia, fisica e matematica (la matematica è il quadrivio, che comincia con l'aritmetica, la quale insegna l'abaco e l'algorismo). La seconda scienza è quella pratica, che ci insegna cosa si deve o ...
Leggi Tutto
Cardano, Gerolamo
Enciclopedia on line
Medico, matematico, filosofo (Pavia 1501 - Roma 1576). Figlio illegittimo del giurista Fazio (Milano 1445 - ivi 1524), ebbe una fanciullezza travagliata; iniziati gli studî a Pavia e a Milano, li compì [...] a Padova. Nel 1534 fu incaricato di insegnare geometria, aritmetica e astronomia nelle scuole Piattine di Milano; da allora cominciò la sua celebrità, anche per la disputa sostenuta con Niccolò Tartaglia a proposito della formula di risoluzione delle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] non è che una delle varie possibili, privilegiata, se si vuole, da un punto di vista storico, ma non teorico; l’algebra aritmetica è anzi un ramo particolare dell’algebra simbolica.
In questa linea si inserisce l’opera di A. De Morgan, che difese ...
Leggi Tutto
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 [...] ogni formula del linguaggio se è teorema o meno di T. Prototipo di questi risultati è il teorema di Gödel (1931), il quale afferma che l’aritmetica di Peano del primo ordine è indecidibile. Il risultato si può estendere a teorie molto più deboli dell ...
Leggi Tutto
CATEGORIA:
LOGICA
mathesis
Enciclopedia on line
Termine adottato nel linguaggio filosofico con il significato di «scienza matematica», soprattutto nella locuzione m. universalis, assunta a indicare nella filosofia moderna, e in particolare nel razionalismo [...] di Cartesio e di Leibniz, il progetto di una scienza matematica universale, distinta dalle altre discipline matematiche (aritmetica, geometria ecc.) e a esse sovraordinata, in quanto ha per oggetto i loro principi comuni, e che quindi studia la ...
Leggi Tutto
CATEGORIA:
DOTTRINE TEORIE E CONCETTI
indecidibile
Dizionario delle Scienze Fisiche (1996)
indecidibile
indecidìbile [Comp. di in- neg. e decidibile "che non può essere deciso"] [ALG] [FAF] Teoria i.: quella per la quale non esiste nessun algoritmo mediante il quale sia possibile decidere [...] in un numero finito di passi, per ogni proposizione formulabile in essa, se sia vera o falsa; è tale, per es., l'intera aritmetica (v. Gödel, teorema di: III 53 c). ...
Leggi Tutto
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 [...] 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 numeri interi ai segni e alle ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA