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

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

myrmepropagandist (futurebird@sauropods.win)'s status on Sunday, 17-Nov-2024 22:59:06 JST

  1. Embed this notice
    myrmepropagandist (futurebird@sauropods.win)'s status on Sunday, 17-Nov-2024 22:59:06 JST myrmepropagandist myrmepropagandist
    in reply to
    • Jorge Stolfi
    • Eleanor Saitta
    • Wyatt H Knott

    @JorgeStolfi @dymaxion @whknott

    Part of understanding these systems and their tremendous power is recognizing that there are undefined terms and knowing exactly what you have assumed through the consensus of language and conventions of meaning.

    Do you want to purge subjectivity from mathematics? Good luck with that.

    But I think it's also worth asking WHY so much of the mathematics of a century ago was focused on this goal? Why did otherwise brilliant people burn up so much time chasing it?

    In conversation about 6 months ago from gnusocial.jp permalink

Feeds

  • Activity Streams
  • 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.