Algoritme
Suatu "bilangan tak-terbatas" adalah bilangan yang elemen-elemenya bisa berkorespondensi satu-ke-satu dengan integer.
Maka, Boolos dan Jeffrey mengatakan bahwa sebuah algoritme berarti instruksi bagi sebuah proses yang "membuat" keluaran integer dari sebuah "masukan" "acak" integer yang, secara teori, bisa sangat besar.
Maka sebuah algoritme dapat berupa persamaan aljabar seperti y = m + n -- dua variabel masukan m dan n yang menghasikan keluaran y.
Tapi berbagai penulis yang mencoba mendefinisikan persamaan tersebut mengatakan bahwa kata algoritme mengandung lebih dari itu, sesuatu yang kurang lebih (untuk contoh penjumlahan):
Konsep dari "algoritme" juga digunakan untuk mendefinisikan notasi dari desidabilitas.
Notasi tersebut adalah pusat untuk menjelaskan bagaimana sistem formal berasal dari sejumlah kecil aksioma dan aturan.
Dalam logika, waktu dari sebuah algoritme untuk selesai tidak dapat dihitung, karena tidak berelasi dengan dimensi fisik kita.
Dari ketidakpastian tersebut, yang mengkarakteristikan pekerjaan yang sedang berjalan, timbulah ketidak-tersediannya definisi "algoritme" yang sesuai dengan konkret (pada tingkat tertentu) dan penggunaan secara abstrak dari istilah tersebut.
Pi
Algoritme keran lainnya, algoritme ekstraksi digit BBP ditemukan pada tahun 1995 oleh Simon Plouffe:
Rumus ini, tidak seperti rumus lainnya, dapat menghasilkan digit heksadesimal individu tanpa menghitung digit-digit sebelumnya. Digit-digit individu oktal maupun biner dapat diektraksi dari digit-digit heksadesimal. Variasi algoritme ini telah ditemukan, namun tiada satupun algoritme ekstraksi digit yang dapat menghasilkan digit desimal dengan cepat. Aplikasi penting dari algoritme ekstraksi digit ini adalah untuk memvalidasi klaim rekor komputasi yang baru; Setelah suatu rekor baru diklaim, hasil bilangan desimal ini kemudian diubah menjadi bilangan heksadesimal, dan kemudian algoritme ekstraksi digit digunakan untuk menghitung beberapa digit heksadesimal tersebut secara acak dekat bagian akhir digit yang terhitung; apabila hasilnya cocok, maka dapat digunakan sebagai tolok ukur keyakinan bahwa perhitungan yang dilakukan telah benar