Jonkman Microblog
  • Login
Show Navigation

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. univalence electron (amsomniac@quitter.no)'s status on Saturday, 09-Dec-2017 22:38:31 EST univalence electron univalence electron
    so wait, is Gödel's theorem both a powerful enough statement that it's true for all logical systems -and- weak enough that there's no way to apply it to a system such that you end up unable to determine whether it's true?
    In conversation Saturday, 09-Dec-2017 22:38:31 EST from quitter.no permalink
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.

Switch to desktop site layout.