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).
A. Waraich. ITiCSE '04: Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education, page 97-101. New York, NY, USA, ACM, (2004)
M. Riedl, and R. Young. Proceedings of the International Joint Conference on Artificial Intelligence. Workshop on Computational Creativity, Edinburgh, Scotland, (2005)
R. Schank, and R. Abelson. Thinking: Readings in Cognitive Science, Proceedings of the Fourth International Joint Conference on Artificial Intelligence, page 151-157. Tbilisi, USSR, (1975)
B. Mott, S. McQuiggan, S. Lee, S. Lee, and J. Lester. Proceedings of the Agent Based Systems for Human Learning Workshop at the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (ABSHL-2006), Hakodate, Japan, (2006)
F. Kamareddine, M. Maarek, K. Retel, and J. Wells. Proceedings of the Sixth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT, Lecture Notes in AI 4573, page 296-312. Springer, (2007)
C. Nehaniv. Narrative Intelligence: Papers from the 1999 AAAI Fall Symposium, (5-7 November 1999 - North Falmouth, Massachusetts), page 101-104. AAAI Press, Technical Report FS-99-01, (1999)