all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Christopher Dimech <dimech@gmx.com>
To: Marcin Borkowski <mbork@mbork.pl>
Cc: help-gnu-emacs@gnu.org, Emanuel Berg <moasenwood@zoho.eu>
Subject: Quote by Knuth
Date: Sun, 18 Jul 2021 09:41:30 +0200	[thread overview]
Message-ID: <trinity-2b088f8f-5471-4394-9413-334149baf739-1626594089956@3c-app-mailcom-bs04> (raw)
In-Reply-To: <87eebweq7y.fsf@mbork.pl>


> Sent: Sunday, July 18, 2021 at 6:43 AM
> From: "Marcin Borkowski" <mbork@mbork.pl>
> To: "Christopher Dimech" <dimech@gmx.com>
> Cc: "Emanuel Berg" <moasenwood@zoho.eu>, help-gnu-emacs@gnu.org
> Subject: Re: Quote by Knuth
>
>
> On 2021-07-15, at 08:21, Christopher Dimech <dimech@gmx.com> wrote:
>
> >> Sent: Thursday, July 15, 2021 at 6:06 PM
> >> From: "Marcin Borkowski" <mbork@mbork.pl>
> >> To: "Emanuel Berg" <moasenwood@zoho.eu>
> >> Cc: help-gnu-emacs@gnu.org
> >> Subject: Re: Quote by Knuth
> >>
> >>
> >> On 2021-07-15, at 00:53, Emanuel Berg via Users list for the GNU Emacs text editor <help-gnu-emacs@gnu.org> wrote:
> >>
> >> > But without the symbolic notation it isn't really math, is it,
> >> > because the natural language, no matter how careful one is,
> >> > can still be misinterpreted, interpreted in several ways, it
> >> > can be translated, made fun of ...
> >>
> >> Interesting, but false.  What Greeks did was most certainly mathematics
> >> even if they had little to none symbolism.
> >
> > We don't do greek mathematics anymore.  It was mainly geometric, which became
> > an ingrained technique that stall development until Liebniz introduced some useful
> > notation.  Magneto-Hydro-Dynamics needs compact notation.  Inverse Estimation
> > is another example.
>
> Well, don't we do the very same mathematics as ancient Greeks did, only
> expressing it in a different language?  (And of course, we now know
> more, since our knowledge grows.  OTOH, many things in contemporary
> mathematics are not very trustworthy due to the complexity and high
> probability of errors.)

I understand that.  About twenty years ago, I tried it.  It gets things
even more complicated than they are.  I rather have a number of small
well contained implementations.  I disagree with Knuth that a practitioner
of literate programming becomes an essayist, whose main concern is with
exposition and excellence of style, rather than how to perform the actual
computation.

The biggest problem has always been how to do something, rather than how to
describe it.  I gave up trying to put everything in one file.  What is need is
good categorisation of the different aspects involved.  Though, categorisation
is very time consuming.  I see many writing scholarly papers describing things
which are actually useless.  What happens is that the problem could get exasperated.

And if done by students the problems will became even worse.  Computation is today
still very far from the archaic system many mathematics departments operate.

I know a few professors myself claiming to work on the dynamic properties of everything
and the bullshit they say they have developed.  They say they develop the theories,
they develop the computational algorithms needed, they do everything.  Until you do some
work with them and realise there's not much to their work.  Welcome to the world of academia
in the western world.

Consider Ramanujan and Perelman for instance.  Both have worked from some pit hole making
great soup.  Modern societies have started treating everything as in some state of illness.
The second largest industry on the planet is pharmaceuticals, which makes too much lousy soup.

You just have to look at how the development of the coronavirus vaccines are happening !
Everyday, you have to add something else to them, else they won't work.  If you're constantly creating nasty chemistry, how can life within you understand that you're seeking well-being?











  reply	other threads:[~2021-07-18  7:41 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
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 [this message]
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

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

  git send-email \
    --in-reply-to=trinity-2b088f8f-5471-4394-9413-334149baf739-1626594089956@3c-app-mailcom-bs04 \
    --to=dimech@gmx.com \
    --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.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.