Silicon Reckoning

professor rat pro2rat at
Wed Aug 4 17:37:40 PDT 2021

Mechanizing mathematics — the delegation to machines of part or all of what mathematicians are imagined to do — has been an obsession of computer scientists and a target for artificial intelligence since the very beginnings of digital computing.

More information about the cypherpunks mailing list