Wang: toward mechanical mathematics

What changed

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.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. 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.

Contributors

• Hao Wang · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• Cornell NuPRL transcription of Wang, Toward Mechanical Mathematics
• Crossref record for Toward Mechanical Mathematics

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction