Linked Questions

0 votes
1 answer
2k views

I have problems in writing algorithms before writing code for a particular program. An algorithm is just like a recipe. But when it comes to programming complex structures (like nested conditional ...
sukalp's user avatar
  • 1
1 vote
0 answers
557 views

I'm trying to find a formal definition of an algorithm but I only found this. I don't know if it is the accepted one, or even the only one, and I would like some literature on the formal definition(s?)...
Garmekain's user avatar
  • 145
61 votes
7 answers
29k views

I agree that a Turing Machine can do "all possible mathematical problems". But that is because it is just a machine representation of an algorithm: first do this, then do that, finally output that. ...
Sounak Bhattacharya's user avatar
18 votes
3 answers
2k views

The Y combinator has the type $(a \rightarrow a) \rightarrow a$. By the Curry-Howard Correspondence, because the type $(a \rightarrow a) \rightarrow a$ is inhabited, it must correspond to a true ...
Joshua's user avatar
  • 283
25 votes
4 answers
5k views

I know what computation is in some vague sense (it is the thing computers do), but I would like a more rigorous definition. Dictionary.com's definitions of ...
Kelmikra's user avatar
  • 726
9 votes
6 answers
4k views

In a previous question What exactly is an algorithm?, I asked whether having an "algorithm" that returns the value of a function based on an array of precomputed values was an algorithm. One of the ...
Devian Dover's user avatar
4 votes
3 answers
169 views

For my undergraduate senior project, a professor asked me and my partner to design an algorithm to determine true resolution in the browser, unaffected by zooming, multiple screens, viewport size, etc....
charlieshades's user avatar
2 votes
2 answers
314 views

Looking for Newton's method in Wikipedia, I read the following: In numerical analysis, Newton's method (also known as the Newton-Raphson method), named after Isaac Newton and Joseph Raphson, is ...
babou's user avatar
  • 19.7k
3 votes
1 answer
138 views

I have two algorithms $P, Q$ for solving the same problem (a decision problem on sequences in $R^n$) and I want to decide if they differ in any meaningful way. The following describes the constraints: ...
NotAGroupTheorist's user avatar
-1 votes
2 answers
203 views

My definition of an algorithm is a finite sequence of operations provided by an abstract machine, where the operations are executed one after another in the order specified by the sequence. Different ...
Tim's user avatar
  • 5,045