22 NOV 2017 by ideonexus

 Removing Prepositions in Defining Thought

Having turned my back on propositions, I thought, what am I going to do about this? The area where it really comes up is when you start looking at the contents of consciousness, which is my number one topic. I like to quote Maynard Keynes on this. He was once asked, “Do you think in words or pictures?” to which he responded, “I think in thoughts.” It was a wonderful answer, but also wonderfully uninformative. What the hell’s a thought then? How does it carry information? Is it like ...
  1  notes
 
01 JAN 2010 by ideonexus

 Fundamental Names in Computer Science

Consider some fundamental names: Turing (computation theory and programmable automata), von Neumann (computer architecture), Shannon (information theory), Knuth, Hoare, Dijkstra, and Wirth (programming theory and algorithmics), Feigenbaum and McCarthy (artificial intelligence), Codd (relational model of databases), Chen (entity-relationship model), Lamport (distributed systems), Zadeh (fuzzy logic), Meyer (object-oriented programming), Gamma (design patterns), Cerf (Internet), Berners-Lee (WW...
  1  notes

The author uses this list as proof that computer science can be an inductive discipline, but a list of successes is useless for this argument. All of these "fundamental names" are such because their theories were proven in the real world. It's a selective list. We need to see a list of all theorists and then gauge how well induction works versus empiricism.

It does make a good list of big names and their contributions.