Conversation
Notices
-
kat (kat@quitter.se)'s status on Saturday, 16-Sep-2017 19:56:46 EDT kat
I feel the need to prove that Church numerals actually satisfy the Peano Axioms. Otherwise it's just a waste of time - just an appearance
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.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.