Online courses on CS history?

I've watched Propositions as Types a few times (https://www.youtube.com/watch?v=IOiZatlZtGU) and I find the beginning, the discussion of Turing, Church, and Geodel to me really interesting (the whole talk is awesome though).

Are there any online courses that would go further into this? I'd love to hear more about the evolution of the field, seminal papers/ research, the 'discovery' of CS.

Posted Jul 25, 2017, 3:00 PM UTC

14
reddilada•

I'm not aware of any, but give Grace Hopper a look. Fascinating individual who had a huge impact on our industry. The references and external links sections might lead you somewhere.

1
WikiTextBot•

Grace Hopper

Grace Brewster Murray Hopper (née Murray; December 9, 1906 – January 1, 1992) was an American computer scientist and United States Navy rear admiral. One of the first programmers of the Harvard Mark I computer, she was a pioneer of computer programming, inventing one of the first compiler related tools. She popularized the idea of machine-independent programming languages, which led to the development of COBOL, an early high-level programming language still in use today.

Hopper had tried to enlist in the Navy during World War II. She had to join the Navy Reserves because she was too old to enlist at the age of 34.


^[ ^PM ^| ^Exclude ^me ^| ^Exclude ^from ^subreddit ^| ^FAQ ^/ ^Information ^| ^Source ^] ^Downvote ^to ^remove ^| ^v0.24

1
staticassertOP•

Yeah, I'm certainly aware of Grace Hopper and others. I know a lot of random historical CS figures but a class that sort of goes through it would be cool.

1
reddilada•

Yes it would. Let us know if you find one!

1