La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] americana Julia Robinson dimostra che la teoriadelprimoordinedel campo razionale è indecidibile; non esiste, cioè, un algoritmo che, data una formula della logica delprimoordine nel linguaggio della teoria dei campi, stabilisca in un tempo ...
Leggi Tutto
Discreto e continuo
Paolo Zellini
Matematica e intuizione
La matematica ha sempre cercato di stabilire un nesso tra il continuo e il discreto, il primo esemplificato, tipicamente, nelle figure dello [...] di cui il celebre teorema (dimostrato tra il 1915 e il 1920) del matematico tedesco Leopold Löwenheim e del collega norvegese Thoralf A. Skolem («ogni teoriadelprimoordine che abbia un modello ha un modello numerabile») ha poi scoperto diversi ...
Leggi Tutto
Godel, teorema di
Gödel, teorema di teorema che riguarda l’incompletezza di un’ampia classe di teorie formali, tra cui la teoria formale dell’aritmetica (→ aritmetica, sistema formale per la). Costituisce [...] particolare, Gödel fa riferimento all’aritmetica formalizzata secondo gli assiomi di Peano come teoriadelprimoordine. Il nucleo su cui si fonda la dimostrazione delprimo teorema di Gödel è il concetto di autoreferenzialità. Per comprendere in che ...
Leggi Tutto
Peano, assiomi di
Peano, assiomi di insieme di assiomi che definisce l’insieme N dei numeri naturali e permette di costruire l’aritmetica come sistema ipotetico-deduttivo. La teoria dei numeri naturali, [...] successore come lettere funzionali. Si ha così un sistema, talvolta indicato con S, che esprime formalmente l’aritmetica come teoriadelprimoordine, i cui assiomi sono i seguenti:
S1: (x1 = x2) ⇒ ((x1 = x3) ⇒ (x2 = x3))
S2: (x1 = x2) ⇒ (x1′ = x2 ...
Leggi Tutto
decisione, problema della
In logica matematica, la ricerca di un procedimento effettivo che consenta di stabilire se una certa proprietà o relazione convenga o no a certi enti. Procedimento ‘effettivo’ [...] numero finito di passi, se E sia o no un teorema. In conclusione, data una qualsiasi espressione logica, non sempre si può stabilire con un procedimento effettivo se essa sia conseguenza degli assiomi della teoriadelprimoordine a cui si riferisce. ...
Leggi Tutto
conseguenza
conseguenza si dice che l’enunciato P è conseguenza logica di un insieme A di enunciati (tipicamente un sistema di assiomi) quando P è dedotta da uno o più enunciati di A. Se la deduzione [...] veri gli enunciati di A. Per il teorema di completezza di Gödel, le due nozioni di conseguenza coincidono nella teoriadelprimoordine relativa ai predicati. In essa, quindi, tutto ciò che è deducibile (cioè dimostrabile con regole formali) è vero e ...
Leggi Tutto
Teoriadel moto di un fluido elettricamente conduttore in presenza di un campo magnetico, indicata correntemente con la sigla MHD (magnetohydrodynamics). Le correnti elettriche indotte nel fluido per effetto [...] nella fluidodinamica. La teoria è detta anche (Rm=Lvμσ), che esprime il rapporto (in ordine di grandezza) fra il primo e il secondo termine a secondo membro della formalismo matematico. Le onde delprimo tipo (onde magnetosoniche lente) ...
Leggi Tutto
L’ordine degli elementi di una struttura sintattica (come un sintagma o una frase) è un parametro cruciale negli studi linguistici, principalmente in quelli di tipologia. A partire dalla struttura della [...] , il cinese, ecc.). Si calcola che circa il 45% delle lingue del mondo sia delprimo tipo e che circa il 42% sia del secondo. Poco meno del 10% delle lingue adotta invece l’ordine VSO (presente ad es. nelle lingue celtiche, in ebraico, in aramaico ...
Leggi Tutto
DEL VECCHIO, Gustavo
Denis Giva
Nacque a Lugo di Romagna, presso Ravenna, il 22giugno 1883 da Cesare e Bice Cavalieri.
L'infanzia del D. fu turbata da un gravissimo lutto familiare: il padre fu infatti [...] dell'economia del benessere e alla teoriadel reddito e dell'occupazione di Keynes.
Il D. riconosce che il primo indirizzo ha sono cambiate le premesse generali e filosofiche, dall'ordine naturale dei fisiocrati al Manuale di Pareto": La ...
Leggi Tutto
Teoria critica della società
Giuseppe Bedeschi
La fondazione dell'Istituto per la Ricerca Sociale e la prima formulazione della 'teoria critica'
L'Istituto per la Ricerca Sociale fu fondato nel 1922, [...] totalitario e autoritario si compie sulla base dello stesso ordine sociale. Tenendo presente questa base economica unitaria, si una fase sostanzialmente nuova della 'teoria critica'.Ma i testi delprimo periodo della Scuola di Francoforte - ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
miṡura s. f. [lat. mensūra, der. di mensus part. pass. di metiri «misurare»]. – 1. a. Il valore numerico attribuito a una grandezza, ottenuto ed espresso come rapporto tra la grandezza data e un’altra della stessa specie assunta come unità (unità...