[FOM] FOM Digest, Vol 151, Issue 20 Re: Hartley Rogers Jr. 1926-2015

[Benjamin Wells]

I took Mathematical Logic (18.89) from Hartley Rogers in 1962.  The 
course covered FOL plus a broad introduction to Recursive Function 
Theory.  Rogers provided three or four preliminary typescript copies of 
his book on reserve.  One day he came into class and addressed us very 
seriously.  Someone had stolen all the copies and it was an era when 
more copies could not be made.  He was both angry and extremely sad.  It 
meant that we would miss a large chunk of what he had planned for us.  A 
gang of class members offered to retype Ditto masters of the entire 
work, and he was able to supply each of us with our own copy.  I learned 
not only an amazing amount of logic but also, with this tool so 
generously provided by my classmates, a deep technical and intuitive 
knowledge of recursive functions that serves me to this day.   Hartley 
was extremely touched by our response, and it was clear that the 
generous effort of this group removed the pain that had struck him so 
deeply.  He was a great lecturer and a greater teacher.

--Pete

On 7/23/15 8:24 AM, fom-request at cs.nyu.edu wrote:
> Send FOM mailing list submissions to
> 	fom at cs.nyu.edu
>
> To subscribe or unsubscribe via the World Wide Web, visit
> 	http://www.cs.nyu.edu/mailman/listinfo/fom
> or, via email, send a message with subject or body 'help' to
> 	fom-request at cs.nyu.edu
>
> You can reach the person managing the list at
> 	fom-owner at cs.nyu.edu
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of FOM digest..."
>
>
> Today's Topics:
>
>     1. Re: Current issue of Philosophia Mathematica devoted to
>        mathematical depth (Josef Urban)
>     2. Last CFP: Non-Classical Logic. Theory and Applications,	Torun
>        2015 (Rafa? Gruszczy?ski)
>     3. Re: Hartley Rogers Jr. 1926-2015 (fwd) (David Auerbach)
>     4. First announcement - Thematic trimester CIPPMI ?Current
>        Issues in the Philosophy of Practice of Mathematics &
>        Informatics?, Toulouse, 4th April - 1st July 2016 (S?bastien Maronne)
>
>