165·
11 months agoProofs can be represented as programs, not the other way around. Also, USA allows for algorithm parents, and algorithms are maths. While I agree with you, your reasoning is not correct.
- 0 Posts
- 3 Comments
Joined 1 year ago
Cake day: September 8th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
1·1 year agoI agree. With “Lemmy is fantastic” part, too.
Correspondence is quite a weak relation. Very far from one being another.