Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Why do informal proofs conform to formal norms? - MaRDI portal

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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Why do informal proofs conform to formal norms?
scientific article

    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