categories - Category Theory list
 help / color / mirror / Atom feed
From: dawson <>
To: categories list <>
Subject: categories: Re: Terminology for point-free topology?
Date: Sun, 29 Jan 2023 19:16:39 -0400	[thread overview]
Message-ID: <> (raw)
In-Reply-To: <>

Patrik Eklund wrote:

> But my view is that we must keep "real-world applicability"
> at least as a "general burden" in the sense
> that all science must useful, in one way or another.
> Science should never be just "aus liebe zur Kunst".

You should, of course, follow your own ethical guidance, but I
respectfully disagree that "we" must do so.

Most of us agree that a painting or a novel can be beautiful without
having an improving message, that fine wine is worthwhile even if its
health benefits are dubious, etc.  Why should science be required to
clear a utilitarian bar that other fields of human endeavour do not?
Surely the onus is on anybody making such a claim to prove it.

Secondly, supposing [purely for the sake of argument!] that science
(oddly and uniquely) has no value except its utility. In many cases the
science that proves most useful was not obviously so when it was done.
Consider, for an overused but yet valid example, the number theory of
whose inutility Hardy wrote so proudly, and which now protects much of
the world's electronic commerce. Thus, we can't use this as a guide to
what we should study _now._

Best wishes,

[For admin and other information see: ]

  reply	other threads:[~2023-01-30 20:11 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-01-16 11:50 Steven Vickers
     [not found] ` <>
2023-01-18 12:12   ` Steven Vickers
2023-01-20  3:06     ` David Yetter
     [not found]     ` <>
2023-01-20 11:50       ` Steven Vickers
2023-01-21 19:42         ` ptj
2023-01-23 11:44           ` Pedro Resende
2023-01-30 21:59             ` categories: " Wesley Phoa
2023-02-01  9:41               ` Martin Hyland
     [not found]     ` <>
2023-01-23 13:47       ` Steven Vickers
     [not found]     ` <YQXPR01MB26464DF33EAE7481847A4F82E5C99@YQXPR01MB2646.CANPRD01.PROD.OUTLOOK.COM>
2023-01-24 12:20       ` categories: " Robert Pare
2023-01-27 17:55     ` Pedro Resende
2023-01-28  5:43       ` Patrik Eklund
2023-01-29 23:16         ` dawson [this message]
2023-01-28 10:48       ` categories: complete Galois groups Clemens Berger
2023-01-30 17:34         ` categories: " Eduardo J. Dubuc
     [not found] ` <LNXP265MB1049E00AEC9CE5BE1233CCEF95C69@LNXP265MB1049.GBRP265.PROD.OUTLOOK.COM>
2023-01-22 21:32   ` Terminology for point-free topology? Vaughan Pratt
     [not found] ` <>
2023-01-23 13:25   ` Steven Vickers
     [not found] ` <LNXP265MB104912A7940157738582CE2595C89@LNXP265MB1049.GBRP265.PROD.OUTLOOK.COM>
2023-01-23 23:17   ` categories: " Vaughan Pratt
     [not found] ` <>
2023-01-24 11:45   ` Steven Vickers

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:

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

  git send-email \ \ \ \

* 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 NNTP newsgroup(s).