Don't Forget ~ First Meeting Tomorrow (See Ben's Message Below)

[John Walker]

6pm Thurs Sept 19: Ben Hutchison on Numeric Abstraction. In-person@Kathleen Syme Centre, Carlton

Hope to see you there!

[Ben Hutchison]

I've just arrived at the venue. This is how to find us. Activity room 2

On Wed, 18 Sept 2024, 6:38 pm John Walker, <thegh...@gmail.com> wrote:

6pm Thurs Sept 19: Ben Hutchison on Numeric Abstraction. In-person@Kathleen Syme Centre, Carlton

Hope to see you there!

--
You received this message because you are subscribed to the Google Groups "Melbourne Compose Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to melbourne-compose...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/melbourne-compose-group/b891557b-4970-418c-937c-3cf5381996b2n%40googlegroups.com.

[Alexey Kotlyarov]

Still on the topic of numbers:

https://x.com/ESYudkowsky/status/1836793115941736946

> Is 10 °C difference and 10 K difference the same thing?

[Ben Hutchison]

Alexey, 

At our last meeting if you recall, I mentioned how there is a useful distinction between Points and Vectors which are different types of numeric quantity. While commonly accepted in 2D and 3D, it's less accepted in 1D, but deserves to be.

The beautiful thing is, once you make this distinction, it also provides the answer to the Celcius and Kelvin riddle.

Celcius and Kelvin temperatures are Points, and in different units and different types. However, they both use the same Vector units. So 2C != 2K (points), but +2C == +2K (vectors).

-Ben

--

You received this message because you are subscribed to the Google Groups "Melbourne Compose Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to melbourne-compose...@googlegroups.com.

To view this discussion on the web, visit https://groups.google.com/d/msgid/melbourne-compose-group/e838d15a-58c1-449c-a8d8-623efa3ba814%40koterpillar.com.

[ja...@jackkelly.name]

Could you also say that temperature-in-Celsius and temperature-in-Kelvin have the same torsors?

https://hackage.haskell.org/package/acts-0.3.1.0/docs/Data-Act.html#t:Torsor

I am fond of torsors but don't get a lot of chance to use them. They're also good for talking about what operations are permissible on a time vs. the difference between two times.

https://old.reddit.com/r/haskell/comments/j9hfnd/torsors_in_the_time_library/

-- Jack

> > To view this discussion on the web, visit https://groups.google.com/d/msgid/melbourne-compose-group/e838d15a-58c1-449c-a8d8-623efa3ba814%40koterpillar.com https://groups.google.com/d/msgid/melbourne-compose-group/e838d15a-58c1-449c-a8d8-623efa3ba814%40koterpillar.com?utm_medium=email&utm_source=footer .

> >
> --
>
> You received this message because you are subscribed to the Google Groups "Melbourne Compose Group" group.
>
> To unsubscribe from this group and stop receiving emails from it, send an email to melbourne-compose...@googlegroups.com.
>

> To view this discussion on the web, visit https://groups.google.com/d/msgid/melbourne-compose-group/CAGJkGJ-9pa8MrhH55n3ES6D2Xsp59bB9ZRYLUP-2MXNAuo59Ew%40mail.gmail.com https://groups.google.com/d/msgid/melbourne-compose-group/CAGJkGJ-9pa8MrhH55n3ES6D2Xsp59bB9ZRYLUP-2MXNAuo59Ew%40mail.gmail.com?utm_medium=email&utm_source=footer .
>