News for hackers. Stuff that matters.
Re:When did computer science theory get so hard? by hprotagonist on Tuesday November 16, 2021 @07:31AM (#29239765)
Considering the founders intellectual merits, I’m going to go out on a limb and say that CS theory has been hard since day 0.
Re:When did computer science theory get so hard? by tialaramex on Tuesday November 16, 2021 @08:43AM (#29240444)
The nice thing about an open frontier is that it's really easy to be an innovator. If you put more than a passing thought into almost anything in the vast Terra Incognita you're faced with, you are now the world expert.

Today Grace Hopper's "compiler" wouldn't merit the name, it's just a linker loader, what's the big deal? Well the big deal was nobody had actually programmed the computer to help them program the computer before. A huge sub-discipline of computer science simply didn't exist.

Consider another discipline, metrology. Pioneers in metrology weren't doing advanced physics like you would see in a metrology lab today, they just had the insight that it sure is easier if everybody agrees how much corn this is, so they used prototypes, which is pretty much the simplest strategy but it's already a huge improvement on nothing at all. It took until this century for the last prototype (the Kilogram) to be replaced. On the route there those prototypes got a lot more sophisticated, and we learned a lot more about what it actually means to have a certain amount of a thing, so metrology got much harder.

Re:When did computer science theory get so hard? by arethuza on Tuesday November 16, 2021 @07:51AM (#29239915)
Out of interest, who do you regard as the founders of CS theory - I'd probably go for Church and Turing, but I can see arguments for others as well.
Re:When did computer science theory get so hard? by loraxclient on Tuesday November 16, 2021 @08:06AM (#29240057)
Tangential but may be of interest: a cool book (compilation?) that somewhat addresses this topic is ‘Ideas That Created the Future’ edited by Harry R. Lewis [0].

[0] https://mitpress.mit.edu/books/ideas-created-future

Re:When did computer science theory get so hard? by dc-programmer on Tuesday November 16, 2021 @09:54AM (#29241185)
Working through it now - reading the Laws of Thought by George Boole was a spiritual experience for me. The connection between natural language, logic, and math finally made sense to me. Before I had a hard time understanding the saliency of things like Analytic Philosophy (what does language have to do with truth?) or why the work of someone like Chomsky would be so important to computer scientists. Boole wasn't the only person at time to work on a project to reduce logic to solvable equations (clearly that time in history was ripe for this work, and also Leibniz had laid some of the spiritual groundwork, himself inspired by Ramon Llull and Confucian texts) but the way he wrote about it really resonated with me.

The other surprising thing to me was that it didn't really resemble modern algebra at all. As a former math student I think it's easy to create a mental model of math history where when new fields are created they resemble the modern incarnation. But when you actually look at the primary founding texts its clear the ideas and notation are pretty unrefined at least compared to today's standards.

Re:When did computer science theory get so hard? by criddell on Tuesday November 16, 2021 @08:30AM (#29240320)
Off topic, but Charles Petzold wrote a really great book that walks you through Turing's historic paper on computability and the Turing Machine. The book is called The Annotated Turing.

I've just started reading it and Petzold claims all you need is a decent grasp of high school mathematics.

Re:When did computer science theory get so hard? by bengale on Tuesday November 16, 2021 @09:06AM (#29240642)
I've had that book on my shelf for so long, I really do need to shift it higher in my reading list.
Re:When did computer science theory get so hard? by mindcrime on Tuesday November 16, 2021 @10:17AM (#29241455)
I've had that book on my shelf for so long, I really do need to shift it higher in my reading list

Glad to see I'm not the only one...

Re:When did computer science theory get so hard? by varjag on Tuesday November 16, 2021 @08:26AM (#29240266)
Shannon, von Neumann
Re:When did computer science theory get so hard? by wongarsu on Tuesday November 16, 2021 @10:36AM (#29241688)
What does "founder" mean to you? Leibniz did a lot of important foundational work 300 years ago, but at the same time CS as a separate field didn't emerge until the 1940s with pioneers like Turing.
Re:When did computer science theory get so hard? by tgv on Tuesday November 16, 2021 @08:02AM (#29240018)
Might want to add Post, Chomsky and Kleene, too.
Re:When did computer science theory get so hard? by DeathArrow on Tuesday November 16, 2021 @08:58AM (#29240571)
Gottfried Leibnitz, David Hilbert, Kurt Gödel.
Re:When did computer science theory get so hard? by mindcrime on Tuesday November 16, 2021 @10:19AM (#29241479)
Should Russell and Whitehead count as well, in terms of this path which seems focused on the formal logic aspect?
Re:When did computer science theory get so hard? by voldacar on Tuesday November 16, 2021 @09:08AM (#29240660)
Leibniz technically
Re:When did computer science theory get so hard? by tech_tuna on Tuesday November 16, 2021 @05:43PM (#29247238)
Since day -1