Skip to main content
8 votes
Accepted

Is the Turing machine the only framework to analyse limits of computation?

Turing machines are far from being the only model of computation considered by computer scientists. Among well-studied models of computation are: Turing machines, λ-calculus (and its many variants, ...
Jean Abou Samra's user avatar
3 votes
Accepted

Why can't humans translate all of their abilities into an algorithm? Will that hold true in the future?

Your question contains so many sub-questions and claims, making it really hard to answer, but I will try my best, starting with debunking your claims. No, You Cannot Predict Halting! You are ...
DirkT's user avatar
  • 991
2 votes
Accepted

Proof that the mind/brain is not a finite state machine by recognizing an unrecognizable language?

Recognizing a language means recognizing all cases correctly, not just the few specific cases you have in mind when you say it's obvious that a human can recognize the language. The reason a finite ...
benrg's user avatar
  • 2,157
1 vote

Proof that the mind/brain is not a finite state machine by recognizing an unrecognizable language?

I think whether you believe that a human can recognise a non-regular language like $L = \{0^n1^n : n \geq 0\}$ depends somewhat on your philosophical convictions. Indeed, it is easy to design a ...
Knogger's user avatar
  • 1,292
1 vote

Mathematical Foundation for Dimensioned Quantities?

Of course there is mathematical support for dimensioned quantities. It's kind of trivial from mathematical point of view. Off the top of my head, here's a suggestion. Given some basic units of ...
Andrej Bauer's user avatar
  • 30.9k

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