Hot answers tagged

10

It's false. The $\lambda$-calculus arose through efforts to understand foundations of mathematics. Nowadays some people mistakenly equate foundations with set theory. The Stanford Encyclopaedia of Philosophy has a very good writeup on the $\lambda$-calculus, as well as its history, I recommend it.


9

Bjarne Stroustrup writes in his The Design and Evolution of C++ book (item 3.5.1): At this point, the object model becomes real in the sense that an object is more than the simple aggregation of the data members of a class. An object of a C++ class with a virtual function is a fundamentally different beast from a simple C struct. Then why did I not ...


3

B was designed by Dennis Ritchie and Ken Thompson, as a cut-down version of BCPL, the Basic Combined Programming Language. Ritchie [1] says, [B's] name most probably represents a contraction of BCPL, though an alternate theory holds that it derives from Bon, an unrelated language created by Thompson during the Multics days. Bon in turn was named ...


2

The other day I was reading a paper on parallelized random access machines without bit operations, which sounded very much like what you are describing. For these models NC is known not to equal P. See here: https://epubs.siam.org/doi/10.1137/S0097539794282930 The paper can also be found on Professor Mulmuley’s website.


1

The story is clearly made up. There was no AI in the 1950's that could have come up with that. There is no AI today and for many years that could come up with that. Actually, an AI wouldn't come up with this idea at all. You would need a very well calibrated combination of AI and AS (Artificial Stupidity) to achieve this result.


1

To understand what Turing means here, you first need to understand what Turing means when he uses the word "computer". He is not talking about any particular machine, but about someone or something that 'computes', where 'computing' means to transform inputs into outputs according to some specification or function. The key difference between the everyday ...


1

According to Ada in her notes A: "The analytical engine, on the contrary, is not merely adapted for tabulating the results of one particular function (which implies the difference machine is intended to tabulate the results of one particular function)but for developing and tabulating any function whatever.In fact the engine may be described as being the ...


Only top voted, non community-wiki answers of a minimum length are eligible