Church, Alonzo
Logico e matematico statunitense (Washington 1903 - Hudson, Ohio, 1995). Prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, insegnò dal 1967 matematica [...] la tesi si può confermare con argomenti di carattere sperimentale ma non può essere dimostrata, perché la nozione di ricorsività ammette una definizione precisa, mentre la nozione di calcolabilità ha un carattere informale, che rimanda a una nozione ...
Leggi Tutto
decidibilita
decidibilità termine utilizzato nella teoria della calcolabilità per indicare l’esistenza di una procedura algoritmica che permetta di stabilire, in un numero finito di passi, se una data [...] solo se sono semidecidibili sia esso sia il suo insieme complementare. Nel contesto della teoria della ricorsività, gli insiemi decidibili e semidecidibili corrispondono rispettivamente a quelli ricorsivi e ricorsivamente enumerabili.
Una formula ben ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] , e così via). Sullo sfondo, vi sono le indagini legate alla teoria degli insiemi e a quella della ricorsività, che tematizzano in generale le nozioni collegate alla costruzione di strutture astratte e alla definizione di procedure combinatorie. Di ...
Leggi Tutto
Escher
Escher Maurits Cornelis (Leeuwarden 1898 - Laren 1972) disegnatore e incisore olandese. Diplomatosi alla Scuola di architettura e arti decorative di Haarlem, si dedicò successivamente alla grafica. [...] artistica concetti astratti di matematica e questioni che all’epoca erano al centro della riflessione teorica: la ricorsività, i paradossi dell’autoreferenzialità, l’infinito. Molti lavori si ispirano ai principi della simmetria e della tassellazione ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] sta eseguendo un calcolo di tipo algoritmico. Turing può così introdurre un terza nozione di calcolabilità, equivalente a quella di ricorsività e di λ-definibilità, ma calcolabile da una macchina astratta di un certo tipo.
Una macchina di Turing (MT ...
Leggi Tutto
logica polivalente
logica polivalente con tale locuzione si indica qualsiasi teoria logica in cui i possibili valori di un enunciato non siano soltanto due come nella logica enunciativa (→ enunciati, [...] nel 1965 dal matematico statunitense di origini iraniane L.A. Zadeh. Sistemi di logica polivalente diversi da quelli di Łukasiewicz furono proposti inoltre anche da E. Post nel 1921, con motivazioni tratte dalla teoria della ricorsività, e da altri. ...
Leggi Tutto
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] di fatto, non esauriscono i casi possibili. L’approccio moderno si ispira invece a un principio di generazione ricorsiva (→ ricorsività) di tutte le possibili forme di enunciati da un insieme di simboli semplici, mediante applicazione reiterata di un ...
Leggi Tutto
Turing
Turing Alan Mathison (Londra 1912 - Wilmslow, Cheshire, 1954) logico e matematico inglese. È uno dei fondatori della teoria della → calcolabilità e quindi dell’informatica, e un pioniere dell’intelligenza [...] realizzazione di uno dei primi calcolatori elettronici. I suoi interessi scientifici si indirizzarono verso lo studio della ricorsività, nel cui contesto diede un’analisi della nozione di procedura effettivamente calcolabile, in termini di macchine ...
Leggi Tutto
Rito
Enrico Comba
Il termine rito definisce l'azione o il comportamento formalizzato e simbolico, fissato dalla tradizione, occasionale o periodico, che in genere costituisce parte di un culto o di [...] cambiamenti
La ripetitività e la standardizzazione dei comportamenti rituali sembrano accentuare soprattutto l'elemento di staticità e di ricorsività. I gesti e le azioni rituali sono codificati dalla tradizione, che stabilisce le norme in base alle ...
Leggi Tutto
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 [...] l’ente matematico da definire o di cui si vuole provare l’esistenza. Un c. meno spinto (accettato da molti logici e matematici) si ricollega ai concetti di computabilità, decisione ecc., ed è alla base della teoria della ricorsività (➔). ...
Leggi Tutto
ricorsivita
ricorsività s. f. [der. di ricorsivo]. – In matematica e in logica matematica, la proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., teoria matematica che si propone lo studio, nell’ambito dei numeri naturali, di...
binormalita
binormalità s. f. [der. di binormale]. – Nella logica matematica, la condizione di ciò che è binormale, ed è una delle formulazioni equivalenti del concetto generale di ricorsività.