unofficial mirror of help-gnu-emacs@gnu.org
 help / color / mirror / Atom feed
From: Christopher Dimech <dimech@gmx.com>
To: Marcin Borkowski <mbork@mbork.pl>
Cc: help-gnu-emacs@gnu.org, moasenwood@zoho.eu,
	Jean Louis <bugs@gnu.support>
Subject: Quote by Knuth
Date: Wed, 14 Jul 2021 22:58:12 +0200	[thread overview]
Message-ID: <trinity-2e2412f2-6f97-4dd4-b1e2-0f3a5d7f5cf2-1626296291764@3c-app-mailcom-bs04> (raw)
In-Reply-To: <87o8b4eiyr.fsf@mbork.pl>


> Sent: Thursday, July 15, 2021 at 8:30 AM
> From: "Marcin Borkowski" <mbork@mbork.pl>
> To: "Christopher Dimech" <dimech@gmx.com>
> Cc: "Jean Louis" <bugs@gnu.support>, help-gnu-emacs@gnu.org, moasenwood@zoho.eu
> Subject: Re: Quote by Knuth
>
>
> On 2021-07-14, at 22:15, Christopher Dimech <dimech@gmx.com> wrote:
>
> > Even if we manage to get computations look like pseudocode, will that
> > aid understanding?  Not a lot.  It would still need time and focus to
> > figure out.  In mathematics, using prose gets things so complicated
> > that you will not understand anything.  You need some sort of compact lexicon
> > to absorb some quite complex ideas that cannot be condensed well enough
> > using prose.
>
> I haven't read this thread, just skimmed through a few messages here,
> but as a mathematician and a (co)author of two math textbooks I'd like
> to add something.
>
> 1. I think it's best (in math) to use prose first to explain ideas and
> then follow with symbolic notation.
>
> 2. Hardly anyone (in the math world) does it (or even tries), which is
> sad.

Mostly the mathematics is done mostly in the mind with some expression
on paper to connect the ideas.

> >
> > After completing a building, you remove the scaffolding and clean everything
> > out.  Much in then hidden.
>
> This is a nice quote.  However, I disagree.  If you remove the
> scaffolding you make learning way more difficult.  Even in research
> articles I'd leave traces of it (assuming I'd write any research
> articles - not very probable).

Depends on the audience.  With mathematicians on the topic, I disregard
quite a lot of things.  It is the same with art like music, painting etc.
Tho focus is on the end product.

You can make something beautiful without the need to explain too much.
Hoping others have the capacity to appreciate.  I used to mix things together
when I started, but not doing that anymore.  Before you try to delve into code,
you need to understand the topic.  But you could hint at some non-trivial
passages if need be.  And then let them think and figure out.

As things are becoming more complicated, today's task is more about conciseness,
otherwise there is no end.  It is all about the minimum threshold you decide to
cater for.  Most times few cared about how I actually did things.


> Best,
>
> --
> Marcin Borkowski
> http://mbork.pl
>



  reply	other threads:[~2021-07-14 20:58 UTC|newest]

Thread overview: 87+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-07-05 14:37 append, push, and add-to-list Drew Adams
2021-07-05 14:53 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 15:19   ` Stefan Monnier via Users list for the GNU Emacs text editor
2021-07-05 16:18     ` [External] : " Drew Adams
2021-07-05 16:46     ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 19:54       ` Jean Louis
2021-07-06 20:08         ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 15:41   ` tomas
2021-07-05 16:58     ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 17:21       ` tomas
2021-07-06  1:17         ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 18:10       ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 18:18         ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 18:11       ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-05 18:39         ` Stefan Monnier via Users list for the GNU Emacs text editor
2021-07-05 20:35           ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 19:57         ` Jean Louis
2021-07-06 20:16           ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 19:56       ` Jean Louis
2021-07-06 20:15         ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 19:51     ` Quote by Knuth Jean Louis
2021-07-06 20:06       ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 21:57         ` Christopher Dimech
2021-07-06 22:16           ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-06 22:26             ` Alexandre Garreau
2021-07-06 23:21               ` Christopher Dimech
2021-07-14 16:09                 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 17:37                   ` Christopher Dimech
2021-07-14 17:41                     ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-15  3:08                       ` Christopher Dimech
2021-07-18 22:25                         ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 17:18                           ` Christopher Dimech
2021-07-14 16:02               ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 16:20                 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 17:41                 ` Christopher Dimech
2021-07-14 17:43             ` Christopher Dimech
2021-07-14 17:49               ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-15  3:05                 ` Christopher Dimech
2021-07-15  6:50                   ` tomas
2021-07-15  6:55                     ` Christopher Dimech
2021-07-15  7:11                       ` tomas
2021-07-15 10:55                         ` Christopher Dimech
2021-07-18 22:23                       ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 17:22                         ` Christopher Dimech
2021-07-18 22:20                   ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 17:27                     ` Christopher Dimech
2021-07-14 19:24               ` Jean Louis
2021-07-14 20:15                 ` Christopher Dimech
2021-07-14 20:30                   ` Marcin Borkowski
2021-07-14 20:58                     ` Christopher Dimech [this message]
2021-07-14 22:54                       ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 21:04                     ` Christopher Dimech
2021-07-14 23:05                       ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 22:53                     ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-15  6:06                       ` Marcin Borkowski
2021-07-15  6:21                         ` Christopher Dimech
2021-07-17 18:43                           ` Marcin Borkowski
2021-07-18  7:41                             ` Christopher Dimech
2021-07-18 11:50                               ` Jean Louis
2021-07-18 13:17                                 ` Christopher Dimech
2021-07-18 13:41                                   ` Jean Louis
2021-07-18 17:57                                     ` Christopher Dimech
2021-07-18 23:25                                   ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 16:27                                     ` Christopher Dimech
2021-07-20 16:39                                     ` Christopher Dimech
2021-07-18 22:58                                 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 16:41                                   ` Christopher Dimech
2021-07-18 22:54                               ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-20 17:10                                 ` Christopher Dimech
2021-07-18 13:54                             ` Christopher Dimech
2021-07-18 22:37                             ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-18 22:34                         ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 22:43                   ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-14 22:31                 ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-15  2:58                   ` Christopher Dimech
2021-07-15  6:43                     ` Eli Zaretskii
2021-07-18 22:14                     ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-19  7:07                       ` tomas
2021-07-19  8:05                         ` Christopher Dimech
2021-07-21  4:52                           ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-21  8:55                             ` Christopher Dimech
2021-07-21  4:28                         ` Emanuel Berg via Users list for the GNU Emacs text editor
2021-07-21  8:42                           ` Gregory Heytings
2021-07-19  8:44                       ` lisa-asket
2021-07-06 21:34       ` Christopher Dimech
2021-07-05 16:19   ` [External] : Re: append, push, and add-to-list Drew Adams
2021-07-05 16:41     ` Emanuel Berg via Users list for the GNU Emacs text editor

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=trinity-2e2412f2-6f97-4dd4-b1e2-0f3a5d7f5cf2-1626296291764@3c-app-mailcom-bs04 \
    --to=dimech@gmx.com \
    --cc=bugs@gnu.support \
    --cc=help-gnu-emacs@gnu.org \
    --cc=mbork@mbork.pl \
    --cc=moasenwood@zoho.eu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).