From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Christopher Dimech Newsgroups: gmane.emacs.help Subject: Quote by Knuth Date: Wed, 14 Jul 2021 23:04:36 +0200 Message-ID: References: <87o8bgg6br.fsf@zoho.eu> <20210705154121.GB6395@tuxteam.de> <878s2j2onn.fsf@zoho.eu> <87r1gbdr6d.fsf@zoho.eu> <87o8b4eiyr.fsf@mbork.pl> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="23037"; mail-complaints-to="usenet@ciao.gmane.io" Cc: help-gnu-emacs@gnu.org, Jean Louis , moasenwood@zoho.eu To: Marcin Borkowski Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Wed Jul 14 23:05:55 2021 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1m3m4n-0005kx-Tu for geh-help-gnu-emacs@m.gmane-mx.org; Wed, 14 Jul 2021 23:05:53 +0200 Original-Received: from localhost ([::1]:60172 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1m3m4l-0007vD-Vp for geh-help-gnu-emacs@m.gmane-mx.org; Wed, 14 Jul 2021 17:05:52 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:40934) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1m3m4M-0007uy-IM for help-gnu-emacs@gnu.org; Wed, 14 Jul 2021 17:05:27 -0400 Original-Received: from mout.gmx.net ([212.227.15.18]:53617) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1m3m4J-0004rg-IU for help-gnu-emacs@gnu.org; Wed, 14 Jul 2021 17:05:26 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1626296676; bh=s50uYHDv5cba7nGzYnF5xwwL44CCFO7Z2p6HXHLddw4=; h=X-UI-Sender-Class:From:To:Cc:Subject:Date:In-Reply-To:References; b=lGSox0jjrKVhTNdJoCjufpV2wHybDM99yR/0uBReMP/wtAxVZuMw0BoiqpWpAtDpd M4ij/XOtzgxbTF0XV+YOOAGkixMSjsGgb0iX4WVJb5h3QH4wi1muew7ojQZ0i0mIr6 MEBmHxa7/NhWKxb+Vrp7Hj5di6WhADBndhtmZunM= X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c Original-Received: from [92.251.40.31] ([92.251.40.31]) by web-mail.gmx.net (3c-app-mailcom-bs04.server.lan [172.19.170.170]) (via HTTP); Wed, 14 Jul 2021 23:04:36 +0200 Importance: normal Sensitivity: Normal In-Reply-To: <87o8b4eiyr.fsf@mbork.pl> X-UI-Message-Type: mail X-Priority: 3 X-Provags-ID: V03:K1:6gRS7fwMbqxzygnVUXoNmdSjYQE4feKNM4NtozT2s4IhdUgNPvmKUI4aqxXFe4Lya9EC/ 3aI2YNFNXCBnECLrtJnbh+w5YpmrWD5HdDhxkO2iFoQOsb15U7izUp/n8l0hiXpemGfdztEbRw0t hNtswmByY3djtniEAbr2AgYf+FLOROqYeTm3iVND8+NcCJAW85bENl38QgEy7cYAkRLkNU1mE7Pm +tds76Wq3xbNwHclOlccoZtRC6eTCRpoaB3w40T3gyuIlsMwhWQ85yTR4HkK7UMr4zAnUweyHCzi 2s= X-UI-Out-Filterresults: notjunk:1;V03:K0:36f4QcadTm8=:aafjd+lDNV+hAZBl4kB1Jf V6+Y+8QptkeOO/ImMYedRZoSCcLYe0tMi9E0wn1GdjxGQVolhupN7tFqwC7OR2zQIJO5tJFdu M+PR8S0FaToDmHsR8+/zN03jheCv+QGo8sbHveTB6XTYNX2fADxLQrGJUrAD2tVBsOU03WRUo HcAMYHHlf4x5FXnoqyeLY0i6MgWjZprzqZw2cZiJ6kXsKLx+JfclQm6lzinjmirwO8HeKgFgT iZvDyrLD6yeiTxgVOZdXcwW7ruyAsxyqC7DDQam3NRxVlapkub2oGaDmSCsQnrbIcNO5zFHx3 Ug18qvxskp97MLVGygqr9nBcFioc9L8T2Y8+ZSa1f71uex43WUvKAHFo9lcWzkbqknyFQl3KJ T9gCQ75PjNMPo+5KlD5t3PC6IRRlMLqsKUWJAxFEesJz5B8ZsE0OusxbK7P0EdmnjyND/uj65 uVpGP6E/nLdSBzP/4qc80uCwx7dhC8WUQq8Qc34Ed9eDG/UV7KisglOgz6FCe9ZC8JcPnWTyy 3Ep7McQ6pyb2zkMXj3yntrLb6qwnuAVOGxTugL64yppO+mhAsQIOXmUtZtuyzOFgPRJXGfJDy kAzFYLdot9WNOTJntWsLBQQ9NgBrJDNyq3xmQKYEaLQH0KQjH6/SfBSy0kBOlKKbu4stoRwXI 2rtYaHPkUvHOZ/PPLarR3+yZIDhwKFU2r5TMFhpUa3cFNJxSTkAPDbn991jA0ChSw7otkG3Az 5kMs6JrCyXI72AZO0F5UHrK78V/lCalDQPrChQnanK50UnPWX+wf/PZV1Vjo+ZMI89qfEqbg Received-SPF: pass client-ip=212.227.15.18; envelope-from=dimech@gmx.com; helo=mout.gmx.net X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.io gmane.emacs.help:131708 Archived-At: > Sent: Thursday, July 15, 2021 at 8:30 AM > From: "Marcin Borkowski" > To: "Christopher Dimech" > Cc: help-gnu-emacs@gnu.org, moasenwood@zoho.eu, "Jean Louis" > Subject: Re: Quote by Knuth > > > On 2021-07-14, at 22:15, Christopher Dimech 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 enoug= h > > 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. Certainly not Ramanujan. He used to ask: What is proof? The mathematical knowledge I display is revealed to me by a goddess. That was it. :) > > > > After completing a building, you remove the scaffolding and clean ever= ything > > 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). > > Best, > > -- > Marcin Borkowski > http://mbork.pl > >