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 [...] si possono collocare le logiche lineari, in cui le ipotesi sono viste come risorse che possono essere consumate al massimo una volta in una dimostrazione. Ogni connettivo ha una versione moltiplicativa e una additiva, che corrisponde alla presenza ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] avere più di 1/2(n−1)(n−2)+1 rami distinti e che, per ogni n dato, è possibile ottenere questo numero massimo di rami. Hilbert studiò alcuni casi particolari in un articolo del 1891 nel quale formulò la congettura, ripresa nel XVI problema, che per ...
Leggi Tutto
Previsioni economiche
Giovanni De Cindio
di Giovanni De Cindio
Previsioni economiche
Presupposti storici
La pratica sistematica delle previsioni economiche, cioè dell'attività di previsione avente [...] di statistica elaborano le tavole).I metodi di ottimizzazione, infine, sono quelli che considerano esplicitamente condizioni di massimo o di minimo per una o più variabili. Questi modelli sono sviluppati nell'ambito della programmazione economica ...
Leggi Tutto
Decisioni, teoria delle
Jon Elster
Introduzione
Lo studio sistematico dei processi decisionali è stato avviato e messo a punto nel XX secolo. Le tre pietre miliari del suo sviluppo sono state: la nascita [...] di X dollari, che il venditore accetta. Da ciò il compratore può desumere che il terreno valga, per il venditore, X dollari al massimo. Più precisamente, egli sa che, per il proprietario, il terreno vale una cifra compresa fra 0 e X dollari (tutti i ...
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 [...] e il numero di regole della dimostrazione diminuisce. Iterando le due operazioni si diminuisce il grado dei tagli, vale a dire il massimo numero di costanti logiche in una formula più uno. Il grado 0 è quello delle dimostrazioni senza tagli e i due ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] identica (in norma spettrale) è superiormente limitato da 14.24(λ/μ)n2B−s, ove λ e μ sono gli autovalori massimo e minimo, rispettivamente, di A e la macchina esegue le operazioni aritmetiche in base B con s cifre significative. Non si comprese ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] di corrente valori di 200 μA per protoni e 100 μA per ioni idrogeno negativi, con un'energia di 100 MeV (l'energia massima di progetto è di 800 MeV).
La supercamera a bolle europea del CERN di Ginevra. Nel mese di gennaio entra in funzione presso ...
Leggi Tutto
Il Rinascimento. Verso una nuova matematica
Enrico Giusti
Paolo Freguglia
Pier Daniele Napolitani
Pierre Souffrin
Verso una nuova matematica
Introduzione
di Enrico Giusti
A chi si volga alla matematica [...] ed editore di Archimede (v. par. 4) ben conosce. Le dimostrazioni più importanti (l'elevazione di 45° per ottenere la gittata massima con un cannone, la discussione stessa della gittata) non sono né giuste né sbagliate, per il buon motivo che non vi ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] dell'INFN di Frascati entra in funzione l'anello di accumulazione per elettroni e positroni ADONE, caratterizzato da un'energia massima per fascio di 1550 MeV, a cui si devono importanti risultati nello studio della produzione di adroni.
La tecnica ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] il metodo usuale, il che fa pensare che si tratti di due processi differenti.
Condensazione di potassio (41K). Massimo Inguscio e collaboratori al laboratorio LENS di Firenze sviluppano il metodo di raffreddamento simpatetico in una miscela di atomi ...
Leggi Tutto
massimo
màssimo agg. e s. m. [dal lat. maxĭmus, superl. di magnus «grande»]. – Grandissimo, il più grande. Funge da superlativo di grande (come il lat. maxĭmus rispetto a magnus) e si contrappone direttamente a minimo. 1. a. Si usa, quasi...
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:...