La civilta islamica: antiche e nuove tradizioni in matematica. La teoria delle parallele
Christian Houzel
La teoria delle parallele
Secondo la def. 23 che Euclide fornisce nel Libro I degli Elementi, [...] parte il parallelogramma FNPG mostra che FN=GP. Di conseguenza, RG=MF e MR è parallela a FG, quindi anche ad AB. Ripetendo il ragionamento si finisce con l'ottenere che EQ è parallela ad AB e dunque che il punto Q di CD si trova sulla retta AB.
La ...
Leggi Tutto
L'Ottocento: matematica. Equazioni differenziali alle derivate parziali
Thomas Archibald
Equazioni differenziali alle derivate parziali
Nel corso del XIX sec. la teoria delle funzioni di più variabili [...] via; cosicché anche la differenza
[2] f(x+α,y,+β,z+γ,…)-f(x,y,z,…)
tende ad annullarsi.
Questo ragionamento, piuttosto lacunoso, non ha comunque compromesso il lavoro di Cauchy; infatti il suo intento principale era di usare tale risultato nel caso ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] matematica, e si è trovato che esse soddisfano a regole speciali, non enunciate prima. Si sono analizzate le forme di ragionamento usate nelle dimostrazioni matematiche, e si è visto che esse non si riducono ai tipi considerati nei trattati di logica ...
Leggi Tutto
Modelli matematici in immunologia
Ulrich Behn
(Institut für Theoretische Physik, Universitat Leipzig Lipsia, Germania)
Franco Celada
(Cattedra di Immunologia, Università di Genova Genova, Italia)
Philip [...] o meno, sulla base delle evidenze sperimentali. Ma a volte i test sono difficili, o dispendiosi, o non proponibili per ragioni etiche o di opportunità politica e, in tal modo, ipotesi che sono incompatibili dal punto di vista logico coesistono per ...
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 [...] , come le logiche non-monotòne, le logiche per il default reasoning e le varie logiche volte a cogliere formalmente il ragionamento induttivo e abduttivo.
Logiche più forti della logica standard
L'idea di usare la logica standard come base a cui ...
Leggi Tutto
metodo dei moving planes
Daniele Cassani
Metodo che si colloca nell’ambito dello studio di proprietà geometriche delle soluzioni (positive) di equazioni alle derivate parziali ellittiche non lineari. [...] punti P∑, PΝ rispettivamente a sud e nord del piano equatoriale parallelo a π e passante per il centro O. Ripetendo il ragionamento partendo dal punto antipodale a P0 si ottiene u(P∑)≤u(PΝ) e dunque u è simmetrica rispetto al piano equatoriale; ora ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] che, come tale, dovrebbe essere prolungabile. Le critiche a Zermelo sono basate più che altro sul timore che il suo ragionamento possa assomigliare a quello con cui si cerca di legittimare la definizione di W, ma Zermelo ha buon gioco a confutarle ...
Leggi Tutto
Matematico, fisico, filosofo tedesco (Mulhouse 1728 - Berlino 1777), d'origine francese. Fautore di una metafisica che adottasse il metodo matematico, nella sua opera più celebre, il Neues Organon, oder [...] concetti base e degli assiomi che reggono la metafisica, ed ebbe grande influenza sia sull'opera di Tetens sia sulla Critica della ragion pura di Kant. In campi più strettamente tecnici, avvertì l'esigenza di una riforma della logica wolffiana e tese ...
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 [...] , dal gruppo del Bourbaki; ma la n. di tipo matematico, preziosa entro certi limiti, non pare atta a sostituire il ragionamento "per esteso". ◆ [FSD] N. cristallografica: quella che indica una direzione o un piano cristallografico per mezzo di indici ...
Leggi Tutto
WALLIS, John
Giovanni Vacca
Matematico inglese, nato ad Ashford (Kent) il 23 novembre 1616, morto a Oxford il 28 ottobre 1703. Studiò nell'Emmanuel College a Cambridge e prese gli ordini religiosi nel [...] suo amico W. Brounker, ammirando questa notevole espressione aritmetica, riuscì a trasformarla in frazione continua, con un ragionamento assai complicato, conservatoci dal W. Il Commercium Epistolicum, Oxford 1658, tra il W. e i suoi corrispondenti ...
Leggi Tutto
ragionamento
ragionaménto s. m. [der. di ragionare]. – 1. ant. o tosc. Discorso, conversazione: Li tuoi r. [con gli usurai] sian là corti (Dante); in r. piacevoli infino all’ora di poter cenare gli ritenne (Boccaccio); avere (oppure essere...
ragionare
v. intr. [der. di ragione] (io ragióno, ecc.; aus. avere). – 1. a. ant. Discorrere, conversare, parlare: incominciarono a r. delle virtù di diverse pietre (Boccaccio); Né teco le compagne ai dì festivi Ragionavan d’amore (Leopardi);...