Jonkman Microblog
  • Login
Show Navigation

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. ∑ XahLee (xahlee@noagendasocial.com)'s status on Thursday, 12-Oct-2017 19:01:20 EDT ∑ XahLee ∑ XahLee

    “in the whole literature of mathematics there is not a single valid proof in the logical sense”
    State of Theorem Proving Systems http://xahlee.info/cmaci/notation/theorem_proving_systems.html

    In conversation Thursday, 12-Oct-2017 19:01:20 EDT from noagendasocial.com 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.