L. Wittgenstein. University Of Chicago Press, Chicago, (October 1989)characterizes mathematical propositions: - Do not have a temporal sense (pp. 34). - Are rules of expression. "the connection between a mathematical proposition and its application is roughly that between a rule of expression and the expression itself in use" (pp. 47). A rule of expression defines what is meaningful and what not, how a particular form should be used, etc. - Is invented to suit experience and then made independent of experience (pp. 43). "In mathematics we have propositions which contain the same symbols as, for example, "write down the integral of..", etc., with the difference that when we have a mathemaitical proposition time doesn't enter into it and in the other it does. Now this is not a metaphisical statement." (pp 34).
J. Daida, D. Ward, A. Hilss, S. Long, M. Hodges, and J. Kriesel. Proceedings of the 2004 IEEE Congress on Evolutionary
Computation, page 1225--1232. Portland, Oregon, IEEE Press, (20-23 June 2004)
A. Klenitskiy, and A. Vasilev. Proceedings of the 17th ACM Conference on Recommender Systems, RecSys
2023, Singapore, Singapore, September 18-22, 2023, page 1120--1125. ACM, (2023)
X. Jiao, Y. Yin, L. Shang, X. Jiang, X. Chen, L. Li, F. Wang, and Q. Liu. Findings of the Association for Computational Linguistics: EMNLP
2020, Online Event, 16-20 November 2020, volume EMNLP 2020 of Findings of ACL, page 4163--4174. Association for Computational Linguistics, (2020)