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 [...] dalle altre, sia nei loro scopi, sia nei loro metodi e persino nel linguaggio. In una parola, al giorno d'oggi c'è una matematica o come quella della logica da utilizzare (delprimoordine o del secondo ordine?) sarà oggetto di lunghe discussioni ...
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 [...] delprimoordine.
Equazioni delprimoordine
Come già osservato, le equazioni alle derivate parziali delprimoordinedel teorema fondamentale del calcolo integrale per funzioni di una variabile. Oggi lo si enuncia di solito utilizzando il linguaggio ...
Leggi Tutto
Solitoni
Francesco Calogero
SOMMARIO: 1. Introduzione: cenno storico. 2. Soluzione di equazioni lineari di evoluzione mediante la trasformata di Fourier. 3. L'equazione di Korteweg-de Vries. 4. La [...] sottolineare che, a causa del fenomeno della dispersione, nessuna equazione ‛lineare' del tipo (1) (salvo la banale equazione delprimoordine, ut + cux = 0 comprensione del comportamento qualitativo delle soluzioni, suggerisce cioè il linguaggio ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] che a sua volta sviluppò quella di Peano.
Le variabili delprimoordine, o individuali, nel sistema di Frege variano su tutti gli T, specificata con precisione entro un linguaggio formale L. Questo linguaggio deve essere dato mediante alcuni simboli ...
Leggi Tutto
L'Ottocento: matematica. Meccanica analitica
Helmut Pulte
Meccanica analitica
La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] opera 'sintetica', nel senso che tale aggettivo aveva nel linguaggio scientifico dell'epoca. Essa si differenzia però dai vecchi 6n+1 equazioni differenziali ordinarie delprimoordine che determinano completamente il moto del sistema a partire dalla ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] di altre classi di teorie logiche.
Una delle prime motivazioni per lo studio dei linguaggi star-free è stata l'osservazione fatta da Robert McNaughton che essi corrispondono alla parte delprimoordine (cioè senza variabili di insiemi) della detta ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale
Jeremy Gray
Geometria differenziale
La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] descrizione è corretta solamente fino a un'approssimazione delprimoordine: occorre tener conto di effetti minori dovuti a portato a esprimere le proprie idee sulla gravità nel linguaggio della curvatura di una varietà quadridimensionale. Mentre la ...
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 [...] l'inferenza non-monotòna in vari modi, due dei quali hanno suscitato un certo interesse. Il primo consiste nell'estendere il linguaggio della logica delprimoordine con un operatore modale M che consente di formulare regole di forma B MB′ / B′ ('Se ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] esempio schemi alle differenze finite (esplicite o implicite) come visto sopra nel trattamento di equazioni differenziali ordinarie delprimoordine, oppure lo stesso metodo agli elementi finiti. Nel caso implicito, l'equazione [11] genererà per ogni ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] indimostrabili nel calcolo dei predicati delprimoordine. Questo teorema è basato sulla tabella di transizione della fig. 2. B accetta tutte e sole le stringhe dellinguaggio L={aibi, i≥1} e si può facilmente dimostrare applicando il Lemma 2 che ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
ordinare
v. tr. [dal lat. ordinare «mettere in ordine, dare assetto» e poi anche con i sign. del n. 3; der. di ordo -dĭnis «ordine»] (io órdino, ecc.). – 1. a. Mettere in ordine, collocare un insieme di oggetti, di elementi, ciascuno al posto...