图灵被誉为计算机科学之父和人工智能之父，其主要贡献是提出了（）、（）。