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
    EdBoatConnoisseur (edboatconnoisseur@poa.st)'s status on Sunday, 17-May-2026 15:42:47 JST EdBoatConnoisseur EdBoatConnoisseur
    • karna :flipflop: :buffsuki:
    • hazlin

    @karna @hazlin

    In conversation about a month ago from poa.st permalink

    Attachments


    1. https://i.poastcdn.org/fe/92/1c/fe921cf938b673aaa9de1e364be9a37260827b675a42b6ac9ccc8963c5bc9bb9.png
    • Embed this notice
      djsumdog (djsumdog@djsumdog.com)'s status on Sunday, 17-May-2026 15:42:45 JST djsumdog djsumdog
      in reply to
      • karna :flipflop: :buffsuki:
      • hazlin
      before modern mathematical notation, a lot of proofs were written out in plain language or done using shapes. I do wonder if one day someone will discover a critical edge case or nuance with a commonly accepted axiom that radically alters our understand of mathematics.
      In conversation about a month ago permalink
    • Embed this notice
      karna :flipflop: :buffsuki: (karna@poa.st)'s status on Sunday, 17-May-2026 15:42:47 JST karna :flipflop: :buffsuki: karna :flipflop: :buffsuki:
      in reply to
      • hazlin

      @EdBoatConnoisseur @hazlin this technique also "proves" that the diagonal of a unit square has a length of 2 rather than sqrt(2)

      In conversation about a month 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.