Beefy Boxes and Bandwidth Generously Provided by pair Networks
Your skill will accomplish
what the force of many cannot

comment on

( #3333=superdoc: print w/replies, xml ) Need Help??
Conditions a) and b) are both not satisfied.

The problem has nothing to do with formalism vs intuitionism. The problem is that mathematical proofs are written by humans and read by other humans, yet are supposed to adhere to an inhuman level of consistency. It is human to err, and as such errors compound, purported absolute proofs become..somewhat less so.

I made the analogy to programming because this audience is one that has experienced first-hand the chasm between what you think that your program should do, and what it will do when put into a computer. I drew the analogy to a program that has only been specified because, at the research level, most proofs have significant gaps and steps that the reader is expected to be able to fill in. (Sometimes, of course, these gaps can't be filled in. At least not easily.) This is part of why a professional mathematician is not surprised to find that they can only read research papers at a rate of a page or two a day.

In reply to Re^5: What do you know, and how do you know that you know it? by tilly
in thread What do you know, and how do you know that you know it? by tilly

Use:  <p> text here (a paragraph) </p>
and:  <code> code here </code>
to format your post; it's "PerlMonks-approved HTML":

  • Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
  • Titles consisting of a single word are discouraged, and in most cases are disallowed outright.
  • Read Where should I post X? if you're not absolutely sure you're posting in the right place.
  • Please read these before you post! —
  • Posts may use any of the Perl Monks Approved HTML tags:
    a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
  • You may need to use entities for some characters, as follows. (Exception: Within code tags, you can put the characters literally.)
            For:     Use:
    & &amp;
    < &lt;
    > &gt;
    [ &#91;
    ] &#93;
  • Link using PerlMonks shortcuts! What shortcuts can I use for linking?
  • See Writeup Formatting Tips and other pages linked from there for more info.
  • Log In?

    What's my password?
    Create A New User
    and the web crawler heard nothing...

    How do I use this? | Other CB clients
    Other Users?
    Others having an uproarious good time at the Monastery: (4)
    As of 2021-03-01 07:11 GMT
    Find Nodes?
      Voting Booth?

      No recent polls found