view wisdom/lie @ 7449:1c3c4b1a93e5

<b_jonas> learn Church invented a sane model of computation, but Turing was better with marketing, so now people define theoretical computer science using obsolate hardware like tape recorders.
author HackBot
date Sun, 17 Apr 2016 22:22:41 +0000
parents f0e8bf6fb443
children c777e2d91031
line wrap: on
line source

Lies are even easier than monoids. They form groups, known as Lie groups.