10204 Turing

10204 Turing estas asteroido de la asteroida zono, malkovrita la  de la italdevena usona astronomo Paul G. Comba elde la observatorio de Prescott (Arizono, Usono).

 Nomo 
Ĝi estis nomita en memoro de la brita matematikisto kaj logikisto Alan Turing (1912–1954), pioniro en la studo de la komputebleco. En fundamenta artikolo eldonita en 1936, li enkondukis la koncepton de maŝino por abstrakta komputado kaj montris kiel tia maŝino povas esti programita por simuli la konduton de iu ajn alia komputanta maŝino. Tiu koncepto, nun tielnomata "Universala Maŝino de Turing", estis enkondukita plurajn jarojn antaŭ la alveno de programeblaj komputiloj, kaj ĝi estis uzata por pruvi la ekziston de nonkomputablaj nombroj kaj nedecideblaj matematikaj propozicioj.

 Eksteraj ligiloj 




Kategorio:Asteroidoj de la ĉefa zono
Kategorio:Malkovrita de Paul G. Comba
Kategorio:Astronomiaj objektoj malkovritaj en 1997