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 [...] due regole di derivazione. Sia f0(x), f1(x), f2(x), ... la successione di funzioniricorsive ottenute in tal modo. Si consideri la funzione F(x)=fx(x)+1. Questa funzione è computabile in senso intuitivo, dal momento che, fissato un numero naturale n ...
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 [...] non è maggiorato nemmeno da una funzionericorsiva primitiva. Per dimostrare la convergenza dell un principio d'uniformità, così che se f: α→α′ è una funzione strettamente crescente si può definire una α-dimostrazione ‒ l'immagine reciproca di Π ...
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
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] sistema dei numeri naturali come un insieme N su cui è data una funzione iniettiva f da N a N. (l’operazione di passaggio al successore), al sistema dei numeri e alla derivabilità ricorsiva delle proprietà numeriche; tuttavia la differenza principale ...
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...
piazza
s. f. [lat. platĕa «via larga, piazza» (dal gr. πλατεῖα, propriam. femm. di πλατύς «largo»); cfr. platea, che risale a una variante lat. platēa con e lunga]. – 1. a. Area libera, più o meno spaziosa, di forma quadrata, rettangolare,...