又捡回啦,想捡回写日志的习惯,又不想受纸质的限制,现在上正题。
今日想法
1下星期看《西西里的美丽传说》
2开始期末复习,进行刷题模式
3继续锻炼身体,100个单举
4早睡早起
5努力看《集异璧之大成》和《不要等到毕业以后》,看完后上手《黑客与画家》
读书笔记---《不要等到毕业以后》
解决问题模式:老问题老办法,老问题新办法,新问题老办法,新问题新办法,形成适合自己的思维框架,并且每日总结,会读书的人看懂别人思考的框架,不会读书的人记住别人思考的结论
《集异璧之大成》
难点:对素数的非法刻划,先给出合数的印符操作,如果Cx不是个定理(不是个真陈述),就是说,操作后的x不是合数,即为素数,但这种刻划存在如何判断Cx是不是个定理,必须得跳出这个系统,因为这个系统是按照严格分层的,只给出定理的描述,在这个系统里利用跳出系统的操作,是非形式化的。现在给出了
C----4
C------6
C--------8
…………
这里给出了很多合数,那么除此之外就是素数,在这种理解下,合数为图形,素数为衬底,但我想如果反过来,素数为图形,合数便成了衬底,可不可以呢,待明天继续