8
Can we do everything in imperative languages with a functional language if it does not allow for a 'state'?
cs.stackexchange.com
8
How does the use of oracle Turing machines not lead to contradictions?
cs.stackexchange.com
8
Are two non-Turing-recognizable languages closed under union?
cs.stackexchange.com
7
Please explain "decidability" and "verifiability"
cs.stackexchange.com
7
Pascal FOR loop with context free gramar
cs.stackexchange.com
7
If NP is not a proper subset of coNP, why does NP not equal coNP?
cs.stackexchange.com
7
Lower bounds and $P$ vs $NP$
cs.stackexchange.com
7
How Is a Computer Able to Store and Quickly Manipulate All the Data Required For A Computer Display?
cs.stackexchange.com
7
Implementing mathematical theory of arithmetic in Haskell via Curry-Howard correspondence
cs.stackexchange.com
7
Comparison between proof assistants for coinductive structures and proofs
proofassistants.stackexchange.com
7
How to Efficiently Define the Natural Numbers in Type Theory
cs.stackexchange.com
7
Can the mind be a finite automata and still invent the Turing machine?
cs.stackexchange.com
7
Dependent Type Theory Implementation of a Graph
cs.stackexchange.com
7
Is writing a compiler for a compact language easier?
cs.stackexchange.com
7
What would "sum types with functions" look like in OOP?
cs.stackexchange.com
7
Is badly written code derogatory to the compiler?
cs.stackexchange.com
7
Can a Minimum Possible Efficiency be proven?
cs.stackexchange.com
7
Formal model of execution for Java (or general imperative language)
cs.stackexchange.com
7
Why Term Rewriting?
cs.stackexchange.com
6
Why is there no "traditional"-mathy way to describe the general algorithm and give a more math-friendly definition of algorithm?
cs.stackexchange.com
6
If you plan on getting a PhD could you strictly take classes in your field to prove yourself and not get your bachelors?
academia.stackexchange.com
6
Mathematical proofs implemented purely by Lambda Calculus
cs.stackexchange.com
6
Why algorithms calculating non-tirivial zeros can't be used as proofs of Riemann Hypothesis?
cs.stackexchange.com
6
Why Does the Fixed Point Theorem Apply to Quines?
cs.stackexchange.com
6
Which mathematicians died very young or in a tragic way?
hsm.stackexchange.com
6
Git: fatal: Pathspec is in submodule
stackoverflow.com
6
What mathematics can be interesting for these CS areas?
cs.stackexchange.com
6
How do you compute the time complexity of distributed algorithms?
cs.stackexchange.com
6
Building a Hyper Computer
cs.stackexchange.com
6
The Taylor series and time complexity analysis
cs.stackexchange.com
prev
1
2
3
4
5
6
next