scientific article; zbMATH DE number 1302056
From MaRDI portal
Publication:4247300
zbMath0947.03006MaRDI QIDQ4247300
No author found.
Publication date: 5 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
philosophy of mathematicsconstructivityverification systemreal worldproof as objectWigner's surprise
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35) Methodology of mathematics (00A35)
Related Items (2)
Tiling the lateral surface of the concave cupolae of the second sort ⋮ N. G. de Bruijn's contribution to the formalization of mathematics
Uses Software
This page was built for publication:
