Matematico norvegese (n. 1863 - m. 1922), prof. all'univ. di Oslo. Le sue ricerche vanno dalla meccanica all'algebra e alla logica matematica. Tra le sue pubblicazioni: Über Annäherungswerthe algebraischer [...] preso lo spunto altre opere (per es., di E. L. Post) nelle quali, per mezzo dei cosiddetti sistemi di Thue (insiemifiniti e non vuoti di coppie ordinate di parole su determinati alfabeti) si è potuta dimostrare la non risolubilità del problema delle ...
Leggi Tutto
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] in modo tale che due qualunque di esse non escano mai insieme due volte». Come per sottolinearne la natura frivola, il insiemi parzialmente ordinati), alla teoria dei numeri (successioni e insiemi, geometria dei numeri, partizioni, campi finiti ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] le sostituzioni e i calcoli sopra descritti a un certo sistema di equazioni E. In tal modo E è proprio un insiemefinito di equazioni s=t, dove s e t sono espressioni formali ottenute mediante la concatenazione di simboli funzionali, i cui argomenti ...
Leggi Tutto
cardinalita
cardinalità [Der. di cardinale] [ALG] Nella teoria degli insiemi, proprietà di insiemi, introdotta da G. Cantor, che permette di stabilire sia l'equipotenza, sia l'ordinamento degli insiemi [...] (a) si dice che due insiemi (finiti o infiniti) hanno la stessa c. (o numerosità o potenza) quando è possibile stabilire fra gli elementi del-l'uno e quelli dell'altro una corrispondenza biunivoca; (b) si dice che la c. di un insieme A è maggiore di ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] indivisibili) e, in quest'ultimo caso, se questi atomi fossero di numero finito oppure infinito. Stabilendo una corrispondenza biunivoca tra elementi di insiemi (finiti o infiniti), per esempio tra i punti che costituiscono il diametro del cerchio ...
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 [...] le questioni della verità in matematica a quelle asserzioni che possono essere verificate o confutate. Ovviamente, per un insiemefinito A e per una proprietà P decidibile possiamo verificare ∃xP(x)⋁∀x¬P(x) controllando volta per volta ciascun ...
Leggi Tutto
La grande scienza. Fisica matematica: recenti sviluppi
Gianfausto Dell'Antonio
Fisica matematica: recenti sviluppi
La fisica matematica si può definire come la disciplina scientifica che si propone [...] , conviene osservare che, essendo le particelle tra loro identiche, possiamo identificare la configurazione di N di esse con gli insiemifiniti di R3×R3 che contengono precisamente N punti. Lo spazio S di un sistema infinito di particelle può allora ...
Leggi Tutto
Fisica matematica
Gianfausto Dell'Antonio
La fisica matematica si può definire come la disciplina scientifica che si propone di descrivere in termini matematici rigorosi i fenomeni fisici. La ricerca [...] particelle, conviene osservare che, essendo queste tra loro identiche, possiamo identificare le configurazioni di N particelle con gli insiemifiniti di ℝ3×ℝ3 che contengono N punti. Lo spazio S di un sistema infinito di particelle può allora essere ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria algebrica
Jeremy Gray
Geometria algebrica
Agli inizi del XX sec. la scuola di punta in geometria algebrica era quella italiana, guidata [...] del campo complesso, seguito da un ampliamento algebrico (che corrisponde all'equazione della curva). I divisori figurano come insiemifiniti di punti contati con molteplicità positiva o negativa, che possono rappresentare, per esempio, gli zeri e 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 [...] costituito da tre gruppi di regole di inferenza: Identità, Struttura e Logica, dove Γ, Δ, Λ, ecc. indicano insiemifiniti di formule, eventualmente anche vuoti.
Alcune osservazioni. La regola del taglio è la più importante del sistema e rappresenta ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
finito
agg. [part. pass. di finire]. – 1. a. Giunto o condotto a termine, compiuto: arrivare a spettacolo f.; sono ormai due anni f. che ha lasciato il paese. Frequente nell’uso fam. la locuz. farla finita (con la indeterminato), smettere...