雅克·海尔勃朗

对逻辑的贡献

• 
  在元逻辑:发现正式的数学系统

  …所提供的雅克•海尔勃朗法国数学家,引入递归functions-i.e的一般概念。的一系列有限的纯机械可计算的功能组合步骤。1936年西德尼教堂,一个数学逻辑学家,艾伦•Mathison图灵发起者的可计算性理论,和埃米尔l .,…

  阅读更多
• 
  在