> On 17 Dec 2018, at 19:57, Brent Meeker <meeke...@verizon.net> wrote: > > > >> >> >> On Monday, December 17, 2018 at 3:45:41 AM UTC-6, Bruno Marchal wrote: >> >>> On 15 Dec 2018, at 18:20, Philip Thrift <cloud...@gmail.com <javascript:>> >>> wrote: >>> >>> >>> >>> On Saturday, December 15, 2018 at 10:44:41 AM UTC-6, Jason wrote: >>> Kids in school are taught the digits of Pi go on forever. >>> >>> Also known as religious indoctrination. >> >> What ? > > Why the surprise, Bruno. You're the one who says mathematical logic is > theology.
OK. And so mathematical logic provides an example of (general, scientific) theology which is also NOT an indoctrination. My surprise came from “indoctrination”, not “theology”. Now, mathematical logic is not theology. It is born from a theological dispute in UK two centuries ago, but is now a branch of mathematics, and becomes again a theology only in the cognitive science contest where we assume or hope for the digital transplant survival. Bruno > > Brent > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to everything-list@googlegroups.com > <mailto:everything-list@googlegroups.com>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
