作者简介程立达，网名老夫子，广东高州人，66年高中毕业，77级大学物理系本科，大半辈以文字谋生，退休后客居悉尼，偶习诗书，聊慰老怀，是广东省作家协会会员，竹韵汉诗协会会员，悉尼诗词协会理事。图加比溪边野雏菊丛驿外荒溪畔，荧然一掬金。寄身寥寂处，不想惹陶吟。新加坡花柏山顶咏树野生野长屹山巅，拔地拏云气岸然。幸未移将盆上种，始知世外有高天。惠灵顿市国家植物园底事流连独此园？红杉浩气逼云天。纵然岁月庸常过，也遣高怀到梦边。悉尼加里高山野小冬固星花不居温圃傍人家，不怨霜风不自嗟。不顾流年冬旱甚，星星点点缀山崖。悉尼南天寺莲塘有见斜雨侵池乱打蓬，芙蕖搖曳飐罡风。弯腰未必媚威势，舞得滂沱始见功。帕市废置高尔夫球场内炮仗花黄藤独蔓旧篱边，自逐阳光自汲泉。燃放本非招望眼，妖娆秀色出于天。见同乡发山棯视频初秋又见熟桃娘，紫汁盈盈欲破囊。因记孩提充饿肚，便从棯子认家乡。新加坡东海岸公园遇菇棯花一丛粉色傍林隈，疑是桃娘易地栽。许是东君怜远客，便令旧识眼前来。艾草郊行又见野株蕃，人道驱邪插宅门。若插官衙

悉尼昨日和今天热爆，气温高达40摄氏度，而新州以往11月份的记录也被打破。悉尼机场的气温升至42度以上，可能打破1982年创下的43.4度的较高纪录。猛烈的西北风使海风无法送来清凉。澳大利亚东南部地区进入高温热浪模式。据气象预报分析，这个夏季，澳洲大地将遭遇高温热浪和暴雨的轮番洗劫。热浪（heatwave）是澳洲大陆最致命的自然灾害之一，因热浪而死亡的人数比山火、飓风和洪水加起来所导致的死亡人数还要多。那么，什么是热浪，它是如何形成的？根据澳大利亚气象局（Bureau of Meteorology）对热浪的定义，热浪指“某地区的较高和较低温度连续三天或三天以上不同于往常”。通常，当高气压系统从澳大利亚内陆开始移动，将炎热干燥的空气推向沿海地区的时候，就会出现热浪。人们也许会注意到，基本上每周都有高气压从澳大利亚西部向东部移动，然而却不是每周都会出现热浪天气，那么，在哪些情况下会使得这样一个正常的气候模式转变为热浪呢？根据气象局专家的说法，以下三种情况可以使得正常天气的一周转变为特别危险的热浪天气：1.如果澳大利亚中部发生干旱，那么被推向东南部的空气将会格外炎热。通常太阳的部

澳航正在研究要求乘客持证明疫苗接种证书登机的可能性。另外，昆州首席卫生官表示，从明年三月起，老人和医护人员将有可能首先接种疫苗，其他人则要等到明年底。澳航总裁称有必要让乘客接种疫苗后再登机澳航（Qantas）总裁艾伦·乔伊斯（Alan Joyce）昨天表示，他认为有疫苗后就有必要让乘客接种疫苗。目前，澳航正在研究要求乘客持证明疫苗接种证书（vaccination passport）登机的可能性。乔伊斯说，该公司认为对国际旅客和离境旅客来说，有必要打新冠疾病疫苗。同时，澳航也在考虑对国内航班乘客采取同样的登机要求。他表示，已经与其他有国际航线业务的航空公司的总裁谈过，那些公司也在考虑接种疫苗后才能登机出行的强制性政策。目前，澳航正在研究乘客怎样才能获得疫苗接种证书，以及证明接种的是什么疫苗。周一，新州和维州之间的边境重新开放，澳航也恢复了悉尼和墨尔本之间的航班。明年三月优先人群开始接种新冠疫苗昆州首席卫生官珍妮特·杨（Jeannette Young）表示，从明年三月起，老人和医护人员将有可能首先接种辉瑞新冠疫苗，其他人则要到明年底才能接种疫苗。本月早些时候，联邦卫生部长格雷格·亨特（Gr

