数理逻辑的支撑,就好比沙丘的顶部立着一座高塔,这可能吗” “不过因为表达的不便,数学在我国古代的高等学府里,教材本身多记录题目与结果,而推导过程主要是通过口口传授,没有在教材里体现出来而已。” “直到南宋,才出现了第一套记录推演过程的方法,叫做‘算草’。” “如果以现代西方数学和逻辑学去对标我国古代的数学和逻辑学,那本身就是一个不公平的笑话,能与我国古代数学和逻辑学对