1 |
churchkirke | menighet
|
2 |
church(1903-1995) - amerikansk matematiker. Bevisade 1936 i uppsatsen "A note on the Entscheidungsproblem" att det finns matematiska frågor som inte går att besvara 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 li [..]
|
<< holiday | kirke >> |