Risultati della ricerca

...ve ad [[Alan Turing]], che lo provò in un articolo del 1937. Il Teorema di Turing è in un certo senso la "versione informatica" del [[teoremi di incompletezz La versione originale della dimostrazione di Turing è in realtà basata sul [[problema della fermata]], detto anche problema del ...

...labili]] coincide con quella delle funzioni calcolabili da una macchina di Turing. ...di Church-Turing prende il nome dai matematici [[Alonzo Church]] e [[Alan Turing]], che la introdussero tra gli [[anni 1930|anni trenta]] e gli [[anni 1940| ...

...è indecidibile. In realtà, è quasi un corollario della soluzione di [[Alan Turing]] al [[problema della fermata]], uno dei 23 [[problemi di Hilbert]]. '''Enunciato''': Non esiste nessuna [[macchina di Turing]] in grado di determinare se una formula della logica predicativa è valida ...

...il ''ban naturale''.<ref>{{Cita libro|cognome=Hodges, Andrew.|titolo=Alan Turing : the enigma|url=http://worldcat.org/oclc/893736029|accesso=2020-04-09|data ...

...ritmo|algoritmi]] risolutivi di problemi. Fra i suoi fondatori vi è [[Alan Turing]]. ...esentazione decimale. Un algoritmo può essere visto come una [[Macchina di Turing]]. Sotto questo aspetto il concetto di algoritmo viene sottratto dall'ambit ...

...più nota del problema è quella proposta nel [[1936]] dal matematico [[Alan Turing]], insieme alla dimostrazione della sua [[Decidibilità|indecidibilità]]. ..._H sia decidibile. Allora per definizione esiste una macchina di Turing T che decide L_H e che per un qualsiasi input x la computazione T ...

In [[Teoria della calcolabilità|teoria della computabilità]], una '''Turing-riduzione''' da un [[problema decisionale]] <math>A</math> ad un problema d ...er <math>B </math> o alla macchina oracolo che computa <math>A</math>. Una Turing-riduzione in cui la macchina oracolo computa in un tempo polinomiale è nota ...

...a locale potrebbe diventare instabile in presenza di diffusione.<ref>A. M. Turing, Phil. Transact. Royal Soc. B 237 (1952): 37</ref> L'idea di Turing può essere realizzata in quattro [[classe di equivalenza|classi di equivale ...

...m/early.ps|curatore-cognome= Robinson|curatore-nome= Alan|wkcuratore= John Alan Robinson|curatore-cognome2= Voronkov|curatore-nome2= Andrei|wkcuratore2= An ...e sviluppato negli anni Trenta del XX secolo da [[Alonzo Church]] e [[Alan Turing]], che da un lato hanno dato due definizioni indipendenti ma equivalenti di ...

...ahrscheinlichkeitsrechnung"'', e poi in modo indipendente da [[Alan Turing|Turing]]. ...

...Prentice Hall, 1995, pp. 462, 465, 466</ref><ref>Christof Teuscher, ''Alan Turing: Life and Legacy of a Great Thinker'', Springer, 2004, pp. 105–6</ref><ref> ...

...:Model of a Turing machine.jpg|thumb|upright=1.4|Un esempio di macchina di Turing]] ...acchina-di-turing_(Enciclopedia-della-Scienza-e-della-Tecnica)|Macchina di Turing|accesso=2022-07-19}}</ref>. ...

...colando l'[[esponente di Lyapunov]] maggiore<ref>{{Cita pubblicazione|nome=Alan|cognome=Wolf|nome2=Jack B.|cognome2=Swift|nome3=Harry L.|cognome3=Swinney|d .../www.nature.com/articles/352610a0}}</ref> come previsto nel 1952 da [[Alan Turing]] ...

...esto in chiaro, noto con il nome in codice [[Ultra (crittografia)|Ultra]]. Turing infatti riuscì a decifrare Enigma e il suo successo e gli obiettivi tedesch ...|Ammiragliato britannico]].<ref name="turing.org.uk">{{Cita web|http://www.turing.org.uk/sources/ruthless.html|Operation Ruthless, October 1940|lingua=en}}</ ...

...tati eseguiti sul SSEM ammonta a 3, incluso un programma scritto da [[Alan Turing]] per la divisione di numeri 'lunghi'.<ref name=spec /> ...] aveva già teorizzato questo fatto dimostrandolo per la sua [[Macchina di Turing]]. ...

...fezionata dagli inglesi, grazie al contributo del grande matematico [[Alan Turing]]. ...

...nte" o "veloce".<ref>{{Cita libro| cognome=Cobham | nome=Alan | linkautore=Alan Cobham | anno=1965 | capitolo=The intrinsic computational difficulty of fun ...algoritmi idonei a svolgere le operazioni aritmetiche su una [[macchina di Turing]]. Se il secondo dei suddetti requisiti non è soddisfatto, allora questo no ...

...ormulation 1]] di [[Emil Leon Post]] del 1936; e, infine, la [[macchina di Turing]] del 1936–37 e 1939. Nonostante ciò, una definizione del concetto di algor ...|programma]] da eseguire, ma, rispetto a un computer reale, la macchina di Turing ha un funzionamento estremamente più semplice che possa essere facilmente d ...

|Nome = Stuart Alan ...4412&rep=rep1&type=pdf|titolo=Stuart Kauffman: Answering Descartes: Beyond Turing}}</ref> ...

...cisione sono indecidibili in un sistema [[Turing completo|completo secondo Turing]]. ...l geniale stratagemma di Gödel, utilizzato successivamente anche da [[Alan Turing]] per risolvere l'[[Entscheidungsproblem]], è il seguente. ...