Alonzo Church: Perbedaan antara revisi

'''Alonzo Church''' sebuah(lahir prinsip14 yangJuni dirumuskan1903, olehWashington, ahliD.C., logikaAS—meninggal Amerika11 abadAgustus ke-201995, AlonzoHudson, ChurchOhio), yangahli menyatakanmatematika bahwaAS. fungsiIa rekursifmemperoleh gelar Ph.D. dari Universitas Princeton. Kontribusinya terhadap teori bilangan dan teori algoritma serta komputasi adalahmeletakkan satudasar-satunyadasar ilmu komputer. Aturan yang dikenal sebagai teorema Church atau tesis Church (diusulkan secara independen oleh Alan M. Turing) menyatakan bahwa hanya fungsi rekursif yang dapat dihitung secara mekanis. Teorema tersebutdan menyiratkan bahwa prosedur [[Aritmetika|aritmatika]] tidak dapat digunakan untuk menentukan konsistensi pernyataan yang dirumuskan sesuai dengan hukum aritmatika. Dia menulis buku teks standar Pengantar Logika Matematika (1956) dan membantu mendirikan Jurnal Logika Simbolik, yang dia edit hingga tahun 1979.<ref>{{Cite web|title=Church’s thesis {{!}} Computability, Algorithms & Logic {{!}} Britannica|url=https://www.britannica.com/science/Churchs-thesis|website=www.britannica.com|language=en|access-date=2024-02-17}}</ref>

== AlgoritmaBiografi ==

[[Algoritma]]'''Alonzo ,Church''' proseduradalah sistematisahli yangmatematika menghasilkan—dalamAS. sejumlahIa langkahmemperoleh terbatas—jawabangelar atasPh.D. sebuahdari pertanyaanUniversitas atauPrinceton. solusiKontribusinya suatuterhadap masalah.teori Namabilangan inidan berasalteori darialgoritma terjemahanserta Latin,komputasi Algoritmimeletakkan dedasar-dasar numeroilmu Indorum,komputer. dariAturan risalahyang aritmatikadikenal matematikawansebagai Muslimteorema abadChurch ke-9atau al-Khwarizmitesis “Al-KhawarizmiChurch (diusulkan secara Tentangindependen Senioleh HisabAlan HinduM.” UntukTuring) pertanyaanmenyatakan ataubahwa masalahhanya fungsi rekursif yang hanyadapat memilikidihitung sekumpulansecara kasusmekanis ataudan nilaimenyiratkan terbatas,bahwa suatuprosedur algoritmaaritmatika selalutidak adadapat (setidaknyadigunakan secarauntuk prinsipmenentukan konsistensi pernyataan yang dirumuskan sesuai dengan hukum aritmatika. Dia menulis buku teks standar Pengantar Logika Matematika (1956); itudan terdirimembantu darimendirikan Jurnal Logika Simbolik, yang dia edit tabelhingga nilaitahun jawaban1979.<ref>{{Cite web|date=2024-01-14|title=AlgorithmChurch’s thesis {{!}} DefinitionComputability, Types,Algorithms & FactsLogic {{!}} Britannica|url=https://www.britannica.com/science/algorithmChurchs-thesis|website=www.britannica.com|language=en|access-date=2024-02-17}}</ref>