Ackermann
Ackermann Wilhelm (Schönebecke, Herscheid, Sassonia-Anhalt, 1896 ‐ Lüdenscheid, Renania Settentrionale-Vestfalia, 1962) logico e matematico tedesco. Fu allievo e collaboratore di D. Hilbert, [...] dimostrazione della coerenza dell’aritmetica. Attraverso la costruzione di una particolare funzione (→ Ackermann, funzione di), dimostrò che l’insieme delle funzioniricorsive primitive non satura il concetto intuitivo di calcolabilità: esiste almeno ...
Leggi Tutto
funzionericorsiva primitiva
funzionericorsiva primitiva in logica, → funzionericorsiva ottenuta a partire dalle funzioni base applicando solo gli schemi della composizione e della ricorsione. Esempi [...] primitive sono l’addizione, la moltiplicazione, l’elevazione a potenza con esponente naturale, il fattoriale e molte fra le funzioni solitamente utilizzate. Esistono tuttavia delle funzioniricorsive che non sono ricorsive primitive: è il caso della ...
Leggi Tutto
composizione, schema della
composizione, schema della in logica, uno degli schemi per la formazione di una funzionericorsiva a partire dalle funzioni di base. Stabilisce che se g e h sono due funzioni [...] ricorsive, tale è anche la loro composizione ƒ(x) = g(h(x)). ...
Leggi Tutto
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
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
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
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
Considerazioni metodologiche sullo studio delle funzioni cerebrali
Frank van der Velde
(Unit of Experimental and Theoretical Psychology, Leiden Universiteit, Leida, Paesi Bassi)
L'integrazione tra neuroscienze [...] . Questo insieme è noto come l'insieme delle funzioni computabili (o ricorsive). Una macchina, quindi, può produrre l'intero insieme di funzioni computabili, o può produrre solo un sottoinsieme di funzioni di questo insieme. In questo modo, l'insieme ...
Leggi Tutto
Le politiche urbane: uno strano contratto comunitario
Paolo Perulli
L’Italia delle cento città
L’importanza delle città per la storia d’Italia, perfino maggiore di quanto non sia per altri Paesi del [...] partecipano ai processi decisionali sono un indicatore di come funzionano queste reti. I comitati, che rappresentano la capitale e delle città del Meridione, in cui il ricorso alla brevettazione è scarsissimo anche nei centri maggiori. Napoli ...
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 [...] '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
ricorsivo
agg. [der. di ricorrere]. – In matematica e in logica matematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono ottenere dalle funzioni iniziali mediante...
definibilita
definibilità s. f. [der. di definibile]. – Possibilità di essere definito. In matematica e in logica matematica, la proprietà che ha un ente di essere calcolabile, per es. mediante funzioni ricorsive.