tag:blogger.com,1999:blog-4987609114415205593.post1138179600119202492..comments2024-03-28T13:40:26.497+00:00Comments on M-Phi: The beauty (?) of mathematical proofs -- A proof is and is not a dialogueJeffrey Ketlandhttp://www.blogger.com/profile/01753975411670884721noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-4987609114415205593.post-54384650203760688852016-02-27T21:04:21.599+00:002016-02-27T21:04:21.599+00:00Well post its tell us how proof to your math answe...Well post its tell us how proof to your math answer is right or not and how explain your answer detail on note book thanks for share it <a href="http://www.argumentativeessayhelp.com/our-persuasive-essay-writing-service/" rel="nofollow">persuasive essay writing service</a> .Allen jeleyhttps://www.blogger.com/profile/10312119051975318074noreply@blogger.comtag:blogger.com,1999:blog-4987609114415205593.post-42805349392689548542015-10-13T08:54:05.366+01:002015-10-13T08:54:05.366+01:00Yes, I suppose this is mostly a terminological qui...Yes, I suppose this is mostly a terminological quibble, but certainly one worth paying attention too (especially as, in the next post, I discuss the matter of what counts as a proof in the first place, i.e. criteria of individuation). So it seems we should distinguish between a proof idea (or ideas), and a proof sketch, which is a mode of presentation of the proof -- and, according to you, it typically contains more than just the main ideas.<br />Btw I saw you have a paper in this volume:<br />http://press.princeton.edu/TOCs/c9764.html<br />The whole volume looks great!Catarinahttps://www.blogger.com/profile/03277956118114314573noreply@blogger.comtag:blogger.com,1999:blog-4987609114415205593.post-13836887926503809612015-10-12T14:06:17.016+01:002015-10-12T14:06:17.016+01:00I have a tiny quibble here -- tiny because it is p...I have a tiny quibble here -- tiny because it is partly just terminological and in any case doesn't affect your main points at all. You write, "in professional journals, proofs are more often than not no more than proof sketches, where the key ideas are presented." But actually what mathematicians write is almost always a lot more than just a description of the key ideas, though of course also a lot less than a fully formalized proof. And we use the word "sketch" in a way that clearly distinguishes a description of the main ideas from what we would count as a "full proof", which I would define roughly as a proof where the missing steps are sufficiently straightforward (for the intended expert audience) that to put them in would be unhelpful. Sometimes one decides not to give a full proof of this kind, and then one clearly signals that the argument one is giving is "just a sketch" and not a proper proof.Anonymousnoreply@blogger.com