New answers tagged pl.programming-languages
-3
votes
Can any program be implemented mechanically?
Yes.
In fact, I think a tougher question might be: can any program be implemented non-mechanically?
- 95
Top 50 recent answers are included
Related Tags
pl.programming-languages × 362type-theory × 77
reference-request × 62
lo.logic × 59
lambda-calculus × 49
semantics × 37
functional-programming × 35
computability × 34
ct.category-theory × 25
type-systems × 23
dependent-type × 20
denotational-semantics × 17
compilers × 16
concurrency × 15
type-inference × 15
formal-methods × 14
cc.complexity-theory × 13
program-verification × 13
fl.formal-languages × 11
big-picture × 10
soft-question × 8
dc.parallel-comp × 8
term-rewriting-systems × 8
operational-semantics × 8
object-oriented × 8