Zulip Chat Archive
Stream: general
Topic: Mathematics and Philosophy
Sean Leather (Apr 12 2018 at 10:34):
Simon Hudon (Apr 12 2018 at 11:54):
Is a group of octopuses called a tangle?
Sean Leather (Apr 12 2018 at 12:05):
Is a group of octopuses called a tangle?
According to the mathematicians here, it should be G. According to the mathlib developers, it should be α.
Simon Hudon (Apr 12 2018 at 12:15):
Haha! Nuclear!
Sean Leather (Sep 29 2018 at 18:23):
Does philosophy still need mathematics and vice versa? (Aeon) by Jeremy Avigad. Discussion at Daily Nous.
Last updated: Dec 20 2023 at 11:08 UTC