[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
**Subject**: **Re: Tables for mathematicians**
**From**: Coda Highland <chighland@...>
**Date**: Sat, 20 Aug 2016 13:35:18 -0700

On Sat, Aug 20, 2016 at 1:00 PM, Tim Hill <drtimhill@gmail.com> wrote:
>
>> On Aug 19, 2016, at 11:59 PM, Dirk Laurie <dirk.laurie@gmail.com> wrote:
>>
>> Just in case you thought tables were easy :-)
>>
>> Let V be the set of all Lua values.
>>
>>
>> I could go on ... but note we have not even got close to the issues
>> people have been dicussing recently!
>>
>
> I bet you read Principia Mathematica for fun.
>
> —Tim
Not that there's anything wrong with that!
>.>
I mean, I once wrote this in my notes:
∀T∈a⋈b(∃S∈a(∀x∈S(S[x]=T[x]))∧∃U∈b(∀y∈U(U[y]=T[y])))→∀z∈S∩U(S[z]=U[z])
Because it was the least ambiguous and most precise way of expressing
the operator I was studying at the time.
And we weren't USING sentential logic in that class!
/s/ Adam