La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] stabilire se esistano insiemi ricorsivamente enumerabili che non siano né ricorsivi né costruttivamente equivalenti al problemadellafermatadelle macchine di Turing. Nel 1956 uno studente americano, Richard Friedberg, e uno studente russo, Andrei ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] di Church interpreta dunque come umanamente impossibili da risolvere. Il più famoso di tali esempi è il cosiddetto 'problemadellafermata': decidere se una data funzione ricorsiva parziale è definita per un dato argomento o, equivalentemente, se un ...
Leggi Tutto
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] di indecidibilità che non riguardano direttamente teorie formalizzate, per es., il problemadellafermata per macchine di Turing, il problemadella lambda-convertibilità o quello della derivabilità di parole entro sistemi di Post e così via. Di ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Teoria e pratica nel Medioevo
Guy Beaujouan
Teoria e pratica nel Medioevo
L'Alto Medioevo
Il giudizio negativo, talvolta velato di [...] soltanto allorché, con Ruggero Bacone, divenne di attualità il problemadella riforma del calendario.
La differenza tra il musicus, teorico la tecnica alessandrina non fu bloccata; essa si è fermata da sola perché non aveva più ragioni per progredire. ...
Leggi Tutto
DEMOGRAFIA
Eugenio Sonnino e Antonio Golini
Demografia storica
di Eugenio Sonnino
Lo studio delle popolazioni storiche e le fonti
Era l'anno 1662 quando John Graunt, mercante londinese di drapperie [...] crescita della popolazione e uscire dal sottosviluppo.
Inoltre si vanno riproponendo oggi i problemidelle relazioni in essa si verificano, si studia da un lato la popolazione 'fermata' a una data precisa, che normalmente è la data del censimento ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] R2, R3,... quando la macchina si ferma, costituisce il risultato finale dell'esecuzione del programma I1,...,Ih con la function, Edinburgo 1979; R.A. Kowalski, Logic for problem solving, New York 1979; P. Henderson, Functional programming, ...
Leggi Tutto
tempo
tèmpo s. m. [lat. tĕmpus -pŏris, voce d’incerta origine, che aveva solo il sign. cronologico, mentre quello atmosferico (cfr. al n. 8) era significato da tempestas -atis]. – 1. L’intuizione e la rappresentazione della modalità secondo...
stazione
stazióne s. f. (ant. m.: cfr. stazzone) [dal lat. statio -onis «modo di stare; fermata, dimora, riposo», der. di stare «stare, stare fermo, stare ritto»]. – 1. Con riferimento al corpo umano, modo di stare, spec. nella locuz. s. eretta,...