Alan Turing

Da Wikipedia
Vanni a: Navegaçión, çerca

Turing, Alan Mathison. - Matematico e logico matematico britannico (Londra 1912 - Manchester 1954).

Pionê da sciença de l'informaçion e de l'intelligença artifiçiâ, ha ligao o so nomme, in particolâ, a un metodo da lê indicao pe dâ un scignificao preciso a-o concetto intuitivo de fonçion effettivamente computabile mediante una macchina astrætamente definia (macchina de Turing).

Vitta e attivitæ[Càngia | modifica sorgente]

Da-o 1948 o fu lettô de matematica a l'universcitæ de Manchester. Da-e so riçerche fæte primmma da segonda guæra mondiâ derivò l'elaboraçion da macchina de Turing. Questa a l'é costituia da un nastro diviso in campi, o quæ o pœu scorî inte un senso o inte l'atro quanto se vœu; ciascun campo l'é adatto a contegnî esattamente un scimbolo de un ben determinao arfabeto finio. A macchina inoltre a possede una memoia, capaxe de retegnî un numero finio de istruçioin, e un "œuggio" in grao de examinâ esattamente un campo pe votta. Una macchina de Turing, trovandose de fronte a di determinæ scimboli scrîti (in conformitæ de precise instruçioin), a l'esegue o relativo carcolo e a se porta inte una nœuva poxiçion finâ exibendo o risurtao do carcolo. Naturalmente no tutte e opiaçioin ò fonçioin son eseguibile con questo mezo. Una funçion a n argomenti numerichi a saiâ dîta Turing computabile esattamente quande existe una macchina de Turing capaxe de fornî o valô da fonçion in corispondença de una determinâ n-pla de numeri.

O nomme de Turing o l'é ligao ascì a di atri importanti risurtæ de logica matematica, comme una dimostraçion de l'indecidibilitæ do calcolo predicativo puo e a-a dimostraçion de l'insolubilitæ do problema da paola pe i semigruppi.

A Turing se deve ascì l'elaboraçion do test de Turing, criteio ch'o consente de stabilî se una macchina a l'é intelligente, conscistente inte l'imposcibilitæ de distingue, inte un dialogo scrîto, se un o se trœuva davanti a un interlocutô uman o a un artefæto.

Durante a segonda guæra mondiâ o Turing contribuì a decrittâ o codexe Enigma dœuviao da-i tedeschi pe e comunicaçioin radio.

Œuvie[Càngia | modifica sorgente]

Tra i œuvie: On computable numbers, with an application to the Entscheidungsproblem (1936-37); Computability and λ-definibility (1937); Systems of logic based on ordinals (1939); The word problem in semi-groups with cancellation (1950).

Bibliografia[Càngia | modifica sorgente]

http://www.treccani.it/