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 [...] mentre nel paradosso di Burali-Forti essa è quella delmassimo ordinale in termini della totalità di tutti gli sua argomentazione a sostegno di questa proprietà faceva uso del cosiddetto principiodel buon ordinamento (BO), per il quale gli elementi ...
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 [...] o se viceversa si poteva ottenere da un qualche principiodel minimo sforzo. Per molto tempo restò poco chiaro se Massimo Ferrari, traduzione di Eraldo Arnaud, Firenze, La Nuova Italia, 1999).
Costabel 1972: Costabel, Pierre, Fourier et le principe ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Aritmetica
Pascal Crozet
Aritmetica
Se ciò che in questa sede intendiamo per aritmetica si ricollega in generale al calcolo con quantità [...] giustifica la presenza dell'addizione e della sottrazione tra i principî della disciplina (e dunque il fatto che non vengono trattati alle operazioni: l'algoritmo euclideo per la ricerca delmassimo comun divisore viene pertanto ripreso da al-Karaǧī e ...
Leggi Tutto
Programmazione lineare
Robert Dorfman
di Robert Dorfman
Programmazione lineare
Introduzione
La programmazione lineare è una famiglia di metodi matematici per individuare i modi più redditizi o in [...] gravosi via via che aumenta il numero di attività, sebbene i principî all'opera restino sempre gli stessi.
Per far fronte a questa matematica, che consiste a sua volta nella ricerca delmassimo o del minimo di una funzione con più variabili (spesso, ...
Leggi Tutto
La grande scienza. Calcolo delle variazioni
Gianni Dal Maso
Calcolo delle variazioni
Un problema di grande importanza nella matematica pura e applicata è la ricerca dei valori massimi o minimi di grandezze [...] rappresenta l''azione' del sistema.
I legami tra funzionale e sistema di Euler permettono di dimostrare il 'principio di minima azione': introdotto da Weierstrass per provare l'esistenza delmassimo e del minimo di una funzione continua definita su ...
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 [...] dimostrazione di A né di ∉A, si impone un abbandono delprincipiodel terzo escluso. Lo stesso risultato è inevitabile in tutte le sono viste come risorse che possono essere consumate al massimo una volta in una dimostrazione. Ogni connettivo ha ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] delmassimo o del minimo originariamente cercato: in genere essi conducono a un risultato di esistenza per i massimi o i minimi non del ipotizzare un allontanamento dalla validità generale delprincipio di estensionalità, consistente nel passaggio ...
Leggi Tutto
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 [...] si diminuisce il grado dei tagli, vale a dire il massimo numero di costanti logiche in una formula più uno. Il allora si dimostra anche ⇒A[t/x] per un termine t.
Principidel genere non valgono in LK perché possiamo sempre ipotizzare che l'ultima ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali ordinarie
Jean Mawhin
Equazioni differenziali ordinarie
Accanto a sostanziali progressi nella teoria delle equazioni [...] definito dalla P(a)=y(t;a,ε), dove y(t;a,ε) è la soluzione del problema di Cauchy y′=f(t;y,ε), y(0)=a.
Quando l'equazione alle variazioni interessante tecnica di studio della [19], basata sul principio di massimo, e che si trova in germe nei lavori ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] tecnici, isomorfa ai) numeri numerali se soddisfa il 'principiodel minimo', cioè se ogni suo sottoinsieme non vuoto ha esso sta nell'insieme, il problema della fermata ha il massimo grado fra quelli degli insiemi ricorsivamente enumerabili.
Nel 1944 ...
Leggi Tutto
massima1
màssima1 s. f. [dal lat. maxĭma (sententia), propr. «sentenza di carattere generale»]. – 1. a. Giudizio che si trae dall’esperienza pratica e si assume come norma generale dell’agire; anche il detto, la sentenza che esprime tale giudizio:...
tempo
tèmpo s. m. [lat. tĕmpus -pŏris, voce d’incerta origine, che aveva solo il sign. cronologico, mentre quello atmosferico (cfr. al n. 8) era significato da tempestas -atis]. – 1. L’intuizione e la rappresentazione della modalità secondo...