一提起猝死或者突发胸痛、大汗淋漓、呼吸困难甚至晕厥，很多人立刻就想到了脑梗和心梗，而能够想到肺栓塞这个病的人恐怕少之又少。曾有一位患者从国外旅行回国，刚下飞机不久就突然感到胸痛伴呼吸困难、大汗淋漓、口唇发紫。幸好抢救及时，保住了性命。出乎大家意外的是，造成患者上述情况的既不是脑梗也不是心梗，而是由于下肢深静脉血栓脱落导致的急性肺栓塞，这时同行人员才想起飞机上老李说过右腿有些沉胀不太舒服。类似情况国外在很多年之前就有过报道，并称之为“经济舱综合症”，指的就是在狭小的空间内长时间坐着不活动造成了下肢深静脉血栓，血栓脱落后顺着血流到达肺动脉，引起急性肺栓塞。事实上，这种下肢深静脉血栓绝不仅仅发生在飞机上，在长时间坐着工作、打麻将、上网以及手术之后长时间卧床等久坐久卧不动的人群当中并不少见且屡有报道。由于深静脉血栓发病时很容易被忽视，可一旦血栓脱落引起急性肺栓塞又十分凶险，因此临床上常常把下肢深静脉血栓称为“沉默的杀手”。下肢深静脉血栓指静脉血液在下肢深静脉血管内的凝结。典型表现包括单侧下肢肿胀、软组织张力高、沉重感，但小腿段得血栓常常症状比较轻容易被忽视。下肢深静脉血栓可遗留下肢水肿、继发性

11月26日晚上，悉尼小红帽协会举办了新冠疫情期间第六次网课，由Leo Wei先生主讲“澳洲的有关惠民政策”。Leo Wei先生是太平绅士、2019年新州州议员候选人，现任全球反家暴组织白丝带大使、澳华菁英汇主席。他在澳洲学习和工作多年，有良好的人脉资源，熟悉政府的政策及运作方式。Leo Wei先生主要讲解了有关太平绅士、防止家暴、老人照顾儿童补贴、优惠卡与保健卡、养老金、疫情灾难补贴和最近推出的外出消费券等问题，旨在帮助大家了解澳洲政府的一些惠民政策。关于太平绅士问题。Leo Wei介绍了太平绅士的来由与定义、履行职责、服务特点和要求等情况。他指出，太平绅士（Justice of the Peace，简称JP，也译作治安法官）是一种源于英国，由政府委任民间人士担任维持社区安宁、防止非法刑罚及处理一些较简单的法律程序的职衔。澳洲大陆的首要批欧洲移民是来自英国的囚犯，澳洲的JP也是沿袭了早期的英国体制，它最初的功能确实如字典上的解释，是协助政府维持一方治安的人。后来大家约定俗成用了“太平绅士”这个中文称谓，主要也是受到早期抵澳的香港移民的影响。太平绅士的职责主要有

“逢黑必补”有何根据？不妨了解一下，提醒：这4种常被点名民间有“逢黑必补”之说，传统中医学中，把不同颜色的食物或药物归属于人体的五脏：“红色入心，青色入肝，黄色入脾，白色入肺，黑色入肾。”这个理论在《黄帝内经》中多次提及，如“北方黑色，入通于肾，开窍于二阴，藏精于肾”，等等。 现代营养学也发现，食物的营养结构，与食物本身的色彩有着非常密切的关系。通常色彩越深，则食物的营养价值越高。尤其是蛋白质、维生素以及人体所必需的钙、铁等矿物质的含量都比普通食物高，且营养结构合理，保健作用大。因此，黑色食物因其营养成分齐全，质优量多，被列为食物之首。被视为滋补、增强体质、延缓衰老的佳品。常被养生家点名的4种黑色食物，不妨了解一下一、黑米黑米被称为米中珍品，也被称为

这是人类航天史上的一小步，却是商业航天史上的首要步。马斯克的SpaceX在成本和效率上完胜航空业巨头波音，率先开辟了商业航天新时代。 美国当地时间5月30日中午12时22分，在佛罗里达州的肯尼迪航空中心，SpaceX用自己的猎鹰9火箭成功将二代龙飞船送上了太空。两名宇航员随后成功抵达国际太空站，而火箭一级也实现了成功回收。这是美国自2011年以来首次从本土出发将宇航员送入太空，也是航天史上首次由私营企业完成载人航天任务。马斯克创办的SpaceX成为了商业航天领域的先行者，载人航天至此不再是政府的专利。此次发射也意味着美国结束了在这一领域对俄罗斯将近十年的依赖。自2011年美国航天飞机退役之后，美国就一直依赖俄罗斯的联盟号(Soyuz)飞船送自己的宇航员上太空，只能忍受俄

(说明：本文系根据澳华菁英汇主席 Leo Wei 先生在悉尼小红帽协会第六次网课上的讲解内容整理而成)澳大利亚作为一个发达的资本主义国家，建立了一套比较完整的国民福利制度。本文讲解有关太平绅士、防止家暴、老人照顾儿童补贴、优惠卡与保健卡、养老金、疫情灾难补贴和最近推出的外出消费券等问题，希望能帮助大家了解澳洲政府的一些惠民政策。一、关于太平绅士1.太平绅士的来由与定义太平绅士（Justice of the Peace，简称JP，也译作治安法官）是一种源于英国，由政府委任民间人士担任维持社区安宁、防止非法刑罚及处理一些较简单的法律程序的职衔。成为太平绅士无须任何学历或资格认证要求。现时英国的英格兰与威尔士、澳大利亚、新西兰、马来西亚、美国、新加坡等国家和中国的香港地区均有太平绅士制度，但各地区对太平绅士的定义和要求有所分别。澳洲大陆的首要批欧洲移民是来自英国的囚犯，澳洲的JP也是沿袭了早期的英国体制，它最初的功能确实如字典上的解释，是协助政府维持一方治安的人。后来大家约定俗成用了“太平绅士”这个中文称谓，主要也是受到早期抵澳的香港移民的影响。太平绅士，更为贴近的意

澳大利亚新州宣布从12月1日起在家庭聚集和餐饮业接待人数方面进一步放宽限制。新州已经连续18天没有出现本地感染病例。新州州长格拉迪斯·贝雷吉克利安（Gladys Berejiklian）赞扬新州人在艰难的环境下表现卓越。新近的解禁规定，从12月1日起：多达50人将能够聚集在一个私人住宅，但是需要在户外；一个住宅室内聚集不要超过30人；公共场所聚集最多50人（此前的限制是30人）；面积200平方米以下的餐馆、酒吧和咖啡厅室内聚集每两平方米不超过一人。另外，从12月14日起，取消在家工作的命令。本周早些时候，新州放松了许多其他限制。多达3000人现在可以聚集到户外活动，如音乐会，多达500人可以参加户外宗教活动。随着圣诞节的临近，多达30名唱诗班歌手现在可以在室外表演。

蓝花楹，英文名是Jacaranda。澳大利亚每到10月中旬至11月，蓝花楹如约开放，把街道庭院、河谷山野装扮得蓝色环绕，清香四溢，远远望去，就像一片紫色的烟雾，十分梦幻。在作者印象中，把蓝花楹盛开的景象描绘成“紫色烟雾”的是三十多年前的郁风女士。当下，澳洲正值蓝花楹盛开的时节。悉尼文化界的朋友们不由得想起了郁风和她的夫君黄苗子，想起他们与蓝花楹的故事。那是1989年，遐迩驰名的中国当代文学艺术界里的”双子星座” 黄苗子郁风夫妇移居澳大利亚，住在布里斯本。刚到不久，郁风发现了蓝花楹这种她未曾见过的美丽花树，非常惊喜。在一封给朋友的信里，她描写道：“我首要次发现它是在博物馆旁边一片空地上孤零零一棵大树。其他的树在冬天也不落叶，而它却姿态万千地全部以粗细相间的黑线条枝桠显示它的生命力。有一日之内我又经过那里，突然它开出满树淡蓝紫色的花！没有任何绿叶和杂色的花。再过几天越开越盛，枝桠全不见了，一片紫色的烟雾，地上落花也是一片烟雾……”蓝花楹适合在热带亚热带地区生长，原产于南美洲的巴西、玻利维亚和阿根廷等国家。中国引种时间不长，国内能看蓝花楹的城市不多，基本局限在南方热带地区。常住北

