hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
中华人民共和国国庆节 历史沿革与庆祝活动
1949年12月23日，中央人民政府政务院第十二次政务会议通过《全国年节及纪念日放假办法》，规定国庆纪念日为全体人民的节日，每年10月1日、10月2日放假两天。至此，国庆节被确立为法定节假日。1950年10月1日，中华人民共和国第一届国庆节庆祝大会在天安门广场举行。之后，每年会有不同规模的纪念活动，特别是包括阅兵式在内的“首都各界庆祝中华人民共和国成立周年大会”。其中影响较大且最具代表意义的是开国大典、建国5周年、10周年、35周年和50周年、60周年、70周年的大阅兵。
中华人民共和国国庆节 历史沿革与庆祝活动
从1949年开国大典至今，共举行了16次国庆庆典和15次国庆阅兵，其中1949年至1959年共举行了11次国庆阅兵。1960年9月，中共中央、国务院实行“厉行节约、勤俭建国”方针，改革国庆典礼制度，实行「五年一小庆、十年一大庆，逢大庆举行阅兵」。1964年国防部颁布的军队列条令中，第一次列出阅兵条款。随后，由于“文化大革命”及其他原因，连续24年没有举行国庆阅兵。1984年，根据中共中央军委主席邓小平的提议，中共中央决定恢复阅兵，并于1984年国庆35周年时举行大型的国庆阅兵式。1989年由于发生“六四事件”，庆祝建国40周年大会没有举行阅兵式。1999年，中共中央决定举行建国50周年阅兵，于1999年10月1日在天安门广场举行大型阅兵式。2009年国庆节举行建国60周年大阅兵。2019年国庆节北京举行了盛大的庆祝中华人民共和国成立70周年活动。
除重要周年所举办的“首都各界庆祝中华人民共和国成立周年大会”（国庆庆典）外，在平常年份时一般会由中华人民共和国国务院举行国庆招待会以庆祝国庆日。
中华人民共和国国庆节 法定公眾假期
1999年之后的中华人民共和国国庆节是“黃金週”假期。国庆的法定休假时间为3天，再将前后两个周末调整为一起休假共计7天。又稱為黃金周假期。
澳門特別行政區為2天，香港特別行政區為1天。
海外機構及企業有3天至7天的休假規定。
彼得·杰克逊
彼得··傑克森 （英語：，1961年10月31日—）生于新西兰普克拉海湾，新西兰著名电影导演、编剧及制片人，最出名的作品如《魔戒电影三部曲》（2001年至2003年），并由此获得奥斯卡最佳导演奖，除此之外還包括《哈比人電影系列》（2012年至2014年），兩者皆改編自J·R·R·托爾金所寫的小說。其他作品尚有《夢幻天堂》（1994年）、紀錄片《被遺忘的影片》（1995年）、《神通鬼大》（1996年）、《金剛》（2005年）以及《蘇西的世界》（2009年）。監製作品包含《第九禁區》（2009年）、《丁丁歷險記》（2011年）和紀錄片《非法的正義》（2012年）。
彼得·杰克逊 生平
彼得·杰克逊出生于新西兰惠灵顿附近的一个海滨小镇，從小就熱愛恐怖與幻想。9岁时受到怪物影片《金刚》的影响，开始迷上电影特效。1969年耶誕節，他從父母那裡得到一台照相機後，便在學校拍攝「電影」，與同學們扮成二戰中的德軍與英軍。中學時他離開學校，在威靈頓一家報社工作達七年之久。他在18歲時讀完托爾金的文學作品《魔戒》，當時已有將其改編為電影的想法。
1983年至1987年，彼得·杰克逊制作出他的首部长片《宇宙怪客》（Bad Taste，又名《坏品味》），得到了新西兰国家电影局的赏识。该片参加了1988年坎城影展。这部电影使彼得·杰克逊成了新西兰最有名的独立导演。在1994年上映、改編自真實事件的電影《夢幻天堂》更使杰克逊獲得了奧斯卡最佳原創劇本提名和威尼斯影展银狮奖，且提高了他的知名度。在《夢幻天堂》攝製期間，杰克逊和理查·泰勒、塔妮亞·羅德格一同設立了專門製作電腦特效的維塔工作室。
彼得·杰克逊 生平
杰克逊成功说服美国新线电影公司让他在新西兰拍摄《魔戒》，這幾乎是有史以来投資最大的一部影片。《魔戒》三部曲取得了票房和口碑的双丰收，在30项奥斯卡金像奖提名里赢得17项，该片的成功使他名利双收。2004年，环球影业以2000万美元加分红的高额酬金请彼得·杰克逊翻拍《金刚》，这也是史上电影导演的最高薪酬。而新版《金刚》同样获得了巨大成功。
2009年，他担任制片人，与著名导演史蒂芬·斯皮尔伯格合作拍摄动画电影系列《丁丁历险记》的第一部。預定未來系列第二部将由他本人执导，第三部由两人共同执导。
2011年3月，他开拍《魔戒電影三部曲》的前传《霍比特人电影系列》，分成三部分别于2012年12月14日、2013年12月13日和2014年12月17日上映。三部電影均獲得好評及優異的票房收入。
2016年10月，宣布杰克逊將監製菲利普·雷夫的2001年小說《移動城市：致命引擎》的改編電影，定於2017年春季在紐西蘭拍攝；此外，該計畫早於2009年12月，杰克逊就已興趣製作。電影《移動城市：致命引擎》定於2018年上映。
彼得·杰克逊 慈善活動
杰克逊曾向威靈頓捐贈一千萬美元用於保護當地的古老建築與教堂。2010年，他邀請八名威靈頓兒童醫院的病童參觀自己的住家。2015年他表示將會協助紐西蘭政府重建一战纪念博物馆。
彼得·杰克逊 个人生活
彼得·杰克逊的妻子法蘭·華許和他志同道合，1987年结婚以来，她担任了杰克逊多部电影（包括《魔戒》）的编剧。他們的兒子比利·傑克森（1995年出生）和女兒凱蒂·傑克森（1996年出生）也在《魔戒》、《哈比人》等電影裡客串。
2005年彼得·杰克逊在執導《金剛》時，便開始停止吃垃圾食品、只吃水果和蔬菜，因而成功減肥。同時他也做了近視雷射手術，以便可以不再戴眼鏡。
彼得·杰克逊非常熱愛托爾金筆下的中土世界，且以「哈比人」自居，曾說：「相比於矮人和哈比人，我覺得我更像哈比人，比如不喜歡離開家，喜歡跟家人和朋友在一起」、「如果在哈比人文明和現代文明之間選擇，我寧願選擇哈比人的世界」。在拍完《魔戒》後，杰克逊得到新線公司許可，請一批劇組布景師在他懷拉拉帕的住家中搭建「袋底洞」（《魔戒》中比爾博·巴金斯的住所），近乎還原了電影的場景。像史蒂芬·史匹柏、喬治·盧卡斯等一些杰克逊的好友都曾參觀過該處。
中國大陸不少觀眾皆暱稱彼得·杰克逊為「彼得大帝」，2015年杰克逊在造訪中國時表示：「我真的非常感謝中國影迷送給我『彼得大帝』這個稱號，希望我日後可以配得上它。」
彼得·杰克逊 榮譽
2002年彼得·杰克逊获得新西兰员佐勋章（MNZM）。2010年荣膺骑士爵位。
2014年12月杰克逊於好萊塢星光大道上留名，成為那裡的第2,538顆星。
嘉兴市
嘉兴市（吴语拼音：Kā shīng，IPA：/gᴀɕiŋ/），简称禾、嘉，古称由拳、禾兴、秀州，是中华人民共和国浙江省下辖的地级市，位于浙江省东北部。市境南隔钱塘江与杭州市、绍兴市、宁波市相接，西临湖州市，西北界江苏省苏州市，东北达上海市，东隔杭州湾与舟山市相望。地处杭嘉湖平原中东部，全境地势平坦。京杭运河斜贯，境内河港湖荡密布，市人民政府驻南湖区广场路。
嘉兴为国家历史文化名城，建制始于秦，嘉兴乌镇是世界互联网大会永久会址。是典型的江南水乡，自古繁华富庶，素称“鱼米之乡、丝绸之府”，现为长江三角洲城市群重要城市，位处上海、杭州、苏州、宁波等城市之间，地理位置优越。
嘉兴市 历史
嘉兴的历史长达7000年，这里也是中国南方文明的发源地之一。是环太湖文化区的发源地。可追溯至新石器时代，为马家浜文化发祥地。为中国歷朝历代的粮食提供地，被誉为“天下粮仓”。
春秋时，此地名长水，又称槜李，吴越两国在此角逐。战国时，划入楚境。秦置由拳县、海盐县，属会稽郡。
三国时吴国析由拳县南境、海盐县西境置盐官县。吴黄龙三年（231年），“由拳野稻自生”，吴大帝孙权以为祥瑞，改由拳为禾兴，赤乌五年（242年）改称嘉兴。
隋朝开凿江南河，即杭州经嘉兴到镇江的大运河，给嘉兴带来灌溉舟楫之利。
唐代嘉兴屯田27处，“浙西三屯，嘉禾为大”，嘉兴成为中国东南重要产粮区。
北宋改秀州为嘉禾郡，南宋宁宗庆元元年（1195年）升郡为府，后改嘉兴郡。
明宣德四年（1429年）析嘉兴县西北境为秀水县，析东北境为嘉善县；析海盐县置平湖县；析崇德县置桐乡县，嘉兴府下辖7县，称一府七县。此后四五百年内嘉兴府县体制基本未再变动。嘉兴府因其重要性在明朝期间曾由中书省直接管辖。
嘉兴市 历史
明末清初的清顺治二年农历闰六月二十六日（1645年8月6日），清军攻破此处，因为嘉兴军民拒绝接受清朝廷的剃发令，后进行了惨绝人寰的嘉兴屠城，使嘉兴不复当年繁华，通过调查，当年嘉兴被屠杀五十万人，嘉兴的社会发展、经济、文化传播等一落千丈。
清朝中期，多次对杭州湾沿岸海塘进行修筑，嘉兴社会经济逐渐好转，市镇恢复繁荣。
民国十一年（1921年）年8月3日，中国共产党第一次全国代表大会在嘉兴南湖的一艘游船完成了大会的议程。1993年11月，嘉兴城区更名为秀城区；1999年6月，郊区更名为秀洲区，2005年嘉兴秀城区更名为南湖区。
嘉兴市 地理
嘉兴市位于浙江省东北部、长江三角洲杭嘉湖平原腹地，是长江三角洲及京杭大运河沿线的重要城市之一，是中国唯一一个京杭大运河绕城一圈的城市。市境介于东经120°18’至121°16’与北纬30°21’至3l°2’之间，东临东海，西接天目苕溪，大运河贯穿境内。嘉兴市境陆域东西长92公里，南北宽76公里，陆地面积3915平方公里，其中平原面积3477平方公里，水域面积328平方公里，丘陵山地40平方公里，市境海域4650平方公里。市境地势低平，平均海拔3.7米(吴淞高程)。全市有山丘200余个，零星分布于钱塘江杭州湾北岸一带，海拔多在200米以下，市内最高点是位于海盐县与海宁市交界处的高阳山，海拔高度为251.6米。嘉兴地势大致呈东南向西北倾斜，市内河道纵横，湖泊众多，河道全长1.38万余公里，骨干河流57条，内河航运发达。
属于副热带季风气候。
嘉兴市 政治
嘉兴市现辖2个市辖区、2个县，代管3个县级市。
正式行政区外设立以下经济功能区：嘉兴经济技术开发区、嘉兴工业园区、嘉兴港区、独山港区。
嘉兴市 人口
根据2020年第七次全国人口普查，全市常住人口为5,400,868人。同第六次全国人口普查的4,501,657人相比，十年共增加了899,211人，增长19.98%，年平均增长率为1.84%。其中，男性人口为2,814,061人，占总人口的52.1%；女性人口为2,586,807人，占总人口的47.9%。总人口性别比（以女性为100）为108.79。0－14岁的人口为652,445人，占总人口的12.08%；15－59岁的人口为3,705,861人，占总人口的68.62%；60岁及以上的人口为1,042,562人，占总人口的19.3%，其中65岁及以上的人口为758,584人，占总人口的14.05%。居住在城镇的人口为3,852,932人，占总人口的71.34%；居住在乡村的人口为1,547,936人，占总人口的28.66%。
2022年末全市户籍人口371.85万人,比上年末增加4.47万人。据2021年5‰人口变动抽样调查推算，年末全市常住人口总量551.60万人，比上年末增加10.5万人，其中城镇人口达到396.41万人，人口城镇化率达到71.9%，比上年提高0.6个百分点。
嘉兴市 人口
据嘉兴市公安局统计，截至2008年底，嘉兴市有外来暂住人口221万，其中来源最多的为湖南省（46万）、重庆市（44万）、江西省（29万）、安徽省（22万）、四川省（18.5万）。
全市常住人口中，汉族人口为5,249,020人，占97.19%；各少数民族人口为151,848人，占2.81%。与2010年第六次全国人口普查相比，汉族人口增加807,048人，增长18.17%，占总人口比例下降1.49个百分点；各少数民族人口增加92,163人，增长154.42%，占总人口比例增加1.49个百分点。
嘉兴市 交通
嘉兴市内的交通极其方便，可以使用多种交通工具，并且公路等级都较高，路况较好。嘉兴在沪昆铁路、沪杭高速公路、苏嘉杭高速公路的交汇处，与外地交通亦高度便捷。在其一小时到达圈内，可以前往上海虹桥国际机场、上海浦东国际机场、杭州萧山国际机场等空港，并可以抵达嘉兴港、杭州港、上海外高桥港、上海芦潮港、舟山港、宁波港、洋山港等大型海港。并且已经建成嘉兴轨道交通。此外，嘉善县提出希望苏州轨道交通10号线，上海轨道交通17号线延伸到嘉善，浙江省提出9号线延伸到嘉兴，南湖和嘉善共同力争对接上海17号线。2020年6月，中国城市规划设计研究院上海分院规划四所所长闫岩表示，在长江三角洲地区交通运输更高质量一体化发展规划中强化了示范区和虹桥枢纽的城际轨道链接，谋划了一条经过嘉兴直达虹桥的城际线路。2020年6月，上海市交通委来嘉兴学习交流，双方就推进沪嘉交通一体化发展相关事项进行了深入交流，嘉兴市长提出推动沪嘉空港、海港协同发展；加强沪嘉既有交通通道利用提升；加快推动一体化示范区轨道交通融合；深化嘉兴接轨上海交通通道谋划研究。
嘉兴市 交通
在高速公路不发达的年代，嘉兴以水运为主，年发送旅客在2亿人次。铁道年发送旅客750万到800万人次。公路客运年发送旅客是3900万到4200万人次。嘉兴市本级城市公交年发送旅客是5900万到6450万人次。目前嘉兴市本级汽车拥有量是170万辆（私用110万），密度1辆/2.8人。
嘉兴市 文化
方言：吴语（太湖片）
嘉兴全境通行吴语，历史上是吴越交界处，有吴根越角之称。嘉兴吴语兼具苏州话的软，上海话的嗲，宁波话的硬，特色鲜明，与周边的湖州，苏州、绍兴，杭州等地方言极为接近，基本可以互通，是北部吴语中较有典型性的一门方言。
历史上嘉兴属于苏州，后分出秀州，其后秀州又分出华亭，而华亭为今日上海松江一带，世人皆言嘉兴吴语和上海吴语在读音、语调、语法等方面最为接近。事实上上海话最原始的状态差不多等同于今日嘉兴话，故而常有嘉兴人到其他城市被误认为是上海人。吴文化的因素和较近的地理关系也使这两座城市关系特别亲厚，沪嘉两地各方面交流今年愈加频繁，大有实现同城化之势。
嘉兴市 文化
随着推普大潮的到来，吴语在嘉兴日渐式微，不少嘉兴人甚至根本不知道自己说的嘉兴话就是吴语。由于吴语被驱赶出主流媒体的舞台，很多嘉兴孩子和周边的上海、苏州的孩子一样，从小在电视上和学校里只接触普通话，另一方面由于不少父母都刻意不教孩子吴语，导致很多嘉兴孩子失去了学习吴语的机会和途径。对相当数量的嘉兴孩子来说，吴语已经不是他们的母语，而是一门只有爷爷奶奶才会说的方言。他们多半会听不会讲，连“姆妈”“吾奴”“上昼下昼”“氽油条”“死蟹一只”“做死腔”“汏衣裳”“困晏觉”这样简单的吴语都不会说，甚至连嘉兴人最引以为豪的五芳斋粽子的“斋”字很多孩子都不会念。在嘉兴常有老人抱怨，孙子孙女不会说土话（嘉兴人对本地吴语的称呼）导致祖孙感情交流出现障碍，更有甚者因此而引发家庭内部矛盾。
吴越文化的概念在新一代嘉兴孩子心中已经消散。吴语的断代问题让不少持不同意见的热心人士极为忧虑，近年于江南一带，有热心人士发出“保护吴语”“教孩子说吴语”“留住江南文化的根”“尊重文化多样性”等呼声，上海、苏州、杭州等地接连有吴语爱好者进行宣传保护吴语的活动，嘉兴本地也渐渐有一些小规模的保护和研究吴语的团体，嘉兴日报等官方媒体开始关注吴语的生存危局并时有正面报道。
每年农历五月初五的时候，嘉兴的居民也会庆祝端午节，可是他们纪念的不是屈原，而是嘉兴二代城的开城者——伍子胥。伍子胥在这一天建立嘉兴二代城，而且很巧合的事情是，这一天也是伍子胥尸体被抛入钱塘江的日子。所以嘉兴人对于伍子胥感情很深厚，每年端午都会举行隆重的祭祀活动。
嘉兴市 工业园区
浙江嘉善经济开发区于1993年经浙江省人民政府批准设立为省级经济开发区，1999年2月批准为浙江省省级台商投资区，2011年6月经国务院批准为国家级开发区，总规划面积65.5平方公里，分设电子信息产业园、精密机械工业园、台湾螺丝城及国际家具园四个专业园区。至今开发区已完成开发面积为20平方公里。嘉善是浙江省外商最密集的区域之一，至今已形成了电子信息、精密机械、木业家俱、纺织服装等专业园区。开发区主要以工业为主，以配套服务为辅，电子信息、精密机械、先进装备制造业及现代服务业是嘉善政府重点鼓励发展的产业方向。全区基础设施已达到“九通一平”的条件。
嘉兴产业园共分三个园区：园区A、园区B以及园区C，一小时内可到达上海、杭州、苏州或宁波。园区的战略发展方向主要集中在以下的几种产业：来自德国、奥地利、瑞士的企业项目；环保装备项目；轻工业；手工制造业；汽车配件及整车制造业；家用电器；电子制造业；IT及半导体；物流；服务性行业。
嘉兴市 友好城市
以下未缔结友好城市关系，但建立了友好交流关系：
史蒂文·索德伯格
史蒂文·索德伯格（英語：，1963年1月14日—），美国男导演、编剧。1989年其作品《性、谎言和录像带》获当年坎城影展金棕櫚獎，从而一举成名，並成為有史以來最年輕的金棕櫚獎得主。2001年其两部作品《永不妥协》以及《天人交戰》均获得最佳影片的提名，最后凭借後者获得奥斯卡最佳导演，这在奥斯卡历史上屬首次。
悖论
悖論，亦稱弔詭、佯謬或詭局，指結論自相矛盾或違背常理的命题。通常从逻辑上无法判断是非的称悖论，似非而是称佯谬；有时候违背直觉的正确论断也称为悖论。如二律背反即為一類，若假設某前提為真，经过一系列無誤的推理，結論却又得出它為假；反之亦然。古今中外有不少著名的悖论震撼了逻辑和数学的基础，刺激了人们求知和細究，吸引了古往今来许多思想家和爱好者的關注。解决悖论难题需要创造性的思考，悖论的解决又往往可以给人带来全新的观念。
悖論亦有“似非而是”的解釋，即用普通常識看上去不正確，卻是正確或有可能的。例如“站著比走路更累”。一般常識是走路比站著累，但要一個人例如在公園裡站一個小時，他可能寧願走動一個小時。因為“站著比走路更累”。也例如狹義相對論裡面的雙生子佯謬亦是另外一個例子。
悖论
佛法中也有佛陀破外道悖論之例，如《大智度論·卷一》中舉出長爪梵志的例子。長爪梵志提倡一種“一切法不受”的主張，意思是說他不接受世間一切理論，釋迦牟尼佛就問他：「你接不接受你自己所建立的這個“一切法不受”的理論？」。當佛陀提出這個問題的時候，長爪梵志就知道自己的理論是有問題的──如果接受，那就是“接受一種理論”，與其“一切法不受”的主張違背；如果不接受，那他的主張就不存在。如此一方面顯示長爪梵志的理論是一種悖論，另一方面也突顯佛陀僅以簡短的開示就把長爪梵志折服了。
另外，有些悖論與謬誤息息相關，例如：連鎖悖論與連續體謬誤。連鎖悖論是由正確的前提和正確的推理，卻得到一個明顯與認知上不一致的結果，而連續體謬誤則是針對連鎖悖論的結論，認為X與非X並沒有區別。
悖论 定义
斯坦福哲学百科全书“悖论”条目认为，所谓“悖论”通常是指一种命題，声称某项内容超出（甚至反对）“通常的见解”（通常被认为，或持有）。
抛开悖论的各种含义，通常所说的导致矛盾的悖论，应当满足如下条件：
因此，要判断一个悖论是否真的逻辑悖论，就是要确定要素A、L和E，特别是要确认E中的命题都是真命题，而且所给出的两个证明都是正确合规的证明。如果E中的命题不真，或者所给出的证明是错的，则这不是一个逻辑悖论，而是一个逻辑错误。许多逻辑悖论最终都可以归结为一个命题A⇔¬A，称为悖论情形（paradox situation），是进一步推出矛盾的依据。根据悖论情形，可以有证明1：假设A为真，可以推出A为假，矛盾，因此A为假。但同时也可以有证明2：假设A为假，可以推出A为真，矛盾，因此A为真。证明1和证明2都是正确合规的证明。因此问题就是，A⇔¬A在相关系统中是不是一个真命题。如果是真命题，悖论成立，是相关系统有问题，需要改进。而且改进相关系统以消除悖论的思路也就在于如何避免这一悖论情形。如果不是真命题，那就不能由它推出矛盾，而且该悖论实际上就是一个逻辑错误：把一个假命题当作了真命题，并用它进行推理。
悖论 定义
背景命题是根据悖论的描述归纳出来的，比较原始并接近悖论的描述。悖论情形是根据背景命题推理而得到的，进一步就可直接推出矛盾。因此，只有当所有背景命题中的命题都为真时，悖论情形才是一个真命题。所谈论的悖论才是一个真正的逻辑悖论。
例如罗素悖论，A=(R∈R)，L=「朴素集合论」，E只有一个命题：R∈R⇔R∉R。背景命题为真是因为朴素集合论有一个概括公理：对任意性质P(x)，存在集合S，使得对任意对象x，x∈S⇔P(x)成立。即存在集合S，它刚好包含所有具备性质P(x)的对象，而且只包含具备性质P(x)的对象。令P(x)=(x∉x)，即x为不包含自己的集合，大多数集合都不包含自己，包含自己的集合很难想象，只是理论上不排除它的存在而已，则根据概括公理有：x∈R⇔x∉x。又因为R本身也是一个对象，令x=R，则得到背景命题R∈R⇔R∉R，背景命题为真因为它是推出来的。因为R∉R=¬(R∈R)，所以背景命题就是悖论情形A⇔¬A。所以罗素悖论是朴素集合论的一个悖论。
悖论 定义
因为有罗素悖论，所以现代的集合论去掉了概括公理，而且将集合限制在一个很小的范围内，从而解决了悖论的问题。尽管集合被限制在一个很小的范围内，但已足以表示数学的基本要素，如数、形等，所以现代集合论仍可以作为数学的基础。
悖论 定义
再举一个理发师悖论的例子，小城里的理发师放出豪言：他要为，而且只为，小城里所有不为自己刮脸的人刮脸。但问题是，理发师该给自己刮脸吗？在这里A=「理发师给自己刮脸」，L=「普通逻辑」，就是大家根据常理而使用的逻辑，E有两个命题，一个是E1=「理发师给理发师刮脸」⇔「理发师给自己刮脸」，这是个真命题因为「理发师」就是「自己」，也说明我们不区分“理发师在家里的水房里给自己刮脸”和“理发师在他的营业厅里给理发师刮脸”。另一个命题是E2=「理发师给小城里的任意一人刮脸」⇔（¬「该任意一人给自己刮脸」），该命题被认为是真的因为它是理发师的豪言，而且一般也认为它可以为真。因为理发师是小城里的某人，因此由E2将「理发师」代入「小城里的任意一人」，可得「理发师给理发师刮脸」⇔（¬「理发师给自己刮脸」），再根据E1修改等价关系的左边可得「理发师给自己刮脸」⇔(¬「理发师给自己刮脸」)，这就是最终归结出的A⇔¬A的悖论情形。
悖论 定义
理发师悖论是否逻辑悖论取决于E2在普通逻辑中是否为真。理发师的豪言是一个全称命题。全称命题为真当且仅当将所有小城里的人逐个代入命题中「小城里的任意一人」时都为真，否则为假。现将理发师代入时得到A⇔¬A。我们正在验证A⇔¬A是否为真，而并没有推出A⇔¬A为真，因此普通逻辑并没有保证A⇔¬A为真。当逻辑系统不能证明A⇔¬A为真时，它是个假命题，因为等价关系两边不一致（如果逻辑系统可以证明，那就是逻辑系统有问题，因为它推出了一个应该是假的命题）。因此，理发师的豪言实际上是一个假命题，是由于理发师忽略了他的豪言对自己不成立造成的。所以理发师悖论不是一个逻辑悖论。或者说普通逻辑在这里并没有问题，还是可靠的。
悖论 定义
那为什么一般会认为E2可以为真呢？这其实是一种由于忽略而造成的错觉。有一种命题，没有确定的真值，可真可假，叫做自由命题。例如，「某人给自己刮脸」，它的真值取决于该某人的意愿，因此可真可假。另一个例子是「命题M」，而没有具体说明M是什么，它也是一个自由命题。对于一个等价关系命题F⇔G，如果命题F和命题G都不是自由命题，而有确定的真值，那么该等价关系是否为真取决于F和G的真值。如果它们的真值一致，则该等价关系命题为真，否则为假。但如果F和G中至少有一个为自由命题，则该等价关系命题总为真，因为无非是其中的一个自由命题失去了它的自由度，不再自由了。如果F和G都是自由命题，则只剩下一个自由度了。
悖论 定义
在理发师悖论里，F=「理发师给小城里的任意一人刮脸」和G=（¬「该任意一人给自己刮脸」）都是自由命题，因此人们习惯地就接受理发师的豪言E2=「理发师给小城里的任意一人刮脸」⇔（¬「该任意一人给自己刮脸」）为真命题了，无非是理发师牺牲了他的自由度而已。人们忽略的情况是，F和G可能出现反相关的情况，即在某种情况下会发生F⇔(¬G)的可能性。而这正是将「理发师」代入「小城里的任意一人」所发生的情况。如果F和G反相关，等价命题F⇔G是不能成立的，因为等价关系两边不一致。因此，人们是在忽略了一种特殊情况后根据习惯接受了一个假命题，所以才以为这是一个悖论。
当然，认为理发师悖论是一个真正的悖论的观点还有一种理由：理发师的豪言无非是定义了一个性质f(x)=“x是由理发师给他刮脸的”；而性质g(x)=“x是自己给自己刮脸的”是一个按常理可能被定义的性质，例如，做一个调查，将每个人是否给自己刮脸确定下来就可以了；理发师的豪言所定义的f(x)是：f(x)⇔(¬g(x))；该定义是用一个性质定义另一个性质，也没有什么问题；因此，理发师悖论也是一个关于定义的悖论。的确，人们目前对如何进行正确的定义还没有透彻的认识。还存在另一些关于性质定义的悖论就是证明。但是，理论上对于用以定义的命题都必须是可以被证明的真命题这一点还是有共识的。如果含不能被证明的命题，则不应当以定义的形式进行定义，而应以公理的形式进行定义。集合论中关于集合相等的定义不是由一个定义给出，而是由一个叫做外延公理的公理给出的就是一个例子。而理发师的豪言用一个似乎可能为真，但实际上却为假的命题来进行定义，这自然就不合规了。
悖论情形A⇔¬A中的A是一个自由命题，但由于等价关系两边的命题是反相关的，所以等价关系不能成立。
理发师悖论的教训是：在作出等价关系命题时，一定要检查等价关系的两边是否存在反相关的情况，或者附加上当等价关系的两边不存在反相关的条件。这就像在做除法时，一定要检查除数不为0一样。在一个逻辑系统中，公理和定义经常带有等价关系命题，忽略了相关性检查，就可能导致悖论。罗素悖论的直接原因就是由于概括公理的等价关系出现了反相关。说谎者悖论也是因为语义定义中的等价关系出现了反相关。
那么是否可以不去掉概括公理，而只对概括公理中的性质加以限制，保证不出现反相关的情况，从而解决罗素悖论呢？这样做确实可以消除罗素悖论，但并不足以解决集合论的问题。矛盾仍然可能由集合运算而产生。因此，集合论的问题有更深层的原因，而人们还不知道是什么原因。这是为什么现代集合论除了去掉概括公理，还要把集合限制在很小范围内的原因。
悖论 蒯因的分类
威拉德·范奥曼·蒯因把通常称的悖论（paradox ）分为三类：
自Quine的工作以来，已经产生了第四种描述，可以被解释为第三种的特殊情况：
在同一时间和同一意义上同时是“真”和“假”的悖论被称为双面真理(dialetheia)。  例如，约翰正走在门中间的时候，对于“约翰已经进来了”这个命题，可以既是肯定的同时也是否定的； 因为，这时“约翰已经进来了”既是模棱两可的也是程度的问题， 是一个双面真理。 但是， 同时“肯定”和“否定”同一命题也是自相矛盾的悖论。
直到现在，真正意义上的悖论（除了依赖模糊性的双面真理），其问题几乎都是自指或自相关而引起。 斯蒂芬·雅布洛于1985年第一次宣称发现了没有自相关的悖论，被称为雅布洛悖论。 但是，格雷厄姆 并不认同.
悖论 拉姆齐的分类
弗兰克·普伦普顿·拉姆齐于1925年最早把逻辑悖论（Logical Paradox）同语义悖论（Semantical Paradox）区别开来。 罗素悖论属于前一类，说谎者悖论属于后者。 拉姆齐认为，逻辑矛盾涉及数学或逻辑术语(例如类，数)，因此表明存在逻辑问题。而语义矛盾除纯逻辑术语外还涉及“思想”，“语言”，“符号”等概念, 它们是经验性(非形式)术语。语义矛盾也被称为认识论矛盾。 该方法被认为是当前的标准的悖论分类方法。
拉姆齐的分类是针对蒯因区分出的真正悖论（antinomy)， 不包括有蒯认为并非是真正悖论的另外两种：真实性的悖论(veridical paradox)和谬误悖论(falsidical paradox)。
柯里悖论可以像罗素悖论一样，以集合论或属性论的悖论的形式出现（即逻辑悖论的形式); 但是，它也可以是类似于说谎者悖论的语义悖论的形式出现。
悖论 解决悖论
上面的悖论例子中，在逻辑上它们都有无法摆脱概念自指所带来的惡性循環。英国数理逻辑学家伯特兰·罗素提出了恶性循环原则， 即没有一个整体能包含一个只能借助于这个整体来定义的元素，借以排除悖论。
逻辑系统不能有矛盾。因此，如果存在悖论，则说明逻辑系统有问题，应当通过修改逻辑系统以消除悖论。
逻辑系统中，如果要求任何命题不能违反恶性循环原则， 则可以避免类似罗素悖论和说谎者悖论等自指性悖论。可是直接应用恶性循环原则检验命题并非一件易事。
因此，罗素按恶性循环原则思想原则，进一步提出了分支类型论的思想，用于指导逻辑系统的修改以消除悖论。罗素按恶性循环原则也影响了后来出现的众多消除悖论的方案。 后来出现了现代集合论，阿尔弗雷德·塔斯基的真理的语义理论， 能避免悖论。 尽管现代集合论仍可作为数学的基础，但与朴素集合论相比， 被认为过于严格，难以用于日常的生活中的不分层次的思维方式。例如，把一个班的学生看成一个集合就没有现代集合论的根据。因此，集合论悖论的问题是否得到真正解决仍然是有争议的。
悖论 悖论研究的意义和影响
在19世纪末至20世纪初，逻辑和数学的基础受到许多困难（所谓的悖论）的发现的影响， 特别是经典集合论中被发现有自相矛盾的现象，尤其是罗素悖论，以极为简明的形式震撼了数学的基础。这些难题涉及基本概念以及定义和推理的​​基本方法，这些以前通常被认为是没有问题的。从那时起，悖论在当代逻辑中获得了新的作用：确实，它们导致了新定理的发现(通常是负面的结果，例如不可证明性和不可判定性)。逻辑的几个基本概念发展过程,  之所以已经到了目前的状态，通常是得益于解决悖论的各种尝试。对于集合(set)和类(collection)的概念，标准古典逻辑的基本句法和语义概念（给定顺序的逻辑语言，可满足性，可定义性的概念）出现而言，尤其如此。研究悖论解决方案的副产品包括：集合论的公理化，类型论的系统发展，语义学的基础，形式系统的理论。
OpenBSD
OpenBSD是一个类Unix计算机操作系统，是加州大学伯克利分校所开发的Unix衍生系统伯克利软件套件（BSD）的一个后继者。它是在1995年尾由荷裔加拿大籍项目领导者西奥·德·若特从NetBSD分支而出。除了操作系统，OpenBSD项目也为旗下的众多子系统编写了可移植版本，其中最值得注意的是PF防火墙、OpenSSH和OpenNTPD，作为软件包，它们在其他操作系统中随处可见。
该计划以其对开放源代码的坚持、高质量的文档、宽松的软件许可证和专注于系统安全及代码质量而闻名。该项目的开发人员遍布世界各地，并由德·若特在加拿大阿尔伯塔省卡尔加里的家中所协调。它的标志和吉祥物是一只河豚，名为普菲（Puffy）。
OpenBSD包含了一些在其他操作系统缺少或是列为选择性的安全特性，至今开发者仍然保有审计源代码以发现程序错误和安全问题的传统。该项目对软件许可证有严格限制，并倾向于使用开源的BSD许可证或其变种——过去还曾对许可证进行了全面的审计，并移除或替换掉以难以接受的许可证发布的代码。
OpenBSD
与大多数基于BSD的操作系统一样，OpenBSD的内核和用户空间程序，如shell和cat及ps之类的通用工具，都在同一个源代码库共同开发。第三方软件可从Ports中编译，若架构受支持，亦可直接从镜像源安装项目组编译的二进制软件包。
OpenBSD 项目在历史上有过 20 多种可运行于不同硬件平台的移植版，现今其中的一部分平台，诸如 SGI, Sharp Zaurus，32 位的 Sun SPARC，HP PA-RISC, DECstation 以及 VAX 等由于设备逐渐停产及开发人员兴趣减退之故已不再被维护。当前仍在被活跃维护的平台包括 DEC Alpha、英特尔i386、x86-64，riscv64, ARM，ARM64, SPARC64, Loongson 2F 等。
OpenBSD基金会曾被接纳为2014年Google编程之夏的指导组织。
OpenBSD 应用
OpenBSD的安全增强功能，内置的加密功能和pf包过滤器使它在安全领域应用广泛，例如作为防火墙、入侵检测系统和虚拟专用网网关。
几个厂家的专有系统都基于OpenBSD开发，包括Armorlogic的设备（Profense网络应用防火墙）、Calyptix Security、GeNUA mbH、RTMX Inc和.vantronix GmbH。较新版本的微软Services for UNIX可扩展Windows操作系统的类Unix功能，其中由Softway系统公司开发的Interix交互套件使用了许多OpenBSD的代码，该公司于1999年被微软收购。Windows的安全类产品Core Force则基于OpenBSD的PF防火墙。
OpenBSD自带X窗口系统，适合于桌面使用。许多流行的桌面工具包可供选择，包括桌面环境如Lumina和GNOME、KDE及Xfce，网络浏览器如Konqueror、Firefox及Chromium，和多媒体程序MPlayer、VLC多媒体播放器及xine。该计划奉行极简窗口管理理念，其在主要发行版中为cwm堆叠式窗口管理器提供了支持。
OpenBSD 应用
开源软件咨询公司的“M:tier”为许多财富500强公司在他们的企业环境中部署了OpenBSD的服务器、台式机和防火墙。
OpenBSD带有全套服务器套件，很容易配置为邮件服务器、网络服务器、FTP服务器、DNS服务器、路由器、防火墙或NFS文件服务器。此外软件包系统也含有提供其他服务协议的软件，如SMB（Samba）。
OpenBSD OpenBSD组件计划
尽管团队规模小，及OpenBSD使用率偏低，该计划已成功地将基本系统的许多组件分拆，单独成为有广泛用途的可移植版本，其中包括：
OpenBSD 的一些组件已被其他 BSD 项目纳入其基本系统中，并且上述所有软件都可在其它类Unix系统中作为软件包获得。一些组件甚至被移植到了 Microsoft Windows 上。
OpenBSD 开发和发布流程
项目采用连续开发模式，和开放、分层的团队管理。只要有合适的技术，任何人都有可能被择优授予提交权利，其中德·若特担任协调员。团队每年发布两个官方版本，版本号每次递增0.1，且为每个版本提供十二个月的支持。快照（snapshot）版的更新非常频繁。受支持版本的维护补丁可以手动应用到系统上，或定期以CVS仓库的补丁分支来更新系统。
另外，如果系统管理员希望尽快使用新添加的功能，则可以选择升级到快照版，再用CVS仓库的“当前”分支对系统更新。
项目强烈建议所有人使用由项目维护的标准通用OpenBSD内核，同时定制的内核不受项目的支持，因为“企图通过自定义或‘优化’内核来解决问题，反而会产生更多的问题。“
OpenBSD 开发和发布流程
对于主系统外的第三方软件，OpenBSD 项目组维护了名为 Ports 的 CVS 仓库，其中包括了用于在 OpenBSD 上编译第三方软件的 Makefile 指令和针对 OpenBSD 的补丁。Ports 仓库的维护工作由维护者（又名porter）个人承担。包的porter负责更新软件的当前分支，同时也要修复错误及为受支持的版本提供维护补丁。因为项目缺乏人手，ports不能像主系统那样得到不间断的严格审计。
每种架构的二进制包由ports树集中编译。当前版本、受支持版本、快照版本都采用这种方式。项目建议系统管理员使用包管理器，而不是从ports树中编译软件，除非需要运行自己修改过的源代码。
新版本发布的同时也会发布一首歌。
OpenBSD 历史和知名度
1994年12月，NetBSD联合创始人西奥·德·若特被要求从NetBSD高级开发人员和核心团队成员的位置上辞职。个中原因并不完全清楚，但据传这是由于他在NetBSD项目和其邮件列表中与他人性格不合。
1995年10月，德·若特从NetBSD 1.0复刻了一个新项目，创立OpenBSD。初始版本OpenBSD 1.2于1996年7月发布，紧接着同年十月发布了OpenBSD 2.0。从那时起，该计划一直遵循每半年发布新版本的进度，并且为每个版本提供一年的维护和支持。
2007年7月25日，OpenBSD开发者鲍勃·贝克宣布成立OpenBSD基金会，它是一个加拿大非营利组织，目的是“当有个人和组织想要支持OpenBSD时，可以有一个法律实体作为联系点来处理相关事务”。
OpenBSD 历史和知名度
很难确定究竟OpenBSD的使用有多广泛：它的开发者既不公布、也不收集使用情况的统计信息，且少有其他的资料来源。2005年9月，新成立的BSD认证小组进行了一项调查，其中显示32.8％的BSD用户（4330位受访者中的1420位）使用OpenBSD，占有率为四大BSD变种的第二位，次于FreeBSD的77％，优于NetBSD的16.3％。
OpenBSD 开放源代码和开放文档
OpenBSD创建之初，西奥·德·若特认为任何人在任何时间都应该可以方便地获得源代码，因此在查克·克拉纳的协助下，他建立了一个公共、匿名的CVS服务器。 这是同类软件开发界的头一个：当时的传统是，只有一小队开发人员才有机会查看项目的源代码库。查克和德·若特认为，这种做法“违背了开源的哲学”，对于贡献者也不方便。德·若特的决定使得用户可以“更有作为”，坚定了计划开放和公开访问源代码的信念。
OpenBSD的开发人员不容许源代码树中包含闭源的二进制驱动，不愿签署保密协议。因为在OpenBSD 3.7发布前的截止时间内没有得到说明文档，对Adaptec AAC RAID控制器的支持被从标准OpenBSD内核中移除了出去。
OpenBSD对开放的政策延伸到了硬件文档：2006年12月的幻灯片显示，德·若特解释道，如果没有它“开发人员在编写驱动程序就会经常犯错误”，并指出“像[天哪，这能行]的盲目开发很难成功，有的开发者干脆就此放弃”。他接着说，OpenBSD不能接受厂商的二进制驱动，“不能相信运行在我们内核中的厂商二进制文件”，并说“当出现问题时……根本没办法修复[他们]”。
OpenBSD 许可
OpenBSD计划的目标是“保持原先伯克利Unix的版权精神”，即“相对无担保的Unix源代码”。其中一个有名的例子是OpenBSD都会尽量使用ISC许可证。为此，对于新写的代码，首选互联网系统协会（ISC）许可证，其为BSD许可证的一种简化版本，但去除了根据伯尔尼公约而不必要的语句，但MIT或BSD许可证也可接受。与之相比，广泛使用的GNU通用公共许可证被认为条款过于严格。
OpenBSD 许可
2001年6月，因达伦·里德对IPFilter的修改引起了开发者的担忧，OpenBSD展开了对ports和源码树的系统许可证审计。在整个系统中发现了有一百多个文件，其中的代码没有许可证、许可含糊不清，或是违反了许可。为确保许可证都能被严格遵守，开发者联系了所有与之相关的版权持有人：一些代码片段被删除，许多代码被替换，其他的如多播路由工具mrinfo和map-mbone，原先施乐公司只允许研究性的使用目的，被重新授权，以使OpenBSD可以继续使用它们；审计过程中还删除了所有丹尼尔伯·恩斯坦所写的软件。当时，伯恩斯坦要求在再发布他的代码的所有修改版本前都须经过他的批准，而OpenBSD的开发者都不愿意花时间和精力这么做。删除这些软件引发了与伯恩斯坦的冲突，后者认为这种行为完全是多余。他举例说，网景网页浏览器的许可证更加不自由，并指责伪善的OpenBSD的开发者保留了网景浏览器，同时却删除了他的软件。OpenBSD计划的观点是，虽然网景浏览器不开源，但其许可证的条件却更易遵守。他们声称伯恩斯坦对衍生品的控制欲会浪费大量的额外精力，而符合他要求的最合适方式就是删除。
出于对宽松许可证的重视，OpenBSD 团队会选择是从头开发许可证更宽松的软件。例如，早年间 OpenBSD 团队由于不满 IPFilter 防火墙所用之许可证，而独立开发了 PF。现在这个首次出现在OpenBSD 3.0 上的防火墙已被 DragonFly BSD、NetBSD 和 FreeBSD 使用。其他类似的案例包括 OpenBGPD 路由守护进程和 OpenNTPD 时间服务守护进程。
OpenBSD 募资
虽然操作系统及其可移植的组件广泛应用于商业产品，德·若特却表示，商业公司几乎没有给予它们任何资金支持：“传统上，我们的资金全都来自于用户的捐赠和用户购买的CD（其他产品并不赚钱），显然，这点钱并不多。”
本世纪初，该计划得到了DARPA为期两年的资助，使他们“雇了5名完全的全职工，花了3万美元购买硬件，并举办了3场比赛。”
德·若特表示了对资金来源不平衡的担心：“我认为，捐款首先应来源于是厂商，其次是企业用户，再次是个人用户。但事实几乎完全相反，只有非常少的人捐了15至1美元。对于这些人，感谢你们！”
2014年1月14日，鲍勃·贝克发布了一个公告，请求人们捐款以支付电费。贝克说，如果没有持续的资金来源，那么OpenBSD就不得不关闭。计划很快就收到了米尔恰·波佩斯库价值两万美元的比特币捐款，他是罗马尼亚的MPEx比特币交易所的创建者。 该项目希望募集到150000美元以支付账单，并解除短期的资金顾虑。
OpenBSD 安全与代码审计
在OpenBSD创立后不久，当地的一家软件安全公司Secure Networks, Inc.（简称SNI）与西奥·德·若特取得联系了。他们正在开发一个“网络安全审计工具”名为Ballista（在被网络联盟收购后改名为Cybercop Scanner SNI），目的是寻找并利用可能存在的软件安全漏洞。这与若特自己的兴趣爱好不谋而合，这样的强强联手使得OpenBSD2.3计划进展飞速，同时研究重点放在了系统安全上。
OpenBSD的特点是极度注重系统安全。这包含了附加的API，例如strlcat和strlcpy函数；工具链的选择，如静态范围检查器；用来防止无效访问的内存保护技术，如ProPolice和W^X（W xor X）分页保护特性；以及密码和随机数生成技术。
OpenBSD 安全与代码审计
为了减少漏洞和错误配置所导致允许权限提升的风险，在编写新程序和改写原有程序时会注意特权分离、权限撤销和使用chroot。受到最小权限原则的启发，OpenBSD率先开发了权限分离技术，它将程序分离成两个或者多个部分，其中一个运行需要特权的操作，其他大部分的代码则运行那些无须特权的。权限撤销与它类似，其为在程序结束需要权限的操作后就将权限撤销。chroot包括将应用程序对文件系统的访问限制在某一部分，禁止其访问存有私人或者系统文件的区域。开发者将这些特性应用到了通用软件的OpenBSD版中，包括tcpdump和Apache网页服务器。
OpenBSD开发者创建了并维护着一个Telnet的安全型替代品OpenSSH。OpenSSH基于原有的SSH套件，并由OpenBSD团队进一步开发。它首次出现于OpenBSD 2.6中，现在许多操作系统都采用了OpenSSH这个最流行的SSH实现。
OpenBSD 安全与代码审计
项目有对问题代码的持续审计的政策，开发者马克·埃斯皮将其描述为“永不结束的过程……不单单是对于某个特定问题的修复”。他接着列举了发现问题后的几个典型操作，包括检查整个源代码树是否存在相似问题，“[力图]求证是否需要修订文档”，以及研究是否“需要修改编译器以提醒注意这个问题”。
在2010年10月11日，格里高利·佩里给德·若特寄了一封电子邮件，称FBI早在10年前就给了一些OpenBSD前开发者一笔钱，让他们在OpenBSD加密框架中加入自己的后门。12月14日，德·若特通过openbsd-tech邮件列表将这封信公之于众，并且建议对IPsec代码库进行审计。事实上德·若特对后门之说抱有怀疑态度，他邀请所有的开发者独立复审相关代码。之后的几周内一些程序问题得到了修复，但并未发现任何存在后门的证据。
OpenBSD网站一直都在强调默认安装的安全记录。直到2002年6月前，OpenBSD的网站上都如此声明：
2002年6月，OpenSSH中发现了一个远程漏洞，可使远程攻击者获取OpenBSD（和当时其他运行着OpenSSH的系统）的root权限。当然这个漏洞被迅速地修复了。与此同时网站上的声明改成：
2007年，OpenBSD又被发现了一个与网络有关的远程漏洞，同样也被迅速修复。因此网站上的声明又改成：
此标语沿用至今。
但这个声明也遭到了批评，因为默认安装下几乎没运行几个系统服务，因此一些评论家认为其标语应该改成“在默认安装下，没有可工作的应用程序！”——事实上大部分用户会开启更多的服务，安装更多的软件。而项目声明说，将默认安装有意最小化是为了确保无经验的用户“不需要在一夜之间变成安全问题专家”，这也符合其将开源以及代码审计实务作为安全系统重要组成的宗旨。
OpenBSD 发行及推广
OpenBSD可以从多种方式自由获取：源代码可以从匿名CVS中检出，二进制文件和开发快照可以通过FTP、HTTP、rsync下载。这些和他们的艺术品和其他奖金一道组成了该计划为数不多的收入来源，以负担硬件、带宽及支付其他费用。
对于 OpenBSD 6.0 及以前的版本，预先包装好的 CD-ROM 集只需支付一小笔费用就可在网上购得，附带各种各样的贴纸和版本主题曲的拷贝，但现在 OpenBSD 计划已不再销售 CD-ROM。
同其他操作系统一样，OpenBSD提供了易于安装和管理程序的软件包管理系统，但它并不属于基本操作系统的一部分。软件包工具可以用软件包来提取、管理和移除二进制文件。在OpenBSD上，软件包的源代码储存于port系统中，其为一系列的Makefile文件和编译这个包所需的其他编译基础。OpenBSD中port和基础操作系统是一起开发和发布的：这意味着和4.6一起发布的port和软件包不适合用于4.5，反之亦然。
OpenBSD 发行及推广
OpenBSD最初采用Phil Foglio所绘的BSD小恶魔作为他们的吉祥物守护进程，后者后来由约翰·拉塞特修改，马歇尔·柯克·麦库西克持有版权。在后续版本中吉祥物有过更改，最终选定了Puffy，他们称之为一条河豚。从那时起Puffy就出现在各种OpenBSD宣传材料中，在发布歌曲和艺术品中也能看到。早期OpenBSD版本的宣传资料并没有一个统一的主题或设计，但后来每个版本的CD-ROM、发布歌曲、海报和T恤衫都有自己的单一风格和主题，有时其是由Plaid Tongued Devils的Ty Semaka所设计。这些都是倡导使用OpenBSD的一部分。每个版本会从道德或政治的角度阐述项目之所以重要的一个原因，通常是以戏仿的方式。
OpenBSD 版本历史
首个OpenBSD官方版（OpenBSD 2.0）于1996年10月发布，现已发展到2024年4月5日发布的OpenBSD 7.5。
抢占式多任务处理
抢占式多任务处理（Preemptive multitasking）是计算机操作系统中，一种实现多任务处理（multi task）的方式。相对于协作式多任务处理而言。协作式环境下，下一个进程被调度的前提是当前进程主动放弃时间片；抢占式环境下，操作系统完全决定进程调度方案，操作系统可以剥夺耗时长的进程的时间片，提供给其它进程。
抢占式多任务处理 用户模式和内核模式
在任何给定的系统设计中，系统执行的某些操作可能无法被抢占。这通常适用于内核函数和服务中断，如果不能让它们运行到完成，就容易产生竞态条件，从而导致死锁。禁止调度程序在任务处理内核功能时抢占它们，以牺牲系统响应性为代价，来简化内核设计。区分用户模式和内核模式决定了系统内的权限级别，也可以用来区分任务当前是否可被抢占。
大多数现代操作系统都支持抢占式内核，即使在内核模式下也允许任务被抢占。例如Linux、AIX、Windows NT等等。
黑白棋
黑白棋（英語：），又稱翻轉棋、蘋果棋或奧賽羅棋（），是一种雙人对弈的棋类游戏。據日本棋類遊戲專家長谷川五郎在2005年的統計數據，在日本，黑白棋愛好者的數目約為六千萬人（日本將棋愛好者約一千五百萬人；圍棋愛好者約五百萬人；國際象棋愛好者約三百萬人）。
黑白棋 命名
一般棋子雙面為黑白兩色，故稱「黑白棋」；因為行棋之時將對方棋子翻轉，變為己方棋子，故又稱「翻轉棋」（Reversi）；棋子雙面為紅、綠色的稱為「蘋果棋」，因蘋果有紅蘋果和青蘋果。
黑白棋 歷史
黑白棋是19世紀末英國人發明的。直到20世紀70年代日本人長谷川五郎將其發展，借用莎士比亞名劇奧賽羅為這個遊戲重新命名。奧賽羅是一個黑人，妻子是白人，因受小人挑撥，懷疑妻子不忠一直情海翻波，最終親手把妻子殺死。後來真相大白，奧賽羅懊悔不已，自殺而死。
類似的傳統棋類有西藏夾棋，是夾住敵棋後，換成己方的棋子。
黑白棋出現在80年代的任天堂遊戲機和Apple II個人電腦遊戲以及微软的Windows 1.0，Windows的第一款自帶遊戲就是黑白棋，由於當時電腦還比較少，沒等到黑白棋傳開，80年代初Windows 3.1推出，把自帶遊戲換成現在大家見到的踩地雷和接龍。在90年代中期流行的任天堂Game Boy當中也有一款黑白棋遊戲。另外，電子辭典中的附帶遊戲也大多包含黑白棋。
在90年代中期互聯網開始普及，亦冒起了一些大型遊戲網站。最先出現的是微軟的Microsoft Games網站，被吸引進去下黑白棋的都是各國的好手，因為是外國網站，當時下棋的華人還是比較少。及後紛紛出現其他網站，具代表性的有：
值得一提的是微軟的Windows XP裡也自帶了網路黑白棋。
黑白棋 遊戲規則
棋盤共有8行8列共64格。開局時，棋盤正中央的4格先置放黑白相隔的4枚棋子（亦有求變化相鄰放置）。通常黑子先行。雙方輪流落子。要落子和棋盤上任一枚己方的棋子在一條線上（橫、直、斜線皆可）夾著對方棋子，就能將對方的這些棋子轉變為己方（翻面即可）。玩家的每一步棋都必須按照上述規則至少翻轉一子，若沒有棋步可下則必須棄權。當雙方都沒有棋步可下則對局結束，棋子顏色多的一方為獲勝者。通常情況下，所有的64個位置都被放上棋子，亦會有雙方都無法下的零星位置。
黑白棋 棋盤的座標標示法
為了便於識別棋子的位置，棋盤上横行以1至8表示，纵列以a至h表示。
請看下例：
黑白棋 游戏策略
因为黑白棋独特的规则，很容易出现双方比分的剧烈变化，在游戏后期可能仅用几个回合就将大量对方棋子变成己方，从而扭转局势。因此，太着眼于比分是没有必要的，更重要的是占据有利位置。
中间位置的棋子最容易受到夹击，有橫、直、斜線共四个方向的可能。而边缘的棋子则只有一个可能被夹击的方向，四个角落上的位置被占据后，则完全不可能被攻击。
游戏的后期是关键位置的争夺，而前期的布局，就是为抢占关键位置作准备。例如：若不想让对方占据棋盘边缘的有利位置，那么自己就应避免在靠近边缘的那一排落子。
黑白棋 黑白棋術語
C位、星位：C位就是位於a2、a7、b1、b8、g1、g8、h2和h7的位置，星位就是位於b2、b7、g2和g7的位置。這些位置務必要小心佔用。
中心（Center）：局面的中心就是內部子的集合。
控制中心（Control of the center）：一種策略，它試圖在局面中心擁有儘可能多的棋子，沿邊界擁有儘可能少的棋子，以獲得最大可能的行動力。
角：角就是位於a1、a8、h1和h8的位置。这些位置一定不可能被对方夹吃。
爬邊：一種以弱邊（或不平衡邊）為代價，在一條或兩條邊上獲得最大數量棋步的策略。爬邊者試圖通過將全部邊界都留給對手來快速耗盡他的棋步，但是如果爬邊不能湊效，壞邊產生的效應將使他的局面迅速變弱。
邊界（Frontier/Wall）：邊緣子的集合，形成牆的原因主要為新手在棋局開局、中局以吃多為宗旨下棋。形成牆的後果可以是棋步耗盡而被強迫棄角。
黑白棋 黑白棋術語
邊（Edges）：除了角外，黑白棋棋盤最外圍的格構成「邊」，佔了整個棋盤64格中的24格，只要得到角的保護，邊就能成為穩定子。
獲得餘裕手：在棋盤的某個區域內比對手多下一步棋，以迫使他在其他地方先開始下棋（從而延長他的邊界）。
效應（Influence）：當棋手的棋子迫使他同時在多個方向上翻轉棋子時，就說這些棋子產生了效應。
內部子、邊緣子：幾乎完全被空格包圍（不被棋子包圍）的棋子是邊緣子，反之為內部子。
自由（Liberty）：非災難性的棋步。「缺少自由」：在不久的將來不得不送角。
多子策略：許多初學者所用的錯誤策略，他們每步棋都試圖翻轉最大數量的棋子。
行動力：棋手合法的可能棋步數量。更進一步說，當棋手擁有大量的可能棋步時，他就擁有好的行動力。
奇偶性、偶數理論（Parity, Even Number Theory）：一種在對手佔據的每個區域內都留下偶數個空位的策略，常應用於尾局。由於讓對手先下偶數空的區域會讓己方得到在該區域下最後一著的權利，而最後一著往往能把對手吃了的棋子大量的翻過來成為己方的棋子。
黑白棋 黑白棋術語
安靜步或稱凝聚手（Quiet move）：即盡量不增加對手選擇的棋步。「完全安靜步」是完全不增加對手選擇的棋步，通常是好棋。非安靜步（或發散手）就是會增加對手較多選擇的棋步，屬壞棋。
穩定子：絕對不會被翻轉的棋子。角就是一個穩定子的實例。
斯通納陷阱/四通陷阱：一種針對弱邊局面強迫進行角交換的攻擊。
不平衡邊（Unbalanced edge）：或稱為弱邊，即包括C點的非六子邊。其中五子不平衡邊也可稱為「翼」。
黑白棋 黑白棋軟體與人工智慧
在1980年代，電腦並不普及，在黑白棋界裡，最強的仍然是人类棋手。
到了1990年代初，電腦的速度以幾何級數增長，寫出來的黑白棋程式雖然仍然有點笨拙，但由於計算深度（電腦的速度快）和尾局的準確性，所以已經很強。1990年代初最有名的程式就是Thor，在那時候是最強的程式（還是DOS模式年代），棋力能比得上世界級棋手，在這個時期的程式都是人工地加入行動力、位置策略、偶數重要性等等，但又因為這些策略是直接編寫在程式裡，那程式的棋力很依賴程式員本人的棋力，程式下起來比較像人類的下法。而且程式裡遺留了人類棋手的弱點、策略的不完整性等等的問題。因為早期Thor的通用性，影響到現在黑白棋界裡的統一棋譜資料庫都是用Thor database。
黑白棋 黑白棋軟體與人工智慧
到了1994、1995年，黑白棋程式的編寫方法有了突破性的發展，首先是有了一個稱為IOS的網站（GGS的前身），讓不同的程式同時連上去互相對局，突破了以往那種閉門造車的日子，在同期Michael Buro做出了能由程式自我學習的Logistello，在差不多的時間，大家都學起來，用相似的方法來編寫程式。程式員不再把人工的策略和下棋方法等死硬地寫在程式裡，而是由程式自我學習，程式會記錄好、壞的形狀（patterns），根據實戰的結果自動調整策略，又會把不同的開局棋譜根據實戰的過程來評分、保存，有些程式能保存幾十萬步的開局棋譜。
黑白棋 黑白棋軟體與人工智慧
就是因為Logistello在根本方法的改進、先進的算法、編寫方面的高效率和準確性等等，一直在黑白棋界保持為世界程式冠軍。在1993年~1997年的25場比賽中，Logistello有18場獲得冠軍、6場獲得亞軍。1997年8月，Logistello擊敗了1996年的世界冠軍村上健（Takeshi Murakami），從此黑白棋程式把人類棋手遠遠甩在後面。直到Michael在1998年1月宣布Logistello退休為止。現在已經有數個程式在棋力上超越已退休的Logistello，包括edax、cyrano、saio，主要突破點在於它們把算法改善為多線程執行。
黑白棋程序「斑馬」（WZebra）是Zebra的Windows版本，除了可以下棋外，還提供了打譜、複盤、棋局分析、自我學習等功能，也可以加載Thor棋譜文件，進行針對性訓練。在標準比賽時間（2x15分鐘）內，其搜索深度可達中局18至27步、終局24至31步。WZebra是自由軟體，提供了中文版本，並提供中文幫助。
Saio是System Artificial Intelligence Othello縮寫，是黑白棋程式之一。並不開放下載。
黑白棋 網路黑白棋
自互聯網興起，網路下棋成為了大眾黑白棋對弈的主要形式。網路黑白棋比賽也日漸普及起來。網路黑白棋尋找棋友非常方便，對弈後資料保留非常妥當。
5月9日
5月9日是阳历年的第129天（闰年是130天），离一年的结束还有236天。
刘伯明 (哲学家)
劉伯明（1887年—1923年11月24日），名經庶，字伯明。哲學家，教育家。中國現代哲學的先驅者、中國現代自由教育的倡導人、中國現代人文主義的先驅。學贯中西，通儒、道、佛學，治西洋哲學，精于英文，通法文、德文，兼及希臘文、梵文。
刘伯明 (哲学家) 生平
江蘇南京人。祖籍山東章丘。幼聰慧，少時學于彙文書院（1910年改為金陵大學），習中西文。畢業後遊學日本，曾參加同盟會，從事民主革命活動。
1911年入美國西北大學攻讀哲學及教育，師從勞維爾，1915年獲哲學博士學位。同年與在美哥倫比亞大學攻讀教育學碩士之陳芬資女士（1889年生，安徽無爲人。1927年任南京市彙文女子中學首任華人校長）結婚。
1915年回國，時彙文書院已改名金陵大學（1952年合併于南京大學），校長包文延劉伯明為國文部主任，教授哲學、哲學史、文學、教育學等。
1915年，南京高等師範學校校長江謙聘劉伯明兼任倫理、哲學、語言等課教授。1919年辭去金陵大學教職，專任南京高師教授，兼訓育主任及文史地部主任。郭秉文繼江謙任南高校長後，為規劃校務，忙於外事，離校期間校務則由劉伯明主持。1921年南京高等師範學校改為國立東南大學（1928年更名中央大學，1949年更名南京大學），任校長辦公室副主任（即今之副校長），曾代理校長職務，除忙於校務外，仍兼文理科主任及哲學系主任，為哲學教授，講學不倦。
1923年11月24日，因積勞成疾而英年早逝，時年37歲。