Frontiere della ricerca economica
John Barkley Rosser Jr
Premessa
La ricerca economica di ‘frontiera’ del 21° sec. è entrata nell’era postneoclassica. Sebbene la maggior parte dei libri di testo, specialmente [...] quelle basate sulla computabilità (Computability, complexity and constructivity in economic analysis, 2005). Di queste definizioni ve ne sono molte, gran parte delle quali derivano in ultima analisi dalla teoriadell’informazione e dai successivi ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] è piuttosto sottile, tanto che esiste una teoriadella complessità algoritmica che ne studia la struttura. In dell’operatore unitario Uf tale che Uf∣x⟩∣0⟩=∣x⟩∣f(x)⟩. Uf sarà espresso come prodotto di operatori semplici. Pur essendo la computabilità ...
Leggi Tutto
costruttivismo
Indirizzo epistemologico (sostenuto nella sua forma più radicale dai matematici intuizionisti L. E. J. Brouwer, A. Heyting) che accetta in matematica soltanto definizioni e dimostrazioni [...] meno spinto (accettato da molti logici e matematici) si ricollega ai concetti di computabilità, decisione, ecc., ed è alla base dellateoriadella ricorsività. Si è invece definito costruttivismo radicale un orientamento epistemologico sviluppatosi a ...
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
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] se è riconosciuto da un semigruppo aperiodico.
La teoriadelle varietà di linguaggi razionali si deve a Samuel e b−1=ε appartengono all'algebra generata da L.
Computabilità
Riguardo alla classe più grande contenente tutti i linguaggi riconoscibili ...
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
Markov Andrej Andreevic jr
Markov Andrej Andreevič jr (San Pietroburgo 1903 - Mosca 1979) matematico e logico russo, figlio di Andrej Markov senior. Laureatosi in fisica presso l’università di San Pietroburgo, [...] si concentrarono sulla logica, sui fondamenti della matematica e soprattutto sulla teoria degli algoritmi (algoritmo di Markov); a questo ambito di ricerca sono collegati concetti quale la computabilità secondo Markov (equivalente alla ricorsività) e ...
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...