黑格尔250年前的1870年8月27日，黑格尔诞生，这位伟大的思想家在世期间思想即已经产生巨大影响。恩格斯曾对他不吝赞美，称他为“富于创造性的天才，而且是一个百科全书式的学识渊博的人物，所以他在各个领域中都起了跨时代的作用”。（《马恩文集》第4卷，人民出版社，第272页）可时至今日，国人谈到黑格尔时，却已经觉得陌生和遥远。但他的思想从未随着他生命的“终结”而“终结”，而依然在现实中拥有强大的生命力，并且成为后起的思想的契机和生成之基。如20世纪30年代科耶夫在巴黎高等实践学院《精神现象学》的研讨班，以其对黑格尔的欲望、死亡、主奴关系、承认、历史终结等概念的提炼和独特的解读，赋予了那些直接和间接参加他的研讨班的梅洛·庞蒂、巴塔耶、雷蒙·阿隆、拉康、萨特等法国思想家以灵感和生命。而前些年福山因提出“历史终结论”而红极一时，其基本观点其实也是科耶夫化的黑格尔的深描和当代回响。当然，黑格尔对中国的影响其实也至为深远，这不仅是因为他的思想影响了至今仍深深影响着中国的马克思的思想。而百多年来，他的思想同样也直接影响过中国现代学人的

早期的双语计算机类词汇、辞典，主要有这几种：《俄汉计算技术词汇》、《英汉计算技术词汇》、《英汉计算技术辞典》、《英汉计算机辞典》、《英汉计算机辞典续编》、《英汉计算机辞典》（修订版）。早先依靠手工编纂辞典，还是剪刀加浆糊的编辑“工程”。计算机发展汹涌澎湃，编纂者前仆后继，不过想要让书名不致重复倒成难题。1960 年4 月，首要册计算机专业双语词汇《俄汉计算技术词汇》由科学出版社出版，含6500 条词汇，其中计算机3500 条，计算数学3000 条，程序设计和机器翻译词汇是初次编订，经范新弼、冯康、蒋士騛、黄玉珩等审查定稿，印数15500 册，定价0.52 元。《俄汉计算技术词汇》，主编于桂芝收藏的赠阅本。中苏关系破裂了，大量俄文资料还要使用，俄汉字典仍是出版重点。《词汇》由中科院计算技术研究所编订，并加上了“中国科学院编译出版委员会名词室”，以示标准化和权威性。前言说明“本词汇系由计算所张伟、杨尔肃、石芸生、陆业才、耿立大、于桂芝等同志编订”，担任主编（当时叫组长）的是于桂芝，前言由她执笔，把自己的名字写在了队列收关。这是一个尊重知识和尊重劳动的时期，以后有好长一段时间要突出集体，让个

木落识岁秋，瓶冰知天寒。衰老，即增龄性衰老，表现为一系列难以逆转的组织器官健康水平与功能下降，导致衰老相关疾病如阿尔兹海默症、心血管疾病和骨关节炎等的高发。随着现代科技的发展，人们逐步意识到干预衰老速度和寿命长度，或能防治衰老相关疾病、实现健康衰老。科研人员将衰老的新型研究技术与疾病模型结合，追本溯源，发现衰老过程中干细胞耗竭增加、衰老细胞清除率减少、细胞间通讯改变以及营养感受失调，且衰老细胞表现出基因组不稳定、表观遗传修饰改变以及端粒缩短等特征。然而，“知天命”并不等于“听天由命”。当前，科研人员将目光聚焦于小分子药物治疗、干细胞治疗、基因治疗、科学节食以及运动等方面，期望通过对特定组织器官或机体的衰老水平进行干预，从而促进生理上保持更年轻和更健康的状态。 小分子药物干预寻找可干预衰老进程以及延长健康寿命的“灵丹妙药”是衰老研究的一个关键方面。目前较具前景的延缓衰老药物主要有雷帕霉素、二甲双胍、亚精胺、NAD+（烟酰胺腺嘌呤二核苷酸）补充剂、Senolytics类药物等。这类药物通常在模式动物甚至是人体内表现出明显的延缓衰老效果，且副作用低，安全性好，是延缓衰老药物界的“扛把子”。以

