categories - Category Theory list
 help / color / mirror / Atom feed
From: Marta Bunge <martabunge@hotmail.com>
To: "Joyal, André" <joyal.andre@uqam.ca>,
	"categories@mta.ca" <categories@mta.ca>
Subject: Re: Grothendieck toposes
Date: Wed, 2 Nov 2016 19:15:28 +0000	[thread overview]
Message-ID: <E1c2MCS-00032k-4c@mlist.mta.ca> (raw)
In-Reply-To: <8C57894C7413F04A98DDF5629FEC90B138BD447A@Pli.gst.uqam.ca>

Dear Andre,


Of course I agree with you in that the natural world is only partially explained by science. I also believe that much of mathematics has been inspired  by a desire to apply it to the natural sciences. Notice, however, that I said "much" and not "all",  and here is where mathematics and the natural sciences differ. Mathematicians have a freedom not afforded to scientists.  It is this freedom which allows the invention of objects such as the complex  numbers or of the infinitesimals. Now, is it a mystery that such products of the human mind find applications in scientific theories, or is it rather  that the latter themselves are also the product of the human mind? After all, it is only through rational thinking (including intuition) that we are able to (believe we) understand the natural world. Now, what about actual applications of science? Those are not just the product of the theories themselves, but also of experimentation and of successive approximations. It is  for this reason that I see no mystery in that certain scientific theories can sometimes be succesfully applied. Whether this is or is not a metaphysical point of view it is not for me to say.


Best regards,

Marta




************************************************
Marta Bunge
Professor Emerita
Dept of Mathematics and Statistics
McGill University
Montreal, QC, Canada H3A 2K6
Home: (514) 935-3618
marta.bunge@mcgill.ca
http://www.math.mcgill.ca/people/bunge
************************************************
________________________________
From: Joyal, André <joyal.andre@uqam.ca>
Sent: November 2, 2016 1:50:08 PM
To: Marta Bunge; categories@mta.ca
Cc: Steve Vickers; Patrik Eklund
Subject: RE: categories: Re: Grothendieck toposes

Dear Marta,

Mathematics and science are very often regarded
as the pure product of human rationality.
I can agree with the importance of rationality, except that humanity
is as much the product of nature as it is of rational choices.
You will agree that the natural world is only partially explained by science.
The rest is a big mystery. Not that the mystery is absolutly impenetrable.
I feel compelled to recognize the presence of mysteries even
in mathematics. The history of complex numbers, from the
discovery by Cardano to their applications in quantum physics is bewildering.
They belong to this universe as much as the electron and the human mind.
The fact that we human can understand  complex numbers may
have a metaphysical meaning.
What is it?

Best,
André



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


  reply	other threads:[~2016-11-02 19:15 UTC|newest]

Thread overview: 29+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-10-30 20:17 Marta Bunge
2016-11-01 15:16 ` Joyal, André
     [not found]   ` <23129f7a064fe24cddfc1414403dfe85@cs.umu.se>
2016-11-02 11:18     ` Marta Bunge
2016-11-02 15:09       ` Townsend, Christopher
2016-11-03  4:45       ` Eduardo Julio Dubuc
2016-11-03 19:36         ` Joyal, André
     [not found] ` <YQBPR01MB0611FD1B0099E7F4D36C84D9DFA00@YQBPR01MB0611.CANPRD01.PROD.OUTLOOK.COM>
2016-11-02 17:50   ` majordomo
2016-11-02 19:15     ` Marta Bunge [this message]
     [not found]     ` <YQBPR01MB0611A198AF9A5F51AD5562E8DFA00@YQBPR01MB0611.CANPRD01.PROD.OUTLOOK.COM>
     [not found]       ` <313cc907380f63841975a95b12cb1856@cs.umu.se>
2016-11-03 10:17         ` Steve Vickers
     [not found] ` <581B0EB3.4030304@cs.bham.ac.uk>
2016-11-03 11:13   ` Patrik Eklund
     [not found] <a98ed351-1df6-4f7d-1977-7d82d5a9900b@cs.bham.ac.uk>
2016-11-09 15:01 ` Thomas Streicher
     [not found] <8641_1478651661_58226F0D_8641_41_1_E1c4Goq-0004eP-Dd@mlist.mta.ca>
2016-11-09  2:35 ` Marta Bunge
2016-11-09 15:53   ` Patrik Eklund
  -- strict thread matches above, loose matches on Subject: below --
2016-11-08 13:32 wlawvere
2016-11-09 10:48 ` Thomas Streicher
2016-11-06 15:41 wlawvere
     [not found] <YQBPR01MB061141EA2F53A36490E14F0ADFA50@YQBPR01MB0611.CANPRD01.PROD.OUTLOOK.COM>
2016-11-05 15:04 ` Joyal, André
2016-11-03 14:03 Townsend, Christopher
     [not found] <YQBPR01MB0611BC0F9930A55EC2DFE2C8DFAF0@YQBPR01MB0611.CANPRD01.PROD.OUTLOOK.COM>
2016-10-31 11:27 ` Steve Vickers
2016-11-01 10:10   ` Clemens.BERGER
2016-11-01 10:30   ` Thomas Streicher
     [not found] ` <30618_1477941855_58179A5F_30618_291_1_E1c1IA3-0007Te-Te@mlist.mta.ca>
2016-10-31 22:40   ` Marta Bunge
     [not found]   ` <YQBPR01MB0611528D9E09F09BEB7C14B8DFAE0@YQBPR01MB0611.CANPRD01.PROD.OUTLOOK.COM>
2016-11-01 15:33     ` Marta Bunge
2016-11-02  0:20       ` Michael Barr
     [not found]     ` <004501d23520$bce007f0$36a017d0$@oliviacaramello.com>
2016-11-02 18:34       ` Marta Bunge
2016-10-28 19:08 David Yetter
2016-10-30  3:06 ` Michael Shulman
2016-10-30 19:39   ` Joyal, André
2016-10-27 11:07 Steve 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:
  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=E1c2MCS-00032k-4c@mlist.mta.ca \
    --to=martabunge@hotmail.com \
    --cc=categories@mta.ca \
    --cc=joyal.andre@uqam.ca \
    /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 NNTP newsgroup(s).