McCarthy championed mathematical logic for artificial intelligence.
McCarthy vô địch logic toán học cho trí tuệ nhân tạo.