Why do informal proofs conform to formal norms? (Q2271071)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 5590759
Language Label Description Also known as
default for all languages
No label defined
    English
    Why do informal proofs conform to formal norms?
    scientific article; zbMATH DE number 5590759

      Statements

      Why do informal proofs conform to formal norms? (English)
      0 references
      0 references
      6 August 2009
      0 references
      mathematical proof
      0 references
      reasoning
      0 references
      logic
      0 references
      meaning
      0 references
      natural language
      0 references

      Identifiers