1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 汽车/机械/制造
  5. 机械理论及资料

Toward Mechanical Mathematics - Wang迈向机械数学——王.pdfVIP

  • 1
  • 0
  • 约17.65万字
  • 约 21页
  • 2025-11-26 发布于北京
  • 举报

Toward Mechanical Mathematics - Wang迈向机械数学——王.pdf

    Thegallanttailor:seven(Pies)inoneblow.

    IBM704:220theorems(inthepropositionalcalculus)inthreeminutes.

    HaoWang

    TowardMechanicalMathematics

    Abstract:Resultsarereportedhereofarathersuccessfulattemptatprovingalltheorems,totallingnear

    400,ofPrincipiaMafhematicawhicharestrictlyintherealmoflogic,viz.,therestrictedpredicatecal-

    culuswithequality

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >