Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
9 answers
2k views

Existence of unknowable algorithms ?

Here by «algorithm» I mean a (halting) Turing machine with finite alphabet and memory. Is it possible to obtain by purely existential (i.e. non-constructive) means the existence of an algorithm ...
Loïc Teyssier's user avatar