1. Who is credited with formally proposing the recursive concept in mathematical logic and computing?
Alonzo Church
Explication
Alonzo Church is credited with formalizing the recursive concept through his development of lambda calculus, which provides a foundation for defining recursive functions in logic and computer science.