Wq/ha/Michael J.Beeson
Michael J. Beeson (an haife shi 19 ga watan Agusta, a shekara ta 1945 a Topeka, Kansas) ɗan lissafi Ba'amurke ne, kuma Farfesa a fannin Lissafi da Kimiyyar Kwamfuta, Jami'ar Jihar San Jose.
Zantuka
[edit | edit source]"The Mechanization of Mathematics," a shekara ta 2004 Michael J. Beeson, "The Mechanization of Mathematics," in Alan Turing: Life and Legacy of a Great Thinker (a shekarar 2004) p. 1-54
Alan Turing shi ne ya fara yin nazari a tsanake kan yuwuwar injina, inda ya kirkiri fitattun na’urorinsa na “Turing Machines” don wannan manufa. Ya bayar da hujjar cewa idan kowane na'ura zai iya yin lissafi, to, wani injin Turing zai iya yin shi. Muhawarar tana mai da hankali kan ikirari cewa ana iya kwatanta ayyukan kowace na'ura, mataki ɗaya a lokaci guda, ta wasu ayyuka masu sauƙi, kuma injinan Turing suna iya yin waɗannan ayyuka masu sauƙi. Shahararriyar Turing ta farko ta samo asali ne daga yin amfani da wannan bincike ga matsalar da Hilbert ya gabatar a baya, wacce ta shafi yuwuwar injina na lissafi. Turing ya nuna cewa a wata ma’ana, ba zai yuwu a sarrafa ilimin lissafi ba: Ba za mu taɓa iya gina injin “oracle” wanda zai iya amsa duk tambayoyin ilimin lissafin da aka gabatar masa daidai da amsar “eh” ko “a’a”. A cikin wata shahararriyar takarda Turing ya ci gaba da yin la'akari da tambayar da ɗan bambanta, "Shin na'urori na iya tunani?." Tambaya ce ta daban, domin watakila inji za su iya tunani, amma watakila ba su da kyau a ilimin lissafi fiye da yadda mutane suke; ko watakila sun fi ƙwararrun lissafi fiye da yadda mutane suke, amma ba ta hanyar tunani ba, kawai ta hanyar ƙwaƙƙwaran ƙididdigewa. Waɗannan takaddun guda biyu na Turing suna kwance a kusa da tushen abubuwan da aka sani a yau da ake kira cirewar atomatik da hankali na wucin gadi.