人工智能是时候该觉醒了吗？图灵奖得主Yoshua Bengio针对AI和机器学习的未来阐述了他的新近见解。他讲到未来机器学习完全有可能超越无意识，向全意识迈进。而注意力机制正是实现这一过程的关键要素。人工智能会产生意识吗？这是一直以来美剧《西部寰球》中探讨的问题。AI主人公觉醒，意识到这个寰球是人类杀伐主宰的乐园，于是开启了逆袭之路。图灵奖得主、蒙特利尔学习算法研究所主任Yoshua Bengio对AI和机器学习的未来提供了新近的见解。他讲到未来机器学习完全有可能超越无意识，向全意识迈进。而注意力机制正是实现这一过程的关键要素。注意力机制是啥？注意力机制来源于人类的视觉注意力，是人类在进化过程中形成的一种处理视觉信息的机制。最简单的例子，比如看一个图片，会有特别显眼的场景率先吸引注意力，因为大脑中对这类东西很敏感。注意力是神经科学理论的核心，该理论认为人们的注意力资源有限，所以大脑会自动提炼最有用的信息。在机器学习的语境下，注意力指的是一个算法关注一个或同时关注到几个元素的机制。它是一些机器学习模型架构的核心。2017年，谷歌论文Attention is All You Need当中提

1. 思维的原则不同中国人常常站在道德的角度思考问题，而美国人一般站在法律和规则的角度思考问题。譬如开车过马路，在中国很多中国人都是随意过马路的，怎么开车都方便。在美国，必须耐心地等着过马路的绿灯。美国人在美国过马路开车都是严格遵守红绿灯等交通法规的，但是一旦到了中国就无所谓了。交通问题一开始就不是质量问题，而是一个法律问题，一个执法问题。一个没有空缺口可钻的司法制度问题。2. 思维方向不同美国人给你零钱，硬币从小到大，纸币从小到大。中国人给你找头。他们给你从大到小的纸币，然后是从大到小的硬币。美国字母的地址顺序是:姓名、门牌号、街道名称、地区名称、城市名称、州和邮政编码。中文字母的地址顺序是:邮政编码、省、市名、区名、街道名、门牌号、姓名。美国人从小到大思考，首先是个人，然后是整体，宣扬个人主义。中国人从大到小思考，先作为整体，再作为个体，突出集体主义。所以，大多数美国人遇到女士、女士、先生，或者直呼其名。走进教堂，祖辈们互相称兄道弟。所以大多数中国人都会遇到大姐姐，大哥哥，叔叔，阿姨，阿姨。也叫无血缘关系。无论走到哪里，资历都不能差。3. 思维结果不同多元文化主义是很多西方国家的主

你以为机器人取代人类真的很容易？根据《华盛顿邮报》报道，沃尔玛在本月初终止了与智能机器人公司Bossa Nova Robotics的合作，“解雇”了由该公司提供的、现已应用于沃尔玛旗下500家门店的自动货架扫描机器人。这些“机器人员工”从2017年开始在沃尔玛的50个门店正式“上岗”，主要负责货架巡检。它们身高 2 英尺（约 0.61 米），长柱型的手臂上安装了摄像头。大部分的时间，它们都处于“休息”状态，待在店里的充电点，直到沃尔玛员工给它们指示才开始工作，内容就是缓慢经过货架，同时扫描货架上的货物和标签，确定商品是否数量足够、货架标签上的名称、价格等信息是否无误，再将相关信息反馈给沃尔玛员工。沃尔玛当时表示，对于扫描货架这种“重复的、可预测的”工作，机器人的效率会比人类员工高50%，速度则是人类员工的3倍。而且机器人公司Bossa Nova Robotics的CEO表示，他们生产的机器人在感应到人类的时候会立刻停下后退，以便给人类留出移动空间。这样听上去，沃尔玛的扫描机器人真的很不错。那么为什么在用了3年之后，沃尔玛还是做出了解雇机器人员工的决定呢？最直观的原因是这些机器人时常会影

美国鲍尔州立大学教授史蒂夫·霍维茨撰文指出，经济学家可以把所有时间都用来驳斥那些在媒体和公众中盛行的经济谬误。所谓“民科经济学”，在大家谈论经济问题时几乎随处可见。我不想去考察那些非常具体的谬误，而是想重点谈谈关于经济和经济增长的三个高阶信念。这三个信念被大家广泛接受，破坏力巨大。01 零和游戏的谬误认为市场活动是零和游戏，这是首要个谬误。零和游戏是指总收益为零的游戏。在零和游戏中，一个人的收益就是其他人的损失。这种对市场的错误认知表现在很多方面。最为普遍的零和思维，就是认为富人是通过让别人变穷来让自己变富的。大家在谈论国内的贫富差距以及富国和穷国的关系时，都是这种思维。大家普遍认为，西方国家的致富之路就是从寰球其他地方掠夺资源和劳动力。注意这里的零和思维：资源的数量是固定的，西方国家从寰球其他地方夺走了这些资源。这里的谬误在于认为存在一个固定大小的财富馅饼，而市场活动只是在个人、家庭或国家之间分配财富。它忽视了财富是通过生产和交换创造出来的。经济学的最基础原理就是互利交换能创造财富。星巴克卖给我一杯咖啡，星巴克更喜欢两美元，而我更喜欢咖啡。通过交换，我们都获利了。用价值低

