Questions tagged [computer-scientists]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0
votes
0answers
39 views

Derek Oppen and the Nelson-Oppen combination procedure

Derek Oppen was a student of Stephen Cook known for the Nelson-Oppen combination of decision procedures method. Yet, there is no Wikipedia entry dedicated to him and his publication list extends ...
1
vote
1answer
152 views

Was a work of Ada Lovelace and Charles Babbage inspiration for pioneers of modern computing?

Recently, I came across a book about Grace Hopper where it is stated that Howard Aiken wanted her to become familiar with papers by Ada Lovelace and Charles Babbage as he considered some of Babbage's ...
4
votes
2answers
218 views

How did Yao come up with his minimum spanning tree algorithm?

I recently stumbled upon this text about Yao's algorithm for the minimum spanning tree (MST) and I was wondering if there are some preceding algorithms (other than Sollin's algorithm) that were ...
6
votes
0answers
279 views

Was there an intentional purge of all audio recordings of Alan Turing?

The YouTube video Alan Turing's lost radio broadcast rerecorded contains a re-enactment of Alan Turing's lecture broadcast by the BBC. In the introduction, the narrator (James Grimes, also of the ...
11
votes
1answer
411 views

Did Turing know of Babbage's work?

Did Turing have any knowledge of Babbage's work? Is it known if he ever mentioned Babbage?
10
votes
1answer
730 views

Why is the Halting problem attributed to Alan Turing?

The halting problem is a very famous example from computability theory of a problem that is undecidable. It is often said that the proof of its undecidability was given by Alan Turing, indeed ...