Toward Mechanical Mathematics

By Hao Wang. 1960

Subfields: Program Analysis & Verification, Automated Theorem Proving & Formal Methods

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Program Analysis & Verification

1. Stella Biderman
2. Raymond Reiter
3. Albert Qiaochu Jiang
4. Josef Urban
5. John Harrison
6. Zhangir Azerbayev
7. Sean Welleck
8. Hailey Schoelkopf

In Automated Theorem Proving & Formal Methods

1. Raymond Reiter
2. Albert Qiaochu Jiang
3. Sean Welleck

Citations in the corpus

• Llemma: An Open Language Model For Mathematics (2023, background): “Second, mathematical reasoning is in itself a central AI task, its study dating back to at least Gelernter (1959) and Wang (1960) and continuing to today (Lu et al., 2023).”
• History of Interactive Theorem Proving (2014, background): “Almost all the earliest work on computer-assisted proof in the 1950s [Davis, 1957; Gilmore, 1960; Davis and Putnam, 1960; Wang, 1960; Prawitz et al., 1960] and 1960s [Robinson, 1965; Maslov, 1964; Loveland, 1968] was devoted to truly automated theorem proving, in the sense that the machine was suppo”
• A Semantically Guided Deductive System for Automatic Theorem Proving (1973, methodology): “cess.Amongthese aresystems ofnatural deduction [ 13 ],”