Cerca in:
lambda-calcolo
Enciclopedia della Scienza e della Tecnica (2008)
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] già nel sistema di base aggiungendo opportune costanti introdurre termini per i numeri naturali e provare che tutte e sole le funzioni ricorsive generali sono definibili da λ-temini. Il fatto che in tutte le sue varianti il λ-calcolo sia di natura ...
Leggi Tutto
CATEGORIA:
LOGICA
Kleene, Stephen Cole
Enciclopedia on line
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] of sciences degli USA. Sviluppò la teoria delle funzioni lambda-definibili e introdusse le funzioni parziali ricorsive per le quali dimostrò il teorema di recursione. Stabilì, per i predicati dell'aritmetica, una gerarchia a seconda del minimo numero ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
MOSTOWSKI, Andrzej
Enciclopedia Italiana - IV Appendice (1979)
MOSTOWSKI, Andrzej
Logico matematico polacco, nato a Leopoli il 1° novembre 1913. Dal 1947 professore di matematica all'università di Varsavia; dal 1956 membro dell'Accademia polacca delle scienze. Nel [...] teorie dei modelli, di logiche polivalenti, di intuizionismo. Nel 1946 ha scoperto analogie tra la teoria delle funzioni ricorsive e quella degl'insiemi boreliani. Nel 1949 ha dimostrato l'insolubilità del problema della decisione per gli anelli ...
Leggi Tutto
geometria
Enciclopedia on line
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] tipo:
ds2=Edu2+2Fdudv+Gdv2
in cui E, F, G sono convenienti funzioni del punto (u, v). Il ds2 ora scritto non è altro che essere associativo, e l’associatività produce delle formule ricorsive per il calcolo delle curve razionali in questione. Vanno ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
induzione
Enciclopedia on line
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] .
Il principio di i. fornisce la giustificazione anche per le cosiddette definizioni ricorsive di funzioni aritmetiche. In generale, esse stabiliscono il valore di una funzione per l’argomento zero (e per eventuali parametri); poi stabiliscono il ...
Leggi Tutto
CATEGORIA:
ANTROPOLOGIA FISICA
–
BIOCHIMICA
–
BIOINGEGNERIA
–
EMBRIOLOGIA
–
GENETICA
–
CHIMICA FISICA
–
CHIMICA INORGANICA
–
ELETTROLOGIA
–
FISICA MATEMATICA
–
LOGICA MATEMATICA
–
FISIOLOGIA UMANA
–
GENETICA MEDICA
–
PSICHIATRIA
–
CITOLOGIA EMBRIOLOGIA E GENETICA
–
DOTTRINE TEORIE E CONCETTI
–
METAFISICA
–
STRUMENTI E TECNOLOGIA APPLICATA
STATISTICA
Enciclopedia Italiana - V Appendice (1995)
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] conveniente sintesi della distribuzione finale. La determinazione di questa sintesi può avvenire mediante il ricorso alla teoria delle decisioni. Se θ si distribuisce con funzione di ripartizione H(θ) e se x indica il vettore delle osservazioni (x1 ...
Leggi Tutto
Geometria algebrica
Enciclopedia del Novecento II Supplemento (1998)
GEOMETRIA ALGEBRICA
Ciro Ciliberto
Igor R. Shafarevich
Lo sviluppo delle idee di Ciro Ciliberto
Sommario: 1. I temi classici della geometria algebrica. a) Integrali abeliani e curve algebriche. b) [...] e l'associatività produce delle formule ricorsive per il calcolo delle curve razionali lungo Y; se r 〈 0, allora - r è l'‛ordine di polo'.
Per una data funzione non nulla f, il numero r è diverso da zero solo per un numero finito di sottovarietà ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
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 [...] 'insieme di tutti gli x∈ℕ per i quali valga P(x)). Dedekind applicò l'induzione per giustificare le definizioni ricorsive in ℕ, con le quali viene determinata una funzione F su ℕ fissando F(0) e dicendo come F(sc(x)) è definito in termini di F(x) per ...
Leggi Tutto
L'Età dei Lumi: matematica. I metodi numerici
Storia della Scienza (2002)
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, [...] di addizione per gli integrali ellittici e della teoria delle funzioni ellittiche, studiata a fondo nel XIX secolo. Giovanni Fagnano trovò tra l'altro numerose formule integrali ricorsive utilizzando l'integrazione per parti, per esempio per le ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Storia della Scienza (2004)
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 [...] xj. Sia inoltre α un punto fisso di G, cioè α=G(α). Allora, se le funzioni gi sono abbastanza regolari e se il raggio spettrale di J(α) è minore di 1, α come il metodo di Cramer, basato sul calcolo ricorsivo di n+1 determinanti (per n equazioni in ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA