Questions tagged [computer-scientists]
The computer-scientists tag has no usage guidance.
6
questions
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 ...