Arte e architettura
Movimento d’avanguardia che si sviluppò in Russia nel complesso clima d’impegno ideologico e culturale degli anni successivi alla Rivoluzione del 1917. Sulla base di stimoli e suggestioni [...] Bagrickij, V.A. Lugovskoj, V.M. Inber) e, soprattutto, nel campo dell’architettura con le realizzazioni e i progetti dei fratelli Vesnin, di K.S. ai concetti di computabilità, decisione ecc., ed è alla base dellateoriadella ricorsività (➔). ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] 346-72; E. Casari, Computabilità e ricorsività, Varese 1959; R. Magari, Su certe teorie non enumerabili (sulle limitazioni dei potente. Con queste ipotesi e utilizzando la teoriadella ricorsività primitiva, Gödel dimostrò nella predetta memoria ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] se è riconosciuto da un semigruppo aperiodico.
La teoriadelle varietà di linguaggi razionali si deve a Samuel b−1L=ε appartengono all'algebra generata da L.
Computabilità
Riguardo alla classe più grande contenente tutti i linguaggi riconoscibili ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] che gli elementi dell’insieme ed esprime qualcosa che va oltre il tipo di infinito.
Computabilità ed effettività
Il più o meno come la moltiplicazione. Con i sofisticati metodi dellateoria dei numeri si riesce attualmente a fattorizzare un numero al ...
Leggi Tutto
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] computabilità e nel 1943 fornì una precisazione della nozione di algoritmo (algoritmo di P.); si occupò inoltre del problema della riducibilità e di problemi di decisione, sviluppando la nozione di gradi di insolubilità. Importante la sua teoria ...
Leggi Tutto
computabile
computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica teorica, detto di una funzione...