Setelah membaca pertanyaan terkait , tentang bukti keberadaan algoritma yang tidak konstruktif, saya bertanya-tanya apakah ada metode untuk menunjukkan keberadaan mesin komputasi "kecil" (katakanlah, bijaksana) tanpa benar-benar membangunnya. Secara formal: misalkan kita diberi beberapa bahasa...