sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] . Un tipico esempio di s. ipotetico-deduttivo è l’aritmetica basata sui postulati di Peano: i numerinaturali (cioè interi positivi) soddisfano evidentemente tali postulati e qualsiasi proposizione da essi dedotta; viceversa qualsiasi teorema ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] finito di sillabe, perciò finito è anche il numero delle definizioni di numerinaturali formulabili con non più di 50 sillabe. Definiamo numero di Berry «il più piccolo numeronaturale non definibile con una frase composta di 50 sillabe al massimo ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] .
Gli insiemi considerati nella teoria sono costituiti da numerinaturali o da n-ple di numerinaturali; tutte le funzioni sono da numerinaturali o da n-ple di numerinaturali in numerinaturali. Gli insiemi, e i predicati, si distinguono in ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] le operazioni zero (come la costante 0), succ (come il successore di un naturale), ed eq (come la relazione di uguaglianza tra due interi), si vede che i numerinaturali sono una ΣNAT-algebra.
Il fatto di considerare i dati non come semplici insiemi ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] (5° sec. a.C.) aveva sviluppato l’aritmetica, basandosi sui numeri figurati, e i primi teoremi della geometria elementare (similitudine, calcolo di fossero immagine, sia pure idealizzata, di enti naturali, tanto che la m. fu a lungo coltivata ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] stabilire la divisibilità per tre è quello di calcolare la somma modulo 3 delle n cifre (ricordiamo che se a e b sono due numerinaturali, la loro somma modulo 3 è il resto della divisione intera di a + b per 3): questa somma è uguale a zero se il ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] la sua ispirazione anti-copernicana, abbiamo già visto come l'idea dell'esistenza di un'intuizione umana universale dei numerinaturali non abbia in realtà un supporto storico. l costruttivisti non potranno mai dire se la mia intuizione è uguale ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] di celle diverse (oltre quelle contenenti α) visitate sul nastro dalla testa di M e sia t(α) il numero di mosse compiute da M. Considerato, per ogni numeronaturale n∈ℕ, l'insieme A(n)={α tali che ∣α∣=n}, si dice che M ha complessità in spazio S ...
Leggi Tutto
induzione
induzióne [Der. del lat. inductio -onis, dal part. pass. inductus di inducere "indurre" (→ induttivo)] [FAF] Procedimento logico, opposto a quello della deduzione, per cui dall'osservazione [...] che elementi diversi da quelli detti appartengano a I (o godano di P). Per es., è definito per i. l'insieme dei numerinaturali, in cui elemento base è lo zero e operazione definitoria è quella di passaggio al successore. ◆ [FAF] Dimostrazione per i ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
naturale
agg. [dal lat. naturalis]. – 1. Della natura, che riguarda la natura o si riferisce alla natura, nel suo sign. più ampio e comprensivo: filosofia n., locuz. con la quale si indicò in passato e si indica tuttora in alcuni paesi l’indagine...