KV RA Research Assistant

In that paper, Turing proposed and demonstrated that any step-by-step procedure (or algorithm) could be represented as a sequence of elementary computations.

Montague, Read — Why Choose This Book? How We Make Decisions · Card #28
Quotes are taken from the research journals of Kyle Vanderburg.