GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Conversation

Notices

  1. Embed this notice
    julesh (julesh@mathstodon.xyz)'s status on Saturday, 09-Nov-2024 20:35:06 JST julesh julesh
    • Sophie Huiberts

    @sophiehuiberts Depends on the subfield: nearly always yes, but with just barely enough no for that to be my answer (for example there are perfectly reasonable questions eg. in general topology that work out to be equivalent to the continuum hypothesis modulo ZFC, and I don't believe there is a consensus on the truth of the ground truth of CH)

    In conversation about 8 months ago from mathstodon.xyz permalink
    • Embed this notice
      Sophie Huiberts (sophiehuiberts@mathstodon.xyz)'s status on Saturday, 09-Nov-2024 21:03:30 JST Sophie Huiberts Sophie Huiberts
      in reply to

      @julesh i admit, i hadn't thought about that interpretation yet. personally i was thinking about matters of which questions are interesting or worth studying and why. how someone answers those questions is core to their mathematical practice and is profoundly different between people, places and decades

      In conversation about 8 months ago permalink
    • Embed this notice
      julesh (julesh@mathstodon.xyz)'s status on Sunday, 10-Nov-2024 02:36:04 JST julesh julesh
      in reply to
      • Oblomov
      • Sophie Huiberts

      @oblomov @sophiehuiberts Good question... I found a good list of concrete-looking questions equivalent to CH
      https://mathoverflow.net/questions/459139/what-is-the-most-concrete-feeling-equivalent-formulation-of-the-continuum-hypo
      but I don't think I have any gut feeling that any of them are obviously true or false

      In conversation about 8 months ago permalink

      Attachments

      1. Domain not in remote thumbnail source whitelist: cdn.sstatic.net
        What is the most "concrete-feeling" equivalent formulation of the Continuum Hypothesis that you can think of?
        There are many equivalent formulations of the Continuum Hypothesis, but I think the most standard one is that there is no infinite cardinality lying strictly between the cardinality of the natural
    • Embed this notice
      Oblomov (oblomov@sociale.network)'s status on Sunday, 10-Nov-2024 02:36:05 JST Oblomov Oblomov
      in reply to
      • Sophie Huiberts

      @julesh @sophiehuiberts is there a CH equivalent of «The axiom of choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn's lemma?» ?

      In conversation about 8 months ago permalink

Feeds

  • Activity Streams
  • RSS 2.0
  • Atom
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.