Jawaban:

a. (1), (2), (3), dan (5)

Penjelasan:

Ilmuwan-ilmuwan yang menjadi pionir dalam teori komputasi di antaranya Kurt Godel, Stephen Hawking, John Von Neumann, dan Alonzo Church. Kurt Godel dikenal karena teorema undecidability-nya yang menunjukkan bahwa tidak mungkin untuk membuat sistem formal yang dapat memvalidasi semua pernyataan matematika yang benar. Stephen Hawking adalah fisikawan teoretis yang menulis tentang perkembangan komputasi kuantum. John Von Neumann adalah pionir dalam komputasi teori dan arsitektur komputer. Sedangkan Alonzo Church dikenal karena mengembangkan teori lambda-kalkulus, yang merupakan dasar dari teori komputasi formal.