Re: Tables for mathematicians

[Coda Highland <chighland@...>]

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