(1903—1995) – amerikansk matematiker. – Alonzo Church bevisade 1936 i artikeln ”A note on the Entscheidungsproblem” (se avgörbarhetsproblemet) att det finns matematiska problem som det inte går att lösa med mekaniska metoder. Det var samma sak som Churchs studiekamrat Alan Turing† bevisade senare samma år i sin uppsats om stopproblemet. Turing visade senare att de två bevisen var likvärdiga. Båda bevisen byggde på Kurt Gödels† ofullständighetssats. – Church‑Turings hypotes säger att alla matematiska beräkningar som kan beskrivas i ett ändligt antal steg (med en algoritm) kan lösas av en maskin. Om en noggrann men fantasilös människa med papper och penna (givet tillräckligt med tid) kan räkna ut lösningen (lösa problemet mekaniskt) kan en maskin också göra det. Men: beräkningen kan pågå i all evighet. Till exempel är det lätt att beskriva divisionen 2 delat med 3, men det tar en evighet att räkna ut svaret med decimala siffror (0,6666666 …) om man inte sätter stopp. För att inte tala om sådant som att räkna ut värdet på pi. – Det som både Church och Turing bevisade var att även om en maskin kan utföra alla beräkningar som kan uttryckas som algoritmer, så kan maskinen inte avgöra ifall beräkningen tar slut någon gång, eller om den fortsätter i all evighet. – En artikel på engelska om vanliga missuppfattningar av Church‑Turings hypotes finns här.
[alonzo church] [datorvetenskap] [för- och bihistoria] [personer] [ändrad 17 oktober 2021]