[FRIAM] 1. Is the Equal Sign Overrated? Mathematicians Hash It Out | WIRED (Tom Johnson)
Carl Tollander
carl at plektyx.com
Mon Oct 14 22:47:32 EDT 2019
I first became aware of the equality issue from a Barry Mazur paper
http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf .
The Robert Goldblatt book "Topoi The Categorical Analysis of Logic" has
an honored place on my bookshelf but is mostly beyond me. I keep it
because it covers a lot of stuff I encountered in my youth but never had
sufficient time to explore. And because I like the pictures.
Carl
On Mon, Oct 14, 2019 at 11:39 AM Frank Wimberly <wimberly3 at gmail.com> wrote:
> In the work I did at CMU on statistical causal reasoning, we made heavy
> use of equivalence classes. Our algorithms would find equivalence classes
> of causal models (generalizations of acyclic digraphs). If any edge
> occurred in all elements of a class then it represented a cause between the
> variables (nodes) associated with the edge. As I recall.
>
> -----------------------------------
> Frank Wimberly
>
> My memoir:
> https://www.amazon.com/author/frankwimberly
>
> My scientific publications:
> https://www.researchgate.net/profile/Frank_Wimberly2
>
> Phone (505) 670-9918
>
> On Mon, Oct 14, 2019, 11:32 AM Jon Zingale <jonzingale at gmail.com> wrote:
>
>> Thanks Tom.
>>
>> It is exciting to see topos theory finding a place in the sun.
>> When I was participating in Dan Freed's TQFT seminars at
>> the University of Texas, we worked through one of Jacob's papers.
>> Despite the seemingly all-pervasive mistrust of category theory
>> (let alone topos theory), these seminars highlighted how this
>> wondrous branch of mathematics can elucidate the importance
>> of considering structural equivalence when there cannot be
>> a notion of strict equality.
>>
>> ============================================================
>> FRIAM Applied Complexity Group listserv
>> Meets Fridays 9a-11:30 at cafe at St. John's College
>> to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
>> archives back to 2003: http://friam.471366.n2.nabble.com/
>> FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove
>>
> ============================================================
> FRIAM Applied Complexity Group listserv
> Meets Fridays 9a-11:30 at cafe at St. John's College
> to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
> archives back to 2003: http://friam.471366.n2.nabble.com/
> FRIAM-COMIC http://friam-comic.blogspot.com/ by Dr. Strangelove
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20191014/8cfcede7/attachment.html>
More information about the Friam
mailing list