|
|
|
|
|
|
by davnn
1923 days ago
|
|
|
Absolutely! I'm just not sure if we have chosen the right notation to describe our ideas. There are many interesting developments in formalizing mathematics and I hope that the field of mathematics is gravitating towards such solutions. |
|
|