Alan Turing

Da Wikipedia
Sata a-a navegassion Sata a-a serchia
ZE-P
Sta paggina chie a l'è scrita in zeneize
co' ina grafia tipo quella do Prian do 1745

Turing, Alan Mathison, matematico e lògico matematico britannico (Londra 1912 - Manchester 1954). Pionê da scénsa de l'informaçion e de l'intelligença artifiçiâ, a ligao o sò nomme, in particolâ, a un metodo da lê indicao pe dâ un scignificao precîzo a-o concetto intuitivo de fonçion effettivamente computabile mediante unn-a macchina astrætamente definîa (macchina de Turing).

Alan Turing
Alan Turing az 1930-as években.jpg

Fòto do Alan Turing into 1930

Dæti personâli

Nàscita: Londra, 1912
Mòrte: Manchester, 1954

Âtre informaçioìn

Profesción: matematico

Vitta e attivitæ[modìfica | modìfica wikitèsto]

Da-o 1948 o fu lettô de matematica a l'universcitæ de Manchester. Da-e sò riçèrche fæte primma da segonda guæra mondiâle l'à derivòu l'elaboraçiòn da macchina de Turing. Questa a l'é costitoîa da un nastro diviso in campi, o quæ o peu scorî inte un senso o inte l'atro quanto se veu; ciascùn campo l'é adatto a contegnî esattamente un scimbolo de un ben determinao arfabeto finîo. A macchina pe de ciù a posêde unn-a memöia, capâxe de retegnî un nùmero finîo de istruçioin, e un "euggio" in graddo de examinâ esattamente un campo pe votta. Unn-a macchina de Turing, trovandose de fronte a di determinæ scimboli scrîti (in conformitæ de precise instruçioin), a l'ezêgue o relatîvo càrcolo e a se pòrta inte una nêuva poxiçion finâle exibendo o rizurtao do carcolo. Naturalmente no tutte e opiaçioin ò fonçioin son eseguibile con questo mêzo. 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.

Tra e Òpie[modìfica | modìfica wikitèsto]

  • On computable numbers, with an application to the Entscheidungsproblem, 1936-1937.
  • Computability and λ-definibility, 1937.
  • Systems of logic based on ordinals, 1939.
  • The word problem in semi-groups with cancellation, 1950.

Atri progetti[modìfica | modìfica wikitèsto]

Contròllo de outoritæVIAF (EN41887917 · ISNI (EN0000 0001 1058 9902 · SBN IT\ICCU\MILV\072363 · LCCN (ENn83171546 · GND (DE118802976 · BNF (FRcb12205670t (data) · BNE (ESXX945020 (data) · NDL (ENJA00621580 · WorldCat Identities (ENn83-171546