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 [...] (per es., di E. L. Post) nelle quali, per mezzo dei cosiddetti sistemi di Thue (insiemi finiti e non vuoti di coppieordinate di parole su determinati alfabeti) si è potuta dimostrare la non risolubilità del problema delle parole per i semigruppi o ...
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 [...] 0, n≥2, conduce all'ultima estensione del sistema dei numeri che interessa l'analisi classica: si definiscono, cioè, i ‛numeri complessi' come coppieordinate di numeri reali, α=(a, a′), β=(b, b′), ecc., dove α è considerato uguale a β se e solo se a ...
Leggi Tutto
L'Ottocento: matematica. Analisi complessa
Jeremy Gray
Analisi complessa
Lo sviluppo dell'analisi complessa è una delle caratteristiche salienti della matematica del XIX secolo. Lo studio di funzioni [...] complessi continuava a crescere, i matematici oscillavano tra la loro rappresentazione geometrica e la loro descrizione come coppieordinate di numeri reali. Come succede quasi sempre con le dispute filosofiche, essi dimenticavano il ruolo centrale ...
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 [...] identiche quando rappresentano lo stesso oggetto appartenente a S. Per esempio, la definizione di Kronecker dei numeri razionali positivi con le coppieordinate (n,m), dove n,m sono interi positivi, rappresenta n/m, e identifica (n,m) con (p,q) se e ...
Leggi Tutto
L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] estensionale, secondo il quale le funzioni sono coppieordinate: un punto di vista accolto con estrema difficoltà Waring, nel metodo di Newton si ha il vantaggio di ottenere nuove coppie (x,y) in modo ricorsivo e di poter utilizzare i calcoli già ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] (Ω, P, θ) del tipo seguente. Ω è l'insieme di tutte le sequenze di coppieordinate tali che il primo membro di ogni coppia è un elemento di un certo insieme A e il secondo membro un elemento di un certo insieme B, entrambi contenenti due elementi ...
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 [...] Σ è l'insieme di tutti i sottoinsiemi di Σ. Il prodotto cartesiano Σ×Γ tra gli insiemi Σ e Γ è l'insieme di tutte le coppieordinate (s,g) tali che s∈Σ, g∈Γ. Indichiamo gli alfabeti con lettere greche maiuscole e i loro caratteri con le prime lettere ...
Leggi Tutto
campo delle frazioni
Luca Tomassini
Sia D un dominio di integrità (cioè un anello abeliano nel quale a≠0 e b≠0 implica ab≠0, per ogni a,b∈D). Sussiste allora il seguente teorema: ogni dominio di integrità [...] La dimostrazione di questo risultato è ottenuta costruendo esplicitamente il campo delle frazioni associato a D. Sia dunque M l’insieme delle coppieordinate (a,b), con a,b∈D, e definiamo in M una relazione di equivalenza come segue: (a,b)∿(c,d) se e ...
Leggi Tutto
OPERATORI
Fernando BERTOLINI
. 1. Generalità. - Il termine o. indica d'ordinario il simbolo d'una operazione, o più in generale d'una applicazione univoca (v. applicazione, in questa App.); per una [...] si può generalizzare, pensando d'associare a ω un'applicazione univoca di A × A (totalità delle coppieordinate d'oggetti), ovvero di A × A × A (totalità delle terne ordinate di oggetti),..., in A; si dirà allora che ω è un operatore a due termini ...
Leggi Tutto
NUMERICI CALCOLI (XXV, p. 29)
Enzo APARO
Generalità. - Il concetto di calcolo numerico si può introdurre da un punto di vista generale, come segue. Un insieme finito di oggetti, un insieme finito di [...] vettoriale ad m componenti (reali) continua in A × B, e (x0, y0) un punto fissato di A × B. (A × B denota l'insieme delle coppieordinate x, y con x in A ed y in B). Il problema è quello di trovare un intervallo aperto I ⊂ A, e contenente x0, ed una ...
Leggi Tutto
ordinamento
ordinaménto s. m. [der. di ordinare]. – 1. L’atto di ordinare; operazione, o complesso di operazioni, di attività, di interventi, mediante cui si dà ordine, cioè regolare disposizione, assetto, funzionamento a qualche cosa: o....
prodotto2
prodótto2 s. m. [part. pass. sostantivato di produrre]. – 1. Genericam., tutto ciò che la terra produce o che costituisce il risultato di una qualsiasi attività umana: p. agricoli, vegetali; i p. della terra, del suolo, dei campi,...