From: Urs Schreiber <urs.schreiber@googlemail.com>
To: "categories@mta.ca" <categories@mta.ca>
Subject: Re: Publicity
Date: Sat, 8 Jun 2013 22:30:02 +0200 [thread overview]
Message-ID: <E1UlnMg-0007Ap-KG@mlist.mta.ca> (raw)
In-Reply-To: <CA+KbugedoXnnv8xHKwuug0-LWtZ0ks9U7SovZNQ8mLZ+1oCaFQ@mail.gmail.com>
On 6/8/13, Marta Bunge <martabunge@hotmail.com> wrote:
> The assertion "the theory of programming
> languages and the field of logic can be seen as essentially identical to
> category theory " is pure nonsense, even more so as it is given an
> outrageous name - "computational trinitarianism" even if spoken in jest.
The term "computational trinitarianism"
http://ncatlab.org/nlab/show/computational+trinitarianism
refers to the theorem relating category theory and type theory
http://ncatlab.org/nlab/show/relation+between+type+theory+and+category+theory
The further relation between type theory to logic and programming
languages is similarly well established. The term "computational
trinitarianism" was invented by Bob Harper in an expositional blog
post
http://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/
designed to alert an unspecialized public about these nice and useful
facts. I guess that's what the author of that article about Spivak's
paper picked up.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
next prev parent reply other threads:[~2013-06-08 20:30 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-05-30 13:09 Workshop on Logics for Resources, Processes and Programs, 16 September 2013, Nancy, France Pym, Professor David J.
2013-06-06 0:28 ` Publicity Ross Street
2013-06-06 15:46 ` Publicity Eduardo J. Dubuc
2013-06-07 14:40 ` Publicity Ronnie Brown
[not found] ` <51B1F0C1.7040509@btinternet.com>
2013-06-07 21:46 ` Publicity Ross Street
2013-06-07 15:53 ` Publicity Vaughan Pratt
[not found] ` <24659_1370525088_51B08DA0_24659_212_1_E1Uka9s-0001mR-LE@mlist.mta.ca>
2013-06-06 14:38 ` Publicity Marta Bunge
[not found] ` <51B1D325.9090803@univ-savoie.fr>
[not found] ` <E1UlPE2-000307-7e@mlist.mta.ca>
2013-06-08 20:09 ` Publicity Jeremy Gibbons
2013-06-10 7:53 ` Publicity Patrik Eklund
[not found] ` <BAY405-EAS412C574EC8D0E67E2485565DF9A0@phx.gbl>
2013-06-11 12:40 ` Publicity Tom Hirschowitz
2013-06-13 7:25 ` Publicity Steve Vickers
[not found] ` <103F7278-41D1-463F-B03C-D4B99E56DA49@cs.bham.ac.uk>
2013-06-13 9:07 ` Publicity Tom Hirschowitz
[not found] ` <CA+KbugedoXnnv8xHKwuug0-LWtZ0ks9U7SovZNQ8mLZ+1oCaFQ@mail.gmail.com>
2013-06-08 20:30 ` Urs Schreiber [this message]
2013-06-07 2:35 Publicity Fred E.J. Linton
2013-06-08 21:13 Publicity Fred E.J. Linton
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=E1UlnMg-0007Ap-KG@mlist.mta.ca \
--to=urs.schreiber@googlemail.com \
--cc=categories@mta.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).