Re: [OT] Denis Ritchie Education

From	Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups	comp.lang.c
Subject	Re: [OT] Denis Ritchie Education
Date	2016-07-03 00:40 +0100
Organization	A noiseless patient Spider
Message-ID	<8760sn8v7j.fsf@bsb.me.uk> (permalink)
References	<nl966b$c57$1@dont-email.me> <1AWdz.59529$Vd4.17411@fx12.iad>

Show all headers | View raw

Lew Pitcher <lew.pitcher@digitalfreehold.ca> writes:

> On Saturday July 2 2016 15:54, in comp.lang.c, "Bill Cunningham"
> <nospam@nspam.invalid> wrote:
>
>>     I was told that DMR' thesis was in "recursive functions". Now I've
>> always assumed maybe being wrong that back then this may have been a
>> mathematics recursive functions and he was a Mathematician. Does anyone know
>> if his PhD was mathematics or computer science?
>
> According to his bio (at https://www.bell-labs.com/usr/dmr/www/bigbio1st.html)
> he says "I received Bachelor's and advanced degrees from Harvard University,
> where as an undergraduate I concentrated in Physics and as a graduate student
> in Applied Mathematics. The subject of my 1968 doctoral thesis was
> subrecursive hierarchies of functions."
>
> Sounds like an Applied Mathematics PhD

Phrased like that it sounds like pure mathematics (and indeed he
published a paper with Myers on this topic in a German journal on the
foundations of mathematics) but the thesis title was actually "Program
Structure and Computational Complexity" so it is clear that he's
applying the theory of subrecursive (i.e. non-Turing complete) functions
to the practical matter of programming.  It's what would now be called
theoretical computer science but might well not have been called that at
the time.

-- 
Ben.

Thread

[OT] Denis Ritchie Education "Bill Cunningham" <nospam@nspam.invalid> - 2016-07-02 15:54 -0400
  Re: [OT] Denis Ritchie Education Malcolm McLean <malcolm.mclean5@btinternet.com> - 2016-07-02 14:20 -0700
  Re: [OT] Denis Ritchie Education Keith Thompson <kst-u@mib.org> - 2016-07-02 14:42 -0700
  Re: [OT] Denis Ritchie Education Lew Pitcher <lew.pitcher@digitalfreehold.ca> - 2016-07-02 17:43 -0400
    Re: [OT] Denis Ritchie Education Ben Bacarisse <ben.usenet@bsb.me.uk> - 2016-07-03 00:40 +0100
    Re: [OT] Denis Ritchie Education "Bill Cunningham" <nospam@nspam.invalid> - 2016-07-03 17:06 -0400
  Re: [OT] Denis Ritchie Education "Charles Richmond" <numerist@aquaporin4.com> - 2016-07-03 12:38 -0500
    Re: [OT] Denis Ritchie Education Malcolm McLean <malcolm.mclean5@btinternet.com> - 2016-07-03 10:54 -0700
      Re: [OT] Denis Ritchie Education Keith Thompson <kst-u@mib.org> - 2016-07-03 12:52 -0700
        Re: [OT] Denis Ritchie Education Gareth Owen <gwowen@gmail.com> - 2016-07-03 21:34 +0100
          Re: [OT] Denis Ritchie Education "Bill Cunningham" <nospam@nspam.invalid> - 2016-07-03 17:09 -0400
        Re: [OT] Denis Ritchie Education "Bill Cunningham" <nospam@nspam.invalid> - 2016-07-03 17:07 -0400
  Re: [OT] Denis Ritchie Education Malcolm McLean <malcolm.mclean5@btinternet.com> - 2016-07-04 16:09 -0700
  Re: [OT] Denis Ritchie Education "Bill Cunningham" <nospam@nspam.invalid> - 2016-07-04 15:37 -0400
  Re: [OT] Denis Ritchie Education "J. Clarke" <j.clarke.873638@gmail.com> - 2016-07-31 05:30 -0400
    Re: [OT] Denis Ritchie Education Tim Rentsch <txr@alumni.caltech.edu> - 2016-07-31 12:40 -0700
      Re: [OT] Denis Ritchie Education Jerry Stuckle <jstucklex@attglobal.net> - 2016-07-31 16:58 -0400
        Re: [OT] Denis Ritchie Education Tim Rentsch <txr@alumni.caltech.edu> - 2016-07-31 15:13 -0700
          Re: [OT] Denis Ritchie Education Jerry Stuckle <jstucklex@attglobal.net> - 2016-07-31 21:21 -0400
            Re: [OT] Denis Ritchie Education Tim Rentsch <txr@alumni.caltech.edu> - 2016-08-01 08:12 -0700
        Re: [OT] Denis Ritchie Education Joe Pfeiffer <pfeiffer@cs.nmsu.edu> - 2016-07-31 16:41 -0600
          Re: [OT] Denis Ritchie Education Jerry Stuckle <jstucklex@attglobal.net> - 2016-07-31 21:24 -0400
            Re: [OT] Denis Ritchie Education Joe Pfeiffer <pfeiffer@cs.nmsu.edu> - 2016-07-31 22:15 -0600
              Re: [OT] Denis Ritchie Education Jerry Stuckle <jstucklex@attglobal.net> - 2016-08-01 09:38 -0400
                Re: [OT] Denis Ritchie Education Joe Pfeiffer <pfeiffer@cs.nmsu.edu> - 2016-08-01 10:18 -0600
                Re: [OT] Denis Ritchie Education Jerry Stuckle <jstucklex@attglobal.net> - 2016-08-01 16:22 -0400
                Re: [OT] Denis Ritchie Education Joe Pfeiffer <pfeiffer@cs.nmsu.edu> - 2016-08-01 15:05 -0600
                Re: [OT] Denis Ritchie Education Jerry Stuckle <jstucklex@attglobal.net> - 2016-08-04 14:01 -0400
                Re: [OT] Denis Ritchie Education Joe Pfeiffer <pfeiffer@cs.nmsu.edu> - 2016-08-04 12:22 -0600
                Re: [OT] Denis Ritchie Education Jerry Stuckle <jstucklex@attglobal.net> - 2016-08-04 16:47 -0400
                Re: [OT] Denis Ritchie Education "Osmium" <r124c4u102@comcast.net> - 2016-08-04 14:22 -0500
                Re: [OT] Denis Ritchie Education Jerry Stuckle <jstucklex@attglobal.net> - 2016-08-04 16:52 -0400
                Re: [OT] Denis Ritchie Education "Osmium" <r124c4u102@comcast.net> - 2016-08-04 16:10 -0500
                Re: [OT] Denis Ritchie Education Jerry Stuckle <jstucklex@attglobal.net> - 2016-08-04 20:30 -0400
      Re: [OT] Denis Ritchie Education luser droog <luser.droog@gmail.com> - 2016-07-31 18:20 -0700
      Re: [OT] Denis Ritchie Education Gareth Owen <gwowen@gmail.com> - 2016-08-01 19:52 +0100
        Re: [OT] Denis Ritchie Education supercat@casperkitty.com - 2016-08-01 15:25 -0700
          Re: [OT] Denis Ritchie Education Joe Pfeiffer <pfeiffer@cs.nmsu.edu> - 2016-08-01 16:38 -0600
            Re: [OT] Denis Ritchie Education supercat@casperkitty.com - 2016-08-01 15:56 -0700
              Re: [OT] Denis Ritchie Education Joe Pfeiffer <pfeiffer@cs.nmsu.edu> - 2016-08-01 17:41 -0600
              Re: [OT] Denis Ritchie Education Gareth Owen <gwowen@gmail.com> - 2016-08-02 06:22 +0100
        Re: [OT] Denis Ritchie Education Tim Rentsch <txr@alumni.caltech.edu> - 2016-08-01 16:48 -0700
          Re: [OT] Denis Ritchie Education Gareth Owen <gwowen@gmail.com> - 2016-08-02 06:27 +0100
            Re: [OT] Denis Ritchie Education Joe Pfeiffer <pfeiffer@cs.nmsu.edu> - 2016-08-02 08:42 -0600
              Re: [OT] Denis Ritchie Education Ben Bacarisse <ben.usenet@bsb.me.uk> - 2016-08-02 16:28 +0100
                Re: [OT] Denis Ritchie Education Joe Pfeiffer <pfeiffer@cs.nmsu.edu> - 2016-08-02 11:15 -0600
                Re: [OT] Denis Ritchie Education Ben Bacarisse <ben.usenet@bsb.me.uk> - 2016-08-02 19:37 +0100
                Re: [OT] Denis Ritchie Education supercat@casperkitty.com - 2016-08-02 12:08 -0700
                Re: [OT] Denis Ritchie Education Ben Bacarisse <ben.usenet@bsb.me.uk> - 2016-08-02 22:40 +0100
            Re: [OT] Denis Ritchie Education Tim Rentsch <txr@alumni.caltech.edu> - 2016-08-03 06:57 -0700
            Re: [OT] Denis Ritchie Education "J. Clarke" <j.clarke.873638@gmail.com> - 2016-10-30 09:06 -0400
              Re: [OT] Denis Ritchie Education supercat@casperkitty.com - 2016-10-30 12:42 -0700
              Re: [OT] Denis Ritchie Education Gareth Owen <gwowen@gmail.com> - 2016-10-31 18:12 +0000

csiph-web