Georg Kreisel was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America and chiefly studied proof and computation.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Kreisel/
