Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] linguaggi formali aventi un carattere puramente combinatorio, specificabile in termini di insiemi di Il risultato si può ottenere cercando di scrivere una dimostrazione di ⇒A nel calcolo; si parte da ⇒A e si prende una regola di cui sia conclusione. ...
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é [...] procedimento a mano con il computer perché più affidabile dell'uomo!
In seguito si assisterà a teoremi di combinatoria stabiliti mediante calcoli al computer ancora più lunghi. Clement W.H. Lam e i suoi collaboratori hanno dimostrato la non esistenza ...
Leggi Tutto
Convessità
Arrigo Cellina
La convessità è un concetto della matematica elementare; le parole concavo e convesso fanno parte del linguaggio quotidiano. Eppure questo semplice concetto, unito ad altre [...] che la convessità vi gioca: un ruolo di tipo combinatorio che fornisce l'esistenza di punti fissi in dimensioni −x0〉 ≥ 0, per ogni x∈K.
Per esempio, nel caso del calcolo delle variazioni, in cui si minimizza un funzionale del tipo
[5] formula
con ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Ottaviano Fabrizio Mossotti
Leo Liberti
Mossotti fu una figura scientifica di rilievo nell’ambito della fisica matematica di metà Ottocento. Oggi è noto soprattutto per la relazione di Clausius-Mossotti, [...] relation (Steffan, Richter 1990) la formula di CM per calcolare la conduttività media σ di un sistema di sfere di conduttività dinamico (anziché statico), attraverso considerazioni di ordine combinatorio sulle maniere di raggruppare n sfere. Richard ...
Leggi Tutto
BERZOLARI, Luigi
Nicola Virgopia
Nacque a Napoli il 1°maggio 1863. Compiuti gli studi secondari a Pavia, ove, ebbe come maestro S. Pincherle, entrò nel 1880 nel collegio Ghislieri, conseguendo la laurea [...] 1884. Assistente a Pavia alla cattedra di calcolo infinitesimale tenuta da F. Casorati e successivamente 1940), pp. 69-208,sono svolte considerazioni di carattere combinatorio e gruppale. Importanti risultati sulle curve razionali sono raccolti nelle ...
Leggi Tutto
Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] La modificazione fonetica che un fonema subisce nel contatto con altro fonema vicino.
Matematica
Analisi combinatoria
Parte dell’aritmetica, detta anche calcolo c., che ha come scopo principale quello di contare gli aggruppamenti di varia specie che ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] al-Ṭūsī, il quale si rifà all'analisi combinatoria per risolvere il problema filosofico dell'emanazione a Mio padre mi indirizzò a un uomo che vendeva verdure e che praticava il calcolo indiano perché mi istruisse" (al-Qifṭī, Tā᾽rīḫ al-ḥukamā᾽, p. 143 ...
Leggi Tutto
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 [...] la nuova capitale, Baghdad, fece appello agli astrologi per calcolare il tema astrale e determinare il momento più favorevole vera e propria ricerca fonologica, per mezzo di un pensiero combinatorio (al-Ḫalīl ibn Aḥmad), passando per la grammatica e ...
Leggi Tutto
Previsione
Italo Scardovi
di Italo Scardovi
Previsione
La previsione nella scienza
Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] molecole; non anticipano il nucleo atomico che sta per decadere: calcolano il periodo di dimezzamento (che è legge statistica) di un , del caos deterministico), o da un'accidentalità combinatoria immanente (è il modello dell'evoluzione biologica). ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Massimo Mugnai
Gottfried Wilhelm Leibniz
Gli anni giovanili
Gottfried Wilhelm Leibniz nasce a Lipsia il 1° luglio 1646, da famiglia [...] e le regole sia dell'analisi sia della sintesi o combinatoria. A queste tre fasi se ne saldano altre due: lo singoli caratteri e alle formule. Infine, per lo svolgimento del calcolo in senso proprio, dovrà essere definito un insieme di relazioni ...
Leggi Tutto
combinatorio
combinatòrio agg. [der. di combinare]. – Fondato sulla combinazione, risultante dalla combinazione dei varî elementi. In partic.: 1. In filologia, metodo c., metodo che consiste nell’accertare l’esatta interpretazione di un elemento...
mathesis
‹màteṡis› s. f. [traslitt. del gr. μάϑησις, dal tema μαϑ- di μανϑάνω «imparare»]. – Termine che significa propriam. «apprendimento, conoscenza», adottato nel linguaggio filosofico e matematico con il sign. di «scienza matematica»,...