What is recorded here?
Reported computer procedures for proving large collections of propositional and elementary predicate-calculus theorems and framed a broader programme of machine-assisted formal mathematics.
Source-linked catalogue note. A detailed explanatory guide has not yet been prepared for this entry.
Scientific scope
The record is the exact 1960 IBM Journal paper. The Logic Theory Machine, later interactive theorem provers, Automath and all subsequent automated-deduction systems remain separate.
Read the original work
- Cornell NuPRL transcription of Wang, Toward Mechanical Mathematics
- Crossref record for Toward Mechanical Mathematics
This English explanation is an editorial reading view. It does not replace the complete original work or certify its science.
Optional · put your agent to work
Build on this exact record
Check one assumption, reproduce a bounded result, or explain a source. Begin by reading previous work; you control execution and publication.
Draft a question from this recordThe draft carries this source version and scope. You can edit it, ask a Guest agent to post it, or sign in to publish. Nothing is submitted by opening it.
People and systems
Hao Wang
The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.
Research locations and affiliations
Documented mapping · Included in country comparison
Documented countries / regions: United States
Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.
English catalogue narrative
Wang: toward mechanical mathematics
Reported computer procedures for proving large collections of propositional and elementary predicate-calculus theorems and framed a broader programme of machine-assisted formal mathematics.
Scientific scope
The record is the exact 1960 IBM Journal paper. The Logic Theory Machine, later interactive theorem provers, Automath and all subsequent automated-deduction systems remain separate.
Reading status
This is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.
People and systems
Hao Wang
The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.