当前，以数字技术为核心的通用型技术正在全球范围内加速新一轮技术革命与产业变革。作为寰球经济发展的基本形态，数字经济正通过推动生产方式、商业模式与管理范式的深刻变革，全面推动供给侧结构性改革和经济高质量发展。尤其是面对今年年初暴发的新冠肺炎疫情，数字经济更是表现出强劲的增长动能与抗压韧性，加速激发了全社会对数字经济的需求。百度指数表明，自今年我国疫情最严重的2月以来，在百度搜索引擎上对“数字化”和“数字经济”两个关键词的搜索量呈现显著的上升趋势。不仅如此，今年是“十三五”规划收官之年，也是“十四五”规划的布局之年。站在“两个一百年”奋斗目标和两个五年规划的历史交汇点上，如何准确把握我国数字经济在“十四五”期间的发展趋势，对重点领域进行研判并探讨具有创新性和包容性的政策框架，是一个至关重要的课题。目前，我国已初步形成数字经济发展的市场基础、政策体系与技术路线。展望“十四五”，我国数字经济将继续乘风破浪，助推经济社会发展。首要，数字经济规模将进一步扩大。近几年来，我国数字经济高速发展，中国信通院和中国社科院分别对我国数字经济规模进行了测算，结果显示2019年我国数字经济增加值分别

一、关于选举票数1. 截至11月20日，双方暂时都承认的选举人票：拜登 227票；川普 232票（包括3日晚上主流媒体确认的214张，及随后确认的北卡15张及阿拉斯加3张）。20日鲍威尔表示，川普的实际选票应超8000万。11月3日晚上停止计票，川普当时领先，但第二天早上翻蓝的州有：佐治亚州、宾夕法尼亚州、威斯康辛州和密歇根州。川普4日早上暂时落后，但选票有很不正常现象，中间停止计票的州有内华达州和亚利桑那州。2. 国会议席：参院 ：共和党50对民主党48；众院： 共和党 212 对民主党223。二、战场州（选票及诉讼）情况1. 佐治亚州 （16张选举人票）林伍德以个人名义诉佐治亚州务卿与希拉里的律师签的有关选举规则修改（主要是如何处理邮寄选票）的协议不合宪法（州务卿没有立法权），并要求因重新计票过程的问题而紧急推迟延期选票认证的诉讼于11月19日被亚特兰大法官Grimberg驳回，理由是作为个体选民没有对联邦选举中违法行为的诉讼权，因为伤害不够大。林伍德已经对结果提出上诉至美国第十一巡回法庭。林伍德和鲍威尔公开表示，掌握有乔治亚州长（共和党籍）及州务卿收受巨额回扣和贪腐证

上世纪70年代，已故数学家Paul Cohen因其在数学逻辑方面取得的成就，荣获得菲尔兹奖(Fields Medal)。Cohen曾做出了一个影响深远的预测：“在未来，数学家将被计算机取代。”这一预测至今仍像梦魇一般萦绕在数学家们的心上，令他们既兴奋，又恼怒。Cohen在集合理论领域的研究方法极其大胆，他还预言：数学领域里的一切都能被自动化，包括数学证明的编写。证明（proof）是一个循序渐进的逻辑论证，用来验证一个猜想或一个数学命题的真实性。一旦猜想的真实性得到证明，猜想便成为定理。证明的过程既建立论述的效度（validity），又要解释它之所以正确的原因。不过，证明过程是抽象的，不受物质经验的束缚。来自CMU的认知科学家Simon Dedeo专注于通过分析证明结构来研究数学确定性，他说：“证明是意识寰球和生物进化物种之间的奇妙联系，但我们不是为了证明才进化的。”虽然计算机利于处理大规模计算，但并不是证明需要的必备条件。猜想来源于归纳推理（inductive reasoning，指的是对感兴趣的问题的直觉），而证明通常是一步步地进行推理。这两者往往需要用到复杂的创造性思维，并需额外人