Scienza greco-romana. Archimede
Reviel Netz
Archimede
Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] una sopra l’altra: fig. 8). Il trattato è forse meno elegante di altri ed è relativamente complesso; esso si basa su proposizioni della teoria delle sezioni coniche molto più specifiche di quelle usate in altre opere e anche su risultati di carattere ...
Leggi Tutto
necessità Carattere, qualità, condizione di ciò che non può non essere o essere diversamente da come è.
Filosofia
Nel mondo greco, il termine corrispondente a n., ἀνάγκη, è adoperato inizialmente per [...] in questa posizione, come d’altronde in quella di Wittgenstein, è la possibilità di analizzare in proposizioni atomiche componenti le proposizioni complesse. Diversamente W.V.O. Quine ha tentato una definizione di verità logica non connessa, come ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] i connettivi in questione. Per es., la negazione viene interpretata come quella f. a un argomento che assume valore V se la proposizione a cui si applica la negazione è falsa, e viceversa; si può rappresentare tale f. con il seguente schema (o tavola ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Geometria delle coniche, luoghi, contatti e costruzioni
Philippe Abgrall
Hélène Bellosta
Geometria delle coniche, luoghi, contatti e costruzioni
L'opera [...] dai punti C e D in modo che la divisione (A,C,D,B) sia di tipo I, analoga a quella del lemma. Ma in questa seconda proposizione si costruisce la divisione (A,C,D,B) nella quale sono dati i punti estremi A e B, e non C e B come richiederebbe il lemma ...
Leggi Tutto
notazione
notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] e nella logica matematica vi fu la tendenza (G. Peano) a introdurre una particolare n., includente pressoché tutte le proposizioni e le concatenazioni logiche, in modo da escludere quasi, negli enunciati e nelle dimostrazioni dei teoremi, la parte ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Umberto Bottazzini
I fondamenti della geometria
Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] amore, legge, spazzacamino, allora basterà che assuma tutti i miei assiomi come relazione fra questi enti perché le mie proposizioni, per esempio il teorema di Pitagora, valgano anche per essi. In altre parole: ogni teoria può sempre essere applicata ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] una teoria assiomatica formale con insieme dei teoremi X e con complessità algoritmica o contenuto di informazione algoritmica H(X). Allora, posto che una proposizione come
Il 99° bit di Ω è 0,
Il 37° bit di Ω è 1,
la quale determina il valore di un ...
Leggi Tutto
Il Rinascimento. Le arti matematiche
Eberhard Knobloch
Ivo Schneider
Le arti matematiche
Il concetto di scienze matematiche
di Eberhard Knobloch
Il Rinascimento riprese dal Medioevo il concetto delle [...] pubblicato postumo, nel 1631, a Parigi, da Jean de Beaugrand (1595 ca.-1640). Queste notae costituiscono una raccolta di proposizioni dove sono dimostrate le formule basilari del calcolo letterale. La nuova algebra di Viète, apparsa a Tours nel 1593 ...
Leggi Tutto
L'Eta dei Lumi: matematica. I Principia di Newton nel Settecento
Niccolò Guicciardini
I Principia di Newton nel Settecento
Nel 1687 furono pubblicati a Londra i Principia di Newton. Quest'opera è oggi [...] così tedioso e intricato da provocare la nausea. Ma essi raggiungevano [i risultati] per mezzo di alcune semplici proposizioni, giudicando che niente scritto in uno stile differente fosse degno di essere pubblicato, e di conseguenza nascondevano l ...
Leggi Tutto
CARAVELLI, Vito
Ugo Baldini
Nacque a Montepeloso, oggi Irsina (Matera), nel 1724. Ancora giovane, divenne sacerdote e si dedicò allo studio e poi all'insegnamento della matematica; l'interesse di ricerca [...] solida. Vengono considerati i libri XIXV degli Elementi del geometra alessandrino, ristrutturandoli con l'aggiunta di alcune proposizioni di Cristoforo Clavio e di un ulteriore libro di Francesco Flussate sul confronto tra solidi.
In seguito il ...
Leggi Tutto
proposizione
propoṡizióne s. f. [dal lat. propositio -onis, propr. «il mettere innanzi», der. di proponĕre: v. proporre]. – 1. In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato. In partic.:...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...