algoritmo
Enciclopedia on line
Matematica
Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo [...] ’altro si cerca di caratterizzare in modo astratto il procedimento di calcolo. Si hanno in questo modo la teoria delle macchine di A. Turing, la teoria degli a. normali di A.A. Markov, e i sistemi di produzioni di E.L. Post. L’aspetto convergente e ...
Leggi Tutto
L'Universo matematico
Frontiere della Vita (1998)
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, [...] . Boston, Birkhäuser, 1981.
FANG, l Bourbaki. New York, Paideia Press, 1970.
HERKEN, R., a c. di The universal Turing machine: a halfcentury survey. Oxford, Oxford University Press, 1988.
GEROCH, R., HARTLE, J. Computability and physical theories. In ...
Leggi Tutto
lambda
Enciclopedia on line
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] di computabilità di una funzione. In questo senso il l. calcolo è un modello di computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono basati sul l. calcolo.
medicina Punto l ...
Leggi Tutto
CATEGORIA:
GRAMMATICA
–
TEMI GENERALI
–
ANTROPOLOGIA FISICA
–
MICROBIOLOGIA
–
FISICA MATEMATICA
–
FISICA NUCLEARE
–
LOGICA MATEMATICA
Logica matematica
Enciclopedia del Novecento (1978)
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] x′=x+1.
Un altro modo di introdurre le funzioni computabili si ottiene ricorrendo al concetto di ‛macchina di Turing'. Questa nozione è congeniale alla mentalità contemporanea, dal momento che rappresenta una versione idealizzata di un calcolatore ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Programmazione, algoritmi di
Enciclopedia della Scienza e della Tecnica (2008)
Programmazione, algoritmi di
Alessandro Panconesi
Il termine algoritmo denota un procedimento sistematico ed esplicitato nei suoi passi elementari per l’esecuzione di un calcolo, inteso nella sua accezione [...] : the enigma, New York, Simon and Schuster, 1983 (trad. it.: Storia di un enigma: vita di Alan Turing, Torino, Bollati Boringhieri, 1991).
Luccio, Pagli 1999: Luccio, Fabrizio - Pagli, Linda, Algoritmi, divinità e gente comune, Pisa, ETS, 1999.
Nagel ...
Leggi Tutto
teoremi di indecidibilita
Enciclopedia della Scienza e della Tecnica (2008)
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 [...] risultati di indecidibilità che non riguardano direttamente teorie formalizzate, per es., il problema della fermata per macchine di Turing, il problema della lambda-convertibilità o quello della derivabilità di parole entro sistemi di Post e così via ...
Leggi Tutto
CATEGORIA:
LOGICA
macchina
Dizionario delle Scienze Fisiche (1996)
macchina
màcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] ), sistemi formali che costituiscono modelli discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic., m. di Turing (v. Gödel, teorema di: III 56 f); (b) teoria delle m., lo studio delle analogie funzionali tra le m ...
Leggi Tutto
Penrose, Sir Roger
Enciclopedia on line
Matematico e fisico britannico (n. Colchester 1931). P. ha dato importanti contributi nella teoria della relatività generale, formulando l'ipotesi secondo la quale la singolarità centrale di un buco nero [...] artificiale, e ha definito una teoria basata su un'analogia tra le attività della mente e una macchina di Turing, accomunate dalla capacità di operare per algoritmi. Ha inoltre proposto e studiato la nozione di tassellazione quasi periodica del ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La grande scienza. Cronologia scientifica: 1951-1960
Storia della Scienza (2003)
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 [...] . Chomsky forma una gerarchia di quattro tipi di grammatiche, dal generale al particolare; il tipo 0 corrisponde alle macchine di Turing; il tipo 1 fornisce i linguaggi dipendenti dal contesto; il tipo 2 dà i linguaggi liberi dal contesto e il tipo ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] è assolutamente estraneo alla visione di Brouwer della matematica come attività non linguistica del matematico ideale. L'analisi di Turing non è legata a uno specifico formalismo, tuttavia per la generalità della sua nozione di algoritmo egli basa le ...
Leggi Tutto