Siapa Anda, algoritmanya?

Saat ini cukup mudah untuk menemukan buku teks sekolah yang tidak bermoral, khususnya, buku teks ilmu komputer. Dalam bab-bab tentang algoritme, Anda dapat menemukan definisi algoritme secara langsung. Bukan penjelasan tentang apa itu, bukan cerita tentang suatu subjek, tetapi definisi. Selain itu, itu disorot dengan huruf tebal, dibingkai dengan hati-hati dan ditandai dengan beberapa piktogram yang terlihat dalam bentuk tanda seru. Biasanya semua ini dibumbui dengan saus dari sekumpulan properti wajib dan opsional, yang menghasilkan kekacauan yang mempesona. Mari kita coba memahami apa itu algoritma, mengapa kita tidak dapat memberikan definisi spesifik, dan mencari tahu properti mana yang diperlukan dan mana yang tidak.





Para penyusun buku teks mudah untuk dipahami, karena sebenarnya tidak ada definisi yang tegas tentang algoritme, dan terlebih lagi, definisi seperti itu tidak mungkin ada. Tetapi alih-alih mencoba menjelaskan apa itu, penulis menyelipkan kepada siswa miskin tugas lain menjejalkan istilah yang tidak berguna dan salah. Agar tidak berdasar, saya akan memberikan kutipan dari salah satu buku teks yang sangat umum:





Segalanya lebih baik di universitas, tetapi penulis baris-baris ini dalam mata kuliah logika matematika dan teori algoritme harus menghadapi vinaigrette yang sama dari definisi algoritme dan propertinya. Mari kita cari tahu apa yang salah di sini.





Menuju tak terbatas dan melampauinya

. , — , . . , : , -. ( 1 , 2 ..), - ( , - 1, - -1, k 2k, -m 2m + 1). - , ( m/n, m - , n - ). , , , , , , . «» () ℵ0 (-).





( ). , . , 1, 2 .. . ! .





, . , m/n. 1/3 2/7 , «" . 21 , , , 1/2 ().





, , ℵ1 (-).  . ( ). A*. , , ( ). 





?

: , , .. - , , , (, ). , , , 12- . , , , ! , ? ? , . , , , — . , .





. , , , N, N+1. , « »: , . 





 

— . , , . . , , A*. . , . , . , . , . , A* -> A* . , , . 





, , , . , , . , , . 





, . , , , , — . . 





-

, 1900 . , ( ) , . , , , , , . 





Kurt Gödel terkenal karena merumuskan dan membuktikan 2 teorema ketidaklengkapan.  Ngomong-ngomong, dia melakukannya di usia yang baru 24 tahun.
, 2 . , 24 .

, , ( « » ). , , , - . , (, , ) , ( , ). «» , . . - , , , -. , , , :





- .





. , . -, , « », -, , . , , , - . , . 





      - ,   - (  ).     .      ,      A(4,4)     .
- , - ( ). . , A(4,4) .

. , ( ) . , A*->A*. , , , « ». , . - , . , , , . :





, , , .





: ( , , ) . -, . 





        .
.

, , -, , .





, . , . , . .





. . , , , . .





. , , . , , .





. , . , — , , . 





. , . , . . , .





«»        .
«» .

, , . . , , . , , «Hello world». , . 





, . . , . , , , . .  «« — , , , . , , , , . , . .





, , - — - . . . « » while , , , - -.





. , (- , , - ..). . . . , ( Haskell ), , , -, « », . 





 

, . , , . , , , , .





1- «: » . . . , , , , « » . .






- ITSOFT — - . UPTIME 100%. GPU- ASIC-, GPU-, , SSL-, .








All Articles