kaizenさんの感想
2011年8月15日
述語記号と関数記号の違いがわからずにつまづきました。 個体定項と個体変項の違いは、メタ記号と対象記号の違いと同じだと理解しました。 最初につまづくと、先になかなか進めません。 基礎理論を独学でつまづいたときに、助け船がどこにあるのでしょう。
公益財団法人国際高等研究所 京都大学元総長 「2017年 『〝もう一つの文明〟を構想する人々と語る日本の未来 自然と共に生きる豊かな社会』 で使われていた紹介文から引用しています。」