scientific article; zbMATH DE number 1302056

zbMATH Open0947.03006MaRDI QIDQ4247300FDOQ4247300

Authors: N. G. de Bruijn 

Publication date: 5 November 2000

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3895060
• scientific article; zbMATH DE number 48341
• scientific article; zbMATH DE number 4148033
• Constructive Mathematics and Functional Programming (Abstract)
• A refinement of de Bruijn's formal language of mathematics

zbMATH Keywords

philosophy of mathematicsconstructivityverification systemreal worldproof as objectWigner's surprise

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35) Philosophy of mathematics (00A30) Mechanization of proofs and logical operations (03B35)

Cited In (2)

• N. G. de Bruijn's contribution to the formalization of mathematics
• Tiling the lateral surface of the concave cupolae of the second sort

Uses Software

• Automath

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247300)