1. 8
    An unsolvable problem of elementary number theory - Church (1936) ☶ pdf historical math ics.uci.edu
    NinjaTrappeur avatar via NinjaTrappeur 1 year ago | cached | no comments

Great piece of history:

In this article, Church is introducing the lambda calculus.

  1.