Apparently, this user prefers to keep an air of mystery about them.
Top network posts
- 8 Why is it impossible nowadays for a computer to derive all the possible theorems that flow from a particular formal system?
- 5 What is the reason we usually don't use formal proofs in mathematics?
- 5 Is it possible to check the validity of the following theorem in Group Theory automatically by a computer? If so, how?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.