Zulip Chat Archive
Stream: new members
Topic: Natural number game has duplicated world?
Andre Popovitch (Dec 06 2021 at 21:17):
CleanShot-2021-12-06-at-16.17.192x.png proposition world appears to be the exact same as function world, any clue why? the URLs are different
Yaël Dillies (Dec 06 2021 at 21:18):
Eheh, this is very much on purpose. Try to find the one difference.
Eric Wieser (Dec 06 2021 at 21:32):
Kevin Buzzard (Dec 06 2021 at 21:34):
@Andre Popovitch it's almost as if true-false statements could be regarded as sets with 1 or 0 elements
Last updated: Dec 20 2023 at 11:08 UTC