:: wikimiki.org ::
| 数学 |
数学
数学最早是研究量、结构、变化以及空间模型的学科。在现代，数学又是利用逻辑形式研究现实世界的空间形式和数量关系的学科，尽管对某一特定结构的研究往往属于自然科学，特别是物理学的范畴。同时由于数学自身的发展，数学家也要研究纯粹属于数学内部的结构。
创立于二十世纪三十年代的法国的布尔巴基学派认为：数学，至少纯粹数学，是研究抽象结构的理论。结构，就是以初始概念和公理出发的演绎系统。布学派认为，有三种基本的抽象结构：代数结构（群，环，域……），序结构（偏序，全序……），拓扑结构（邻域，极限，连通性，维数……）。
历史
:主页面：数学史
数学，起源于人类早期的生产活动，为古中国六艺之一，亦被古希腊学者视为哲学之起点。数学的希腊语μαθηματικός (mathematikós)意思是“学问的基础”，源于μάθημα (máthema)（“科学，知识，学问”）。
数学最早用于人们计数、天文、度量甚至是贸易的需要。这些需要可以简单地被概括为数学对结构、空间以及时间的研究。
对结构的研究是从数字开始的，首先是从我们称之为初等代数的——自然数和整数以及它们的算术关系式开始的。更深层次的研究是数论。
对空间的研究则是从几何学开始的，首先是欧几里德几何学和类似于三维空间（也适用于多或少维）的三角学。后来产生了非欧几里德几何学，在相对论中扮演着重要角色。
到了16世纪，算术、初等代数、以及三角学等初等数学已大体完备。17世纪变量概念的产生使人们开始研究变化中的量与量的互相关系和图形间的互相变换。随着自然科学和技术的进一步发展，为研究数学基础而产生的集合论和数理逻辑等也开始慢慢发展。
数学不是……
数学不是占数术。数学的证明或反证明的意念都要在逻辑之中进行，占数术却非。
数学不是会计学。虽然会计师的工作就是算术运算，他们只需检查计算是否准确。证明和反证假设对数学家很重要，但对会计师毫不重要。如果高等抽象数学的发展不能改善簿记的精确性和效率，和会计学毫无关系。
数学不是物理，虽然历史和哲学上两者关系密切。
参考书目
- Davis, Philip J.; Hersh, Reuben: The Mathematical Experience. Birkhäuser, Boston, Mass., 1980. A gentle introduction to the world of mathematics.
- Gullberg, Jan: Mathematics-From the Birth of Numbers. W.W. Norton, 1996. An encyclopedic overview of mathematics presented in clear, simple language.
- Mathematical Society of Japan: Encyclopedic Dictionary of Mathematics, 2nd ed.. MIT Press, Cambridge, Mass., 1993. Definitions, theorems and references.
- Michiel Hazewinkel (ed.): Encyclopaedia of Mathematics. Kluwer Academic Publishers 2000. A translated and expanded version of a Soviet math encyclopedia, in ten (expensive) volumes, the most complete and authoritative work available. Also in paperback and on CD-ROM.
- 数学--它的内容,方法和意义
参考网址
- [http://www.11abc.com/science/maths.htm 数学网址]（数学网址） 。
- Rusin, Dave: [http://www.math-atlas.org/ The Mathematical Atlas]（英文版）现代数学漫游。
- Weisstein, Eric: [http://www.mathworld.com/ World of Mathematics]，一个在线的数学百科全书。
- [http://planetmath.org/ Planet Math]，另一个在线的数学百科全书，使用GFDL，允许和维基百科交换条目。
- [http://www.mathforge.net/ MathForge]，一个包含数学、物理、计算机科学和教育等范畴的新闻网志。
- [http://episte.math.ntu.edu.tw/ EpisteMath｜数学知识]。
- 香港科技大学:[http://www.edp.ust.hk/math/ 数学网]，一个以数学史为主的网站。
Category:数学
Category:自然科学
Category:科学
ja:数学
ko:수학
ms:Matematik
simple:Mathematics
th:คณิตศาสตร์
zh-min-nan:Sò·-ha̍k
变化
本文是关于变化的通常含义的。
----
变化,改变和流动的性质，作为一个概念有着交错的历史。在古希腊哲学中，赫拉克利特把变化视为无所不在无所不包的，巴门尼德则基本上否定了变化的存在。
空间
ja:空間
ko:공간
simple:Space
逻辑逻辑，在它纯粹的形式上，是接受一组假定并达成一个结论的推理。更加明确的说，逻辑是对说明性的推理系统的研究，它是为引导人类(同样也可能是其他有智能的生命/机器/系统)应当的如何进行推理而提出的系统。逻辑指出哪些推论形式是有效的哪些不是。在传统上，逻辑是作为哲学的分支来研究，但它也可以被当作数学和计算机科学的分支。人类实际上如何推理通常在其他学科下研究，这包括认知心理学。
詞源
逻辑：英文logic的音译。导源于希腊语logos，有“思想”、“思维”、“理性”、“言语”等含义。1902年严复译《穆勒名学》，将logic意译为“名学”，音译为「逻辑」；日語則譯為「論理學」。
分支
- 经典逻辑
- 传统逻辑(项逻辑)
- 布尔逻辑
- 命题逻辑
- 谓词逻辑(一阶逻辑)
- 数理逻辑(符号逻辑)
- 二阶逻辑
- 相继式演算
- 可计算性逻辑
- 多值逻辑
- 三值逻辑
- 模糊逻辑
- 概率逻辑
- 直觉逻辑(构造性逻辑)
- 中间逻辑
- 非单调逻辑
- 缺省逻辑
- 自动认识逻辑
- 亚结构逻辑(次结构逻辑)
- 线性逻辑
- 相干逻辑
- 模态逻辑
- 真势模态逻辑
- 认识逻辑
- 道义逻辑
- 时态逻辑
- 可证明性逻辑
- 可解释性逻辑
- 哲学逻辑
- 次协调逻辑(弗协调逻辑)
- 雙面真理逻辑
- 相干逻辑
- 自由逻辑
- 辩证法
- 非形式逻辑
- 逻辑推理
- 演绎推理(三段论)
- 直言推理
- 假言推理
- 选言推理
- 归纳推理
- 溯因推理(设因推理)
- 逻辑史
- 工具论(古希腊)亚里士多德
- 正理经(古印度)足目·乔答摩
- 墨经(古中国)墨子
- 概念文字(德国)弗雷格(1848-1925)
- 哥德尔不完备定理(奥地利)哥德尔(1906-1978)
- 逻辑学应用
- 数学基础
- 量子逻辑
- 分析哲学
- 计算机逻辑
- 法律逻辑学
Category:邏輯
ja:論理学
ko:논리학
ms:Logik
simple:Logic
th:ตรรกศาสตร์
自然科学自然科学是研究大自然中有机或无机的事物和现象的科学。自然科学包括物理学、化学、地球科学、生物学等等。
关于数学是否是自然科学存在着争议。有人认为数学是一门人文科学，也有人认为数学是哲学的分支，是逻辑学的一部分。但数学与自然科学之间息息相关的关系是无可争辩的。
与自然科学不同的还有人文学、社会科学和工程学。
一些人认为亚里士多德是自然科学的创始人，伽利略·伽利莱被认可为将实验引入自然科学的首倡人。
18世纪以前自然科学与哲学几乎不可分开。古希腊的哲学家也同时是自然科学家。勒奈·笛卡尔、戈特弗里德·威廉·莱布尼茨、约翰·洛克等等著名的自然科学也同时是哲学家。
自然科学的工作原理
自然科学的根本目的在于寻找自然现象的来因。自然科学认为超自然的、随意的和自相矛盾的实验是不存在的。自然科学的最重要的两个支柱是观察和逻辑推理。由对自然的观察和逻辑推理自然科学可以引导出大自然中的规律。假如观察的现象与规律的预言不同，那么要么是因为观察中有错误，要么是因为至此为止被认为是正确的规律是错误的。一个超自然因素是不存在的。
-
Category:科学
Category:学科
ja:自然科学
ko:자연과학
th:วิทยาศาสตร์ธรรมชาติ
物理学
物理学，简称“物理”。“物理”一词的英文physics出自希腊文φυσικός，原意是指自然。古时欧洲人称呼物理学作自然哲学。从最广泛的意义上来说即是研究大自然现象及规律的学问。物理学家们研究存在于不同空间与时间内的物质的状态，研究物质的结构和运动的一般规律。在现代，物理学已经成为自然科学中最基础的学科之一。物理学理论通常以数学的形式表达出来。经过大量严格的实验验证的物理学规律被称为物理学定律。然而如同其他很多自然科学理论一样，这些定律不能被证明，其正确性只能通过反复的实验来检验。
物理学与其他许多自然科学息息相关，如化学、生物、天文和地质等。特别是化学。化学与某些物理学领域的关系深远，如量子力学、热力学和电磁学。
以下是物理学的主要附属领域以及主要学说：
物理学简史
基础理论
尽管物理学的研究范围十分广泛，相应的理论也很众多，但有一些理论被证明是最基本的，其正确性是被普遍接受的。这些理论被看作是物理学的中心学说和基础理论。他们也是成为一个物理学家所必备的知识。
主要领域
物理学的研究领域主要依据研究对象的尺度划分。
相关领域
- 应用学科：声学 - 电子学 - 材料物理学 - 高分子物理学
- 交叉学科：计算物理学 -数学物理 - 物理化学 - 生物物理学
相关参考条目
- 基本物理量和国际单位：国际标准基准单位 - 国际标准导出单位
- 物理学常量和定律：物理学常量 - 物理学定律列表
- 物理学史：物理学家列表 - 诺贝尔物理学奖
外部链接
- [http://interactions.org/quantumdiaries/index.html 量子日记]——聚合全世界9个国家8种语言的物理学家的研究动态
Category:物理学
Category:自然科学
als:Physik
ja:物理学
ko:물리학
ms:Fizik
simple:Physics
th:ฟิสิกส์
zh-min-nan:Bu̍t-lí-ha̍k
数学家数学家是指從事數學研究工作的人。
數學家的工作
所謂的數學研究工作，不僅是瞭解及整理已知的結果，還包含著創造新的數學成果與理論。會強調這點是因為許多人誤解數學是一個已經被研究完的領域。事實上，數學上還有許多未知的領域和待解決的問題，也一直有大量新的數學成果發表。這些數學成果有些是新的數學知識，有些是是新的應用方式。
所以心算家、珠算家不是數學家，數學家也不見得能夠快速的做出各種計算。
一些趣聞
- 一般公認，歷史上可考的、年代最久遠的數學家是古希臘幾何學家泰勒斯
- 史上著作與論文總量第二多的是十七世紀的著名瑞士數學家歐拉，他的紀錄一直到二十世紀才被匈牙利數學家保羅·艾狄胥打破。
参看
- 数学家列表
外部連結
- [http://www-history.mcs.st-and.ac.uk/history/index0.html MacTutor 數學歷史庫], 非常詳盡的數學家傳記。
- [http://genealogy.math.ndsu.nodak.edu/ 數學家族譜計畫], 可以查詢數學家的師承源流。
category:数学家
ja:数学者
数学结构在数学中，一个集合上的结构，或者更一般的讲类型，是由附加在该集合上的数学对象所组成，它们使得这个集合更易操作或赋予它们特殊的意义。
部分可能的结构包括测度，代数结构，拓扑，度量结构(几何)，序，和等价关系等等。
有时候，一个集合同时有几种结构；这使得可研究的属性更丰富。例如，序可以导出一种拓扑。又如，如果一个集合有个拓扑并是一个群，而且这两个结构满足一定关系，则该集合成为一个拓扑群。
例子：实数
实数集有几个标准结构：
- 序：任意一个数或者小于或者大于另外一个数。
- 代数结构：乘法和加法使其成为一个域。
- 测度：实直线上的区间有长度。
- 几何：它有一个度量，并且是平直的.
- 拓扑：数和另外一个数有远近关系.
这些关系互相关联：
- 序和度量分别导出它的拓扑。
- 序和代数结构使它成为有序域。
- 代数结构和拓扑使它成为李群(一种拓扑群)。
结构
ja:数学的構造
法国法兰西共和国，或简称法国（La France），位于欧洲西部，与比利时、卢森堡、德国、瑞士、意大利、摩纳哥、安道尔和西班牙接壤。法国是联合国安理会常任理事国，是欧洲联盟和北大西洋公约组织的创始会员国之一。也是申根公约的会员国。
历史
请参见：法国历史
法国最早的根源自大约公元10世纪，查理曼帝国分裂。东部的部分形成现在的德国，而西部则逐渐成为法国。15世纪末法国形成了中央集权的国家，直到1789年爆发的法國大革命，推翻了封建制度及君主制。
法兰西第一共和国由1792年新的共和國建立開始，直到1804年拿破仑成為法國皇帝，結束了短暫的共和國歲月。
期後，法兰西第二共和国於1848年開始，直至1852年。
1870年普法戰爭結束後，法國再次恢復共和國制度，并一度于1871年3月18日--5月28日间建立了世界上第一个无产阶级专政政权--巴黎公社，但隨即被推翻。然後法國人民在普軍撤軍走後，成立法兰西第三共和国。這個共和國經歷過第一次世界大戰，一直到1940年被納綷德國滅亡為止。
第二次世界大戰之後，法兰西第四共和国開始。虽然法国是两次世界大战的赢家，但是法国在战争中财富、人力损失惨重。這個第四共和一直維持到1958年阿爾及利亞戰爭爆發。
1958年，法兰西第五共和国建立，开始了半总统半议会民主制，吸取了前几次法国式议会民主制度失败的教训。最近几年法国和德国的密切合作成为欧洲经济一体化不可或缺的主要动力，例如1999年欧元的流通就是一例。今天，法国站在欧洲国家寻求在更多领域进行更密切合作的最前沿。
政治
请参见：法国政治
第五共和国的宪法于1958年9月28日由法国人民全体公投通过。它大大增强了行政机关与议会的关系。宪法规定，总统直选产生，任期7年。2002年9月24日经过全民公决，总统任期由7年改为5年。总统可以任命总理，控制军队及签署条约。
国民议会 (Assemblée Nationale)是国家的最高立法机关。议会成员由人民直选产生，任期5年。参议员由一个选举机构选举产生，任期9年，参议院(Sénat)每三年更换三分之一的参议员。参议院的立法职能受到限制；当两个议会意见不同时，国家会议拥有最后裁决权。政府对议会的议事日程有很大的影响力。
行政区划
请参见：法国行政区划, 省 (法国)
法国有26个大区(région)，这些行政区再进一步分割成大約100个省（département，或译区份），相当于县。这些区份都被编号（主要按字母顺序），这些号码被用于邮政编码或车辆牌照。
省由专区（arrondissement）组成，每个专区被分为几个乡（canton），每个乡包括几个市镇（commune）。市镇是法国最小的行政单位。
在海外的区份是法国的前殖民地，这些地区在法国享受着与欧洲国家相似的待遇。他们可以被认为是法国的一部分（或者欧盟的一部分），而且它们也使用相同的时间。除此之外还有三个“海外领地”(territoires d'outre-mer，简称TOM)： 法属波利尼西亚 / 法屬玻里尼西亞 (987), 瓦利斯和富图纳群岛 / 沃里斯與伏塔那島 (986)以及法属南方和南极洲领地。还有三个分开的海外地区(collectivité d'outre-mer) ：新喀里多尼亚（曾经是一个海外领地），圣皮埃尔和密克隆 / 聖匹及密啟倫群島 (975)和马约特 / 美亞特 (976)。最后，法国拥有一些太平洋和印度洋小岛的控制权。
地理
请参见：法国地理
法国地势复杂，西部和北部地区为海岸平原，法国在此濒临北海和大西洋。南部地区有--，东南部是阿尔卑斯山地，中南部还有中央高原。主要大河有卢瓦尔河 / 羅亞爾河、罗讷河 / 隆河、加龙河和塞纳河。
- 法国国家公园
经济
请参见：法国经济
法国经济结合了现代化的资本主义经济以及政府干预。政府在各个行业的主要版块依然有重要影响，在铁路、电力、航空和电讯企业政府还拥有主要的控制权。从1990年代初开始政府就一直在逐渐放宽对这些版块的控管。政府正在缓慢地释出在法国电讯、法国航空以及保险、金融、国防企业的控股份额。除此之外，肥沃的土地、先进的技术以及政府的补助使法国成为西欧领先的农业生产国。1999年1月1日法国和其他11个欧洲国家参与使用欧元，并在2002年年初正式开始使用欧元硬币和纸币，完全取代之前的法郎。
参见：法国企业列表
人口
请参见：法国人口
法国官方语言为法语，法国政府直到最近才开始鼓励学校和政府机构使用一些地方语言（例如 巴斯克语、布列塔尼语、阿尔萨斯语（属德语）、弗拉芒语（属荷兰语）、科西嘉语，朗格多克语， 普罗旺斯语 等），一些学校开始教授当地方言，但是法语依然是全国官方语言。
文化
请参见：法国文化
法國文化富有多樣性，數世紀以來法國都是世界文化中心之一。
语言
法语是法国的国语，阿尔萨斯人英语正在成为法国第二语言。布列塔尼人中的一些农村居民以布列塔尼语为口语。科西嘉人日常生活中亦操当地的两种方言：一种与意大利托斯卡方言相近，另一种与撒丁岛北部方言相近。
宗教
法国主要宗教是天主教，其次是新教、东正教、伊斯兰教和犹太教。
- 天主教：有教徒4500多万。全国分17个教省，90个教区。
- 新教：比较大的派别有长老宗和信义宗。
- 东正教：有教徒约53万人。其中约30万在巴黎。另外，法国有亚美尼亚正教徒约18万人。
- 伊斯兰教：是法国的第二大宗教。有穆斯林约200万人，其中75万人集中在巴黎。
- 犹太教：有教徒54万人，主要分布在巴黎。
体育
- 足球
其它主题
- 法国通讯
- 法国交通
- 法国军事
- 法国外交
- 法国旅游
- 法國飲食
- 法兰西学院（Académie Française）
- 法国文学
- 法国名人列表
- 蒙特婁
- 魁北克
主要节日
外部链接
- [http://www.elysee.fr/ang/index.shtm 法国总统官邸官方网站] - 爱丽舍宫
- [http://www.premier-ministre.gouv.fr/en/ 法国总理办公室官方网站] - 政府主站
- [http://www.assemblee-nat.fr/english/index.asp 法国国家会议 Assemblée Nationale] - 法国议会
- [http://www.culture.gouv.fr/ 法国文化与交流部 Ministère de la Culture et de la communication] - 法国文化与交流部(文化部)
- [http://www.adminet.com/jo 法国法律网 Journal Officiel ] - 法国法律网 建立与1948年,用以发布法国政府的法律、法规、议会辩论等的正式文件，同时有书面和网络两个版本。从2004年开始网络版与书面版本具有相同的法律效力。
- [http://www.ncc-travel.com/france/france.htm 旅游资源 法国]--主要介绍法国的旅游资源,服装文化以及饮食
- [http://www.amour-de-france.com/ 爱的法兰西]--一个介绍法国文化遗产、历史、习俗、美食、特产等的综合性网站
- [http://www.asinah.net/web-directory/odp.database/World/Chinese_Simplified/%b5%d8%c7%f8/%c5%b7%d6%de/%b7%a8%b9%fa/ 商业与经济 法国]
- [http://www.countryguide.com/France/ 国家指南：法国]--有关法国旅游、度假或移民的相关站点列表
- 法国文化协会|法国法语联盟
- [http://www.alliancefrancaise.org/ 主网页(英)]
- [http://www.alliancefrancaise.org.cn/ 简体中文版(简中/法)]
- [http://www.alliancefrancaise.com.hk/ 香港版(英/法)]
- [http://alliancefrmacao.free.fr/ 澳門版(繁中/英/法)]
- 法国中文网站
- [http://www.chfr.net/bss/ 法国华人生活社区]
- [http://www.faguo-lvyou.cn/ 法国旅游网]
als:Frankreich
fiu-vro:Prantsusmaa
ja:フランス
ko:프랑스
ms:Perancis
simple:France
th:ประเทศฝรั่งเศส
zh-min-nan:Hoat-kok
数学史数学史是研究数学的产生和发展过程的学科。它是数学的一个分支，也是自然科学史研究的一个重要分支，是自然科学和历史学之间的交叉学科。
算数代数时代
几何时代
函数分析时代
微积分时代
数学研究方向产生历史：
- 概率
- 数论
- 微分方程
Category:數學史
ko:수학의 역사
六艺六藝指中国古代儒家要求学生掌握的六種基本才能：禮、樂、射、御、書、數。
#禮：禮節（即今德育）
#樂：音樂
#射：射箭技術（鍛鍊體格，品格修養）
#御：駕馭馬車的技術
#書：書法（即今文學）
#數：算法（即今數學）
category:儒家
哲学
“哲学”这个词最早出自希腊文的“φιλοσοφος”(philosophia)，即“philo-”(喜爱)和“sophia”(智慧)（爱智慧）。19世纪70年代，日本最早的西方哲学传播者西周借用古汉语译作“哲学”，1896年前后康有为等将日本的译称介绍到中国，后渐渐通行。在西方，哲学一词通常用来说明一个人对生活的某种看法（例如某人的“人生哲学”）和基本原则（例如價值觀、思想、行為）。而在学术上的哲学，则是对这些基本原则的理性根据的质疑、反思，并试图对这些基本原则进行理性的重建。
最早哲学的范围涵盖所有的知识层面。它一直是人类最抽象的知识研究。对哲学一词的介绍最初來自希腊思想家毕达哥拉斯。
哲学与科学的关系
从学术史看，科学是哲学的衍生物。后来，科学独立为与哲学并行的学科。科学与哲学有互动关系。科学产生知识，哲学产生思想。马克思主义认为，哲学也是一种社会意识形态。现代西方哲学中有科学哲学，是专门研究有关科学的理论。这种理论研究了科学的历史，为科学总结了许多理论模型，但这也只是解释了科学，并不是可以指导科学。哲学是人类了解世界的一种特殊方式，是使人崇高起来的一门学问。
哲学的价值
哲学之应当学习并不在于它能对于所提出的问题提供任何确定的答案，因为一般不可能知道有什么确定的答案是真确的，而是在于这些问题本身；原因是，这些问题可以扩充我们对于一切可能事物的概念，丰富我们心灵方面的想象力，并且减低教条式的自信，这些都可能禁锢心灵的思考作用。此外，尤其在于通过哲学冥想中的宇宙之大，心灵会变得伟大起来，因而就能够和那成其为至善的宇宙结合在一起。
哲学也可以说是理性对于信仰的研究。
哲学是对世界的关于终极意义的解释，它在解释中使我们了解世界，使世界在我们的意识中合理化，从而为我们提供心灵的慰藉。
哲学还是对人的自我一种定位的工具。
哲学理论
利他主义 ── 反现实主义 ── 佛教哲学 ── 儒家思想 ── 享乐主义 ── 唯物主义 ── 唯心主义 ── 理想主义 ── 非现实主义 ── 逻辑正确主义 ── 悲观主义 ── 道家思想 ── 自我主义 ── 悲观主义 ── 理性主义 ── 现实主义 ── 唯美主义 ── 形而上学唯物主义 ── 辩证唯物主义 ── 客观唯心主义 ── 主观唯心主义 ── 非理性主义 ── 斯多噶主义 ── 民族主义──存在主义──形而上学——功利主義
—
哲学分支
由于研究领域的不同，哲学有很多分支。
- 哲学史
- 东方哲学史
- 印度哲学
- 中国哲学史
- 伊斯兰哲学
- 日本哲学
- 西方哲学史
- 古希腊哲学
- 中世纪哲学
- 文艺复兴时期哲学
- 德国古典哲学
- 俄国哲学
- 马克思主义哲学
- 辩证唯物主义
- 历史唯物主义
- 马克思主义哲学史
- 科学哲学
- 现代哲学
- 生存哲学
- 分析哲学
- 人文哲学
- 解释学
- 符号学
- 实用主义哲学
- 伦理学
- 医学伦理学
- 教育伦理学
- 政治伦理学
- 家庭伦理学
- 生命伦理学
- 生态伦理学
- 美学
- 美学史
- 艺术美学
- 技术美学
- 形而上学
- 现象学
- 过程哲学
- 知识论
- 死亡哲學
- 人生哲學
- 法律哲學
- 心靈哲學
- 墨家哲學
- 當代英美哲學
- 比較哲學
- 當代法國哲學
- 哲學哲學
与哲学相关学科
- 相对论
- 量子力学
- 混沌学
- 旋理论
- 思维科学
- 人工智能
- 心理学
- 信息论
- 语义学
- 科学社会学
- 逻辑学
- 科学学
- 控制论
- 机械论
其他与哲学相关的学科
- 宗教哲学
- 政治哲学
- 物理哲学
- 天文哲学
- 化学哲学
- 语言分析哲学
- 佛教哲学
- 教父哲学
- 教育哲学
- 语言哲学
- 日常语言哲学
- 自然哲学
- 经济哲学
- 同一哲学
- 思辩哲学
- 生物学哲学
- 中国哲学史史料学
- 历史哲学
- 易学
- 经学
- 玄学
- 灵源泛哲学体系
- 自由意志
- 决定论
- 因果律
- 随机性
- 白马非马
- 百姓日用即道
- 悖论
- 变化日新
- 辩者二十一事
- 仁为万物之源
- 体用一源
- 天不变道亦不变
- 天道自然
- 万物皆备于我
- 物极必反
- 心统性情
- 心无本体
- 新故相除
- 形质神用
- 性即理
- 性日生日成
- 一分为二
- 一物两体
- EPR悖论
- 坚白相盈
参见
认识论 本体论 形而上学 伦理学 美学 哲学范畴 哲学理论 边缘学科 哲学概念 辩证法 哲学团体 方法论 哲学基本问题 科学理论 科学实验 哲学史 哲学家 哲学家列表 哲学思想列表 現代哲學學院詳談
Category:文化
-
category:認知科學
ja:哲学
ko:철학
ms:Falsafah
simple:Philosophy
th:ปรัชญา
希腊希腊共和国位于欧洲东南部巴尔干半岛南端。陆地上北面与保加利亚、马其顿以及阿尔巴尼亚接壤，东部则与土耳其接壤，濒临爱琴海，西南临第勒尼安海及地中海。希腊被誉为是西方文明的发源地，拥有悠久的历史，并对三大洲的历史发展有过重大影响。
历史
参见：希腊历史
这片爱琴海沿岸的土地见证了欧洲最早的两大文明：米诺斯文明(Minoan civilization)及迈锡尼文明(Mycenae civilization)。之后希腊经历了一段黑暗时期，直到公元前800年新的希腊文明的诞生。当时的希腊城邦在地中海沿岸建立起自己的殖民地，成功地抵御了波斯人的入侵，并最终发展出了灿烂的希腊文化。希腊，马其顿和色雷斯地区的文明被统称为海伦尼克(Hellenic)。
希腊曾经被马其顿的亚利山大大帝征服过，成为其马其顿帝国的一部份。在亚历山大的领导下，马其顿帝国灭亡了波斯帝国，希腊文化随之传播到埃及、中东和中亚地区，史称希腊化时代。亚利山大大帝死后，马其顿帝国陷入一片混乱，希腊由此又恢复了独立。古时的希腊是由各城市组成的城邦治，每个城邦都有自己的国王，比较出名的城邦有斯巴达和雅典。
虽然在军事上希腊在公元前168年被罗马共和国完全征服，希腊文化却反过来征服了罗马人的生活。作为罗马帝国的一个省，希腊文化继续主宰着东地中海，直到帝国被分裂成两部分。以君士坦丁堡为中心的拜占庭帝国本质上就是希腊化的。拜占庭抵御了几个世纪来自东西方的攻击，直到1453年君士坦丁堡最终被沦陷，奥斯曼帝国也从此逐渐征服了整个希腊。
奥斯曼帝国的统治一直持续到1821年，希腊人宣布独立为止。1828年希腊独立战争结束后，希腊在1833年建立了君主政权。在整个19世纪及20世纪初，希腊不断扩张领土，吸收奥斯曼帝国内讲希腊语的族群，直到1947年希腊的版图成了现在的样子。
第二次世界大战后，希腊又经历了一次内战。1949年内战结束后的希腊宣布加入北约组织。1967年4月21日军人发动政变，之后又宣布废黜国王。塞浦路斯问题最终导致了军人政权在1974年的垮台，一个民主共和国在1975年建立。1981年希腊正式加入欧盟。
政治
参见：希腊政治
1975年颁布的宪法包含了保障民权的条款，并授予一名间接选举产生的总统作为国家元首的权利。总理和内阁主导着政治进程，而总统在象征性的职权之外还可以行使一些政府功能。总统、总理任期4年，由议会选举产生，可以再连任一次。
希腊一院制的议会(Vouli ton Ellinon)成员最长任期为4年，但选举可以提前举行。希腊使用一种十分复杂的比例代表制选举体系，在此系统下小党无法有较大的影响力，而即使在最大党没过半数的情况下，该党依然可以控制议会。政党只有获得至少3%的选票才可以取得300席议会中的席位。
行政区
参见：希腊行政区
希腊划分为13个大区(peripheries)，再进一步分为51个州(nomoi，单数nomos)：
除此之外还有一个享有很大自治权的区域阿苏斯神权共和国（圣山）。
地理
参见：希腊地理
该国由一片大陆以及巴尔干半岛南端的伯罗奔尼撒半岛(Peloponnesus Penisula)以及克里特岛和其他爱琴海岛屿组成。海岸线有14,880千米，陆地边界长1,160千米。希腊80%的地方是山区，全国大部分地区都十分干燥；只有28%的土地是可耕种的。西部主要是湿地。中部山区平均海拔在2,650米左右。传奇性的奥林匹斯山为希腊最高点，海拔2,917米。
希腊气候属地中海式气候，冬温湿，夏干热。温度变化不大，但在冬天山区甚至雅典地区都有降雪。
经济
参见：希腊经济
希腊拥有综合了资本主义经济以及占GDP一半左右的公共版块。旅游业是支柱产业，占希腊GDP以及外汇收入的很大一部分。希腊是欧盟经济援助的主要受惠国，受欧盟援助的资金大约占总GDP的3.3%，在过去几年中希腊经济稳步增长。
急需解决的问题包括了降低失业率以及进一步的经济重组，包括了几个主要国有企业的私有化，社会保障体系、税收体系的改革，以及减少官僚系统的缺失。
人口
参见：希腊人口
据2001年最后一次人口统计，希腊人口共计10.774.917。大多数希腊人(98%)信奉国教东正教。东正教会受国家保护，并有自治权，但受位于君士坦丁堡的基督教元老院的精神指导。除此之外，还有1.3%的人口信奉伊斯兰教，而伊斯兰教也是唯一受官方承认的除东正教之外的宗教。
文化
参见：希腊文化
- 古希腊人列表
- 希腊神话
- 希腊文学
- 希腊建筑
其他
- 希腊通讯
- 希腊交通
- 希腊军事
- 希腊外交
- 希腊旅游业
外部链接
- [http://www.greece.gr/index.htm 当今希腊] - 政府资助的有关在希腊生活的网站
- [http://www.government.gr/index.html Government.gr] - 政府官方网站(希腊文)
- [http://www.parliament.gr/english/organwsh/default.htm 希腊议会] - 议会官方网站
- [http://www.olympion.de/greek-embassies-worldwide.html A list of Greek Embassies Worldwide]
fiu-vro:Kriika
ja:ギリシャ
ko:그리스
ms:Yunani
roa-rup:Gârţii
simple:Greece
th:ประเทศกรีซ
zh-min-nan:Hi-lia̍p
度量衡度量衡傳統上是计量长度、体积、轻重的标准的统称。度是计量长短，量是計量對某物質的容量，衡是计量轻重。現代對度量衡的廣泛定義為任何表示物理量（如溫度、時間）的公制單位。
古中國歷代度量衡制演變簡表
度
度制
| 時代 |
單位換算 |
公制換算(厘米cm) |
| 商 |
1尺 = 10寸, 1寸 = 10分 |
1尺 = 15.8, 1寸 = 1.58 |
| 戰國 |
1丈 = 10尺, 1尺 = 10寸, 1寸 = 10分 |
1丈 = 231, 1尺 = 23.1, 1寸 =2.31, 1分 = 0.231 |
| 秦 |
1引 = 10丈, 1丈 = 10尺, 1尺 = 10寸, 1寸 = 10分 |
1引 = 2310, 1丈 = 231, 1尺 = 23.1, 1寸 = 2.31, 1分 = 0.231 |
| 漢 |
1引 = 10丈, 1丈 = 10尺, 1尺 = 10寸, 1寸 = 10分 |
1引 = 2310, 1丈 = 231, 1尺 = 23.1, 1寸 = 2.31, 1分 = 0.231 |
| 三國 |
1丈 = 10尺, 1尺 = 10寸, 1寸 = 10分 |
1丈 = 242, 1尺 = 24.2, 1寸 = 2.42, 1分 = 0.242 |
| 西晉 |
1丈 = 10尺, 1尺 = 10寸, 1寸 = 10分 |
1丈 = 242, 1尺 = 24.2, 1寸 = 2.42, 1分 = 0.242 |
| 東晉及十六國 |
1丈 = 10尺, 1尺 = 10寸, 1寸 = 10分 |
1丈 = 245, 1尺 = 24.5, 1寸 = 2.45, 1分 = 0.245 |
| 南朝與北朝 |
1丈 = 10尺, 1尺 = 10寸, 1寸 = 10分 |
南朝?: 1丈 = 245, 1尺 = 24.5, 1寸 = 2.45, 1分 = 0.245
北朝?: 1丈 = 296, 1尺 = 29.6, 1寸 = 2.96, 1分 = 0.296 |
| 隋 |
1丈 = 10尺, 1尺 = 10寸, 1寸 = 10分 |
1丈 = 296, 1尺 = 29.6, 1寸 = 2.96, 1分 = 0.296 |
| 唐 |
1丈 = 10尺, 1尺 = 10寸, 1寸 = 10分 |
小尺: 1丈 = 300, 1尺 = 30, 1寸 = 3, 1分 = 0.3
大尺: 1丈 = 360, 1尺 = 36, 1寸 = 3.6, 1分 = 0.36 |
| 宋元 |
1丈 = 10尺, 1尺 = 10寸, 1寸 = 10分 |
1丈 = 312, 1尺 = 31.2, 1寸 = 3.12, 1分 = 0.312 |
| 明 |
1丈 = 10尺, 1尺 = 10寸, 1寸 = 10分 |
裁衣尺: 1尺 = 34, 1寸 = 3.4
量地尺: 1尺 = 32.7, 1寸 = 3.27
营造尺: 1尺 = 32, 1寸 = 3.2 |
| 清 |
1丈 = 10尺, 1尺 = 10寸, 1寸 = 10分 |
裁衣尺: 1丈 = 355, 1尺 = 35.5, 1寸 = 3.55
量地尺: 1丈 = 345, 1尺 = 34.5, 1寸 = 3.45
营造尺: 1丈 = 320, 1尺 = 32, 1寸 = 3.2 |
量
量制
| 時代 |
單位換算 |
公制換算(毫升mL) |
| 戰國 |
齊:1鐘 = 10釜, 1釜 = 4區, 1區 = 4豆, 1豆 = 4升
楚:1筲 = 5升
秦:1斛 = 10斗, 1斗 = 10升
三晉(韓、趙、魏):1斛 = 10斗, 1斗 = 10升 |
|
| 秦 |
1斛 = 10斗, 1斗 = 10升 |
1斛 = 20000, 1斗 = 2000, 1升 = 200 |
| 漢 |
1斛 = 10斗, 1斗 = 10升, 1升 = 10合, 1合 = 2龠, 1龠 = 5撮, 1撮 = 4圭 |
1斛 = 20000, 1斗 = 2000, 1升 = 200, 1合 = 20, 1龠 = 10, 1撮 = 2, 1圭 = 0.5 |
| 三國兩晉 |
1斛 = 10斗, 1斗 = 10升, 1升 = 10合 |
1斛 = 20450, 1斗 = 2045, 1升 = 204.5, 1合 = 20.45 |
| 南北朝 |
1斛 = 10斗, 1斗 = 10升, 1升 = 10合 |
1斛 = 30000, 1斗 = 3000, 1升 = 300, 1合 = 30 |
| 隋 |
1斛 = 10斗, 1斗 = 10升, 1升 = 10合 |
開皇: 1斛 = 60000, 1斗 = 6000, 1升 = 600, 1合 = 60
大業: 1斛 = 20000, 1斗 = 2000, 1升 = 200, 1合 = 20 |
| 唐 |
1斛 = 10斗, 1斗 = 10升, 1升 = 10合 |
大: 1斛 = 60000, 1斗 = 6000, 1升 = 600, 1合 = 60
小: 1斛 = 20000, 1斗 = 2000, 1升 = 200, 1合 = 20 |
| 宋 |
1石 = 2斛，1斛 = 5斗, 1斗 = 10升 1升 = 10合 |
1石 = 67000，1斛 = 33500, 1斗 = 6700, 1升 = 670，1合 = 67 |
| 元 |
1石 = 2斛，1斛 = 5斗, 1斗 = 10升 1升 = 10合 |
1石 = 95000，1斛 = 47500, 1斗 = 9500, 1升 = 950，1合 = 95 |
| 明 |
1石 = 2斛，1斛 = 5斗, 1斗 = 10升 1升 = 10合 |
1石 = 100000，1斛 = 50000, 1斗 = 10000, 1升 = 1000，1合 = 100 |
| 清 |
1石 = 2斛，1斛 = 5斗, 1斗 = 10升 1升 = 10合 |
1石 = 100000，1斛 = 50000, 1斗 = 10000, 1升 = 1000，1合 = 100 |
衡
衡制
| 時代 |
單位換算 |
公制換算(克g) |
| 戰國 |
楚: 1斤 = 16兩, 1兩 = 24銖
趙:1石 = 120斤, 1斤 = 16兩, 1兩 = 24銖
魏: 1鎰 = 10釿, 1釿 = 20兩
秦: 1石 = 4鈞, 1鈞 = 30斤, 1斤 = 16兩, 1兩 = 24銖 |
1斤 = 250, 1兩 = 15.6, 1銖 = 0.65
1石 = 30000, 1斤 = 250, 1兩 = 15.6, 1銖 = 0.65
1鎰 = 315, 1釿 = 31.5
1石 = 30360, 1鈞 = 7590, 1斤 = 253, 1兩 = 15.8, 1銖 = 0.69 |
| 秦 |
1石 = 4鈞, 1鈞 = 30斤, 1斤 = 16兩, 1兩 = 24銖 |
1石 = 30360, 1鈞 = 7590, 1斤 = 253, 1兩 = 15.8, 1銖 = 0.66 |
| 漢 |
1石 = 4鈞, 1鈞 = 30斤, 1斤 = 16兩, 1兩 = 24銖 |
西漢?: 1石 = 29760, 1鈞 = 7440, 1斤 = 248, 1兩 = 15.5, 1銖 = 0.65
東漢?: 1石 = 26400, 1鈞 = 6600, 1斤 = 220, 1兩 = 13.8, 1銖 = 0.57 |
| 三國 |
1石 = 4鈞, 1鈞 = 30斤, 1斤 = 16兩, 1兩 = 24銖 |
1石 = 26400, 1鈞 = 6600, 1斤 = 220, 1兩 = 13.8, 1銖 = 0.57 |
| 兩晉 |
1石 = 4鈞, 1鈞 = 30斤, 1斤 = 16兩, 1兩 = 24銖 |
1石 = 26400, 1鈞 = 6600, 1斤 = 220, 1兩 = 13.8, 1銖 = 0.57 |
| 南北朝 |
1石 = 4鈞, 1鈞 = 30斤, 1斤 = 16兩, 1兩 = 24銖 |
南齊: 1斤 = 330，梁、陳: 1斤 = 220；
北魏、北齊: 1斤 = 440，北周: 1斤 = 660 |
| 隋 |
1石 = 4鈞, 1鈞 = 30斤, 1斤 = 16兩, 1兩 = 24銖 |
大: 1石 = 79320, 1鈞 = 19830, 1斤 = 661, 1兩 = 41.3
小: 1石 = 26400, 1鈞 = 6600, 1斤 = 220, 1兩 = 13.8 |
| 唐 |
1石 = 4鈞, 1鈞 = 30斤, 1斤 = 16兩, 1兩 = 10錢, 1錢 = 10分 |
1石 = 79320, 1斤 = 661, 1兩 = 41.3, 1錢 = 4.13, 1分 = 0.41 |
| 宋 |
1石 = 120斤, 1斤 = 16兩, 1兩 = 10錢, 1錢 = 10分 |
1石 = 75960, 1斤 = 633, 1兩 = 40, 1錢 = 4, 1分 = 0.4 |
| 元 |
1石 = 120斤, 1斤 = 16兩, 1兩 = 10錢, 1錢 = 10分 |
1石 = 75960, 1斤 = 633, 1兩 = 40, 1錢 = 4, 1分 = 0.4 |
| 明 |
1石 = 120斤, 1斤 = 16兩, 1兩 = 10錢, 1錢 = 10分 |
1石 = 70800, 1斤 = 590, 1兩 = 36.9, 1錢 = 3.69, 1分 = 0.37 |
| 清 |
1石 = 120斤, 1斤 = 16兩, 1兩 = 10錢, 1錢 = 10分 |
1石 = 70800, 1斤 = 590, 1兩 = 36.9, 1錢 = 3.69, 1分 = 0.37 |
參考來源
央視國際 2004年07月22日 17:11
-
ja:度量衡
整数自然数、负自然数与零统称为整数。
即：……-5，-4，-3，-2，-1，0，1，2，3，4，5……
所有整数的集合在数学上通常表示为 Z 或 ) ，意为 Zahlen（德语：“数”）。
代数性质
以下列表给出任何整数 a，b 和 c 的加法和乘法的基本性质。
有序性质
Z 是一个全序集，没有上界和下界。Z 的序列如下：
: ... < −2 < −1 < 0 < 1 < 2 < ...
一个整数大于零则为正，小于零则为负。零既非正也非负。
整数的序列在代数运算下是可以比较的，表示如下：
# 若 a < b 且 c < d，则 a + c < b + d
# 若 a < b 且 0 < c，则 a × c < b × c ；若 c < 0，则 a × c > b × c.
Z 是一个循环群，即任何整数都可以通过足够多次地加 1 或 -1 得到其本身。
Category:数论
ja:整数
ko:정수
th:จำนวนเต็ม
数论
數論是纯粹数学的分枝，專門研究自然数的性質，產生了很多一般人也能理解而又懸而未解的問題，如哥德巴赫猜想。很多諸如此類的問題虽然型式上十分初等，但事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。一些重要的數論分支包括：
;初等數論 :意指使用不超過高中程度的初等代數處理的數論問題，最主要的工具包括整數的整除性與同餘。重要的結論包括中國餘數定理、費馬小定理、二次互逆律等等。
;解析數論 :借助微積分及複分析的技術來研究關於整數的問題，主要又可以分為積性數論與加性數論兩類。積性數論藉由研究積性生成函數的性質來探討質數分佈的問題，其中質數定理與Dirichlet 定理為這個領域中最著名的古典成果。加性數論則是研究整數的加法分解之可能性與表示的問題，Warning 問題是該領域最著名的課題。此外例如篩法、圓法等等都是屬於這個範疇的重要議題。
;代數數論 :引申代數數的話題，關於代數整數的研究，主要的研究目標是為了更一般地解決不定方程的問題，而為了達到此目的，這個領域與代數幾何之間的關連尤其緊密。
;幾何數論 :主要在於透過幾何觀點研究整數（在此即格子點）的分佈情形。最著名的定理為Minkowski 定理。
;計算數論 :借助電腦的算法幫助數論的問題，例如素數測試和因數分解等和密碼學息息相關的話題。
;超越数论 :研究數字的超越性，其中對於歐拉常數與特定的 Zeta 函數值之研究尤其令人感到興趣。
;組合数论 :利用組合和機率的技巧，非構造性地證明某些無法用初等方式處理的複雜結論。這是由 Erdos 開創的思路。
Category:数学
ja:数論
ko:수론
th:ทฤษฎีจำนวน
欧几里德
亚历山大里亚的欧几里德（希腊文：Ευκλειδης ，约前330年 - 前275年）是古希腊著名的数学家，他享有“几何之父”的称号。他所著的《几何原本》是欧洲数学的基础，且被广泛的认为是历史上最成功的教科书。
相关条目
- 欧氏几何
外部链接
- [http://aleph0.clarku.edu/~djoyce/java/elements/toc.html Euclid's Elements] (原本的在线英文版@美国克拉克大学)
Category:希腊数学家
ja:エウクレイデス
ko:유클리드
相对论
相对论是关于时空和引力的基本理论，主要由爱因斯坦创立，分为狭义相对论(特殊相对论)和广义相对论(一般相对论)。相对论的基本假设是光速不变原理，相对性原理和等效原理。相对论和量子力学是现代物理学的两大基本支柱。奠定了经典物理学基础的经典力学，不适用于高速运动的物体和微观条件下的物体。相对论解决了高速运动问题；量子力学解决了微观亚原子条件下的问题。相对论极大的改变了人类对宇宙和自然的“常识性”观念，提出了“同时的相对性”，“四维时空”“弯曲空间”等全新的概念。
狭义相对论
主條目：狭义相对论
狭义相对论，是只限于讨论惯性系情况的相对论。牛顿时空观认为空间是平直的、各向同性的和各点同性的的三维空间，时间是独立于空间的单独一维（因而也是绝对的）。狭义相对论认为空间和时间并不相互独立，而是一个统一的四维时空整体，并不存在绝对的空间和时间。在狭义相对论中，整个时空仍然是平直的、各向同性的和各点同性的，这是一种对应于“全局惯性系”的理想状况。狭义相对论将真空中光速为常数作为基本假设，结合狭义相对性原理和上述时空的性质可以推出洛仑兹变换。
广义相对论
主條目：廣義相對論
广义相对论是爱因斯坦(Albert Einstein)在1915年发表的理论。爱因斯坦提出“等效原理”，即引力和惯性力是等效的。这一原理建立在引力质量与惯性质量的等价性上(目前实验证实,在的精确度范围内,仍没有看到引力质量与惯性质量的差别)。根据等效原理，爱因斯坦把狭义相对性原理推广为广义相对性原理，即物理定律的形式在一切参考系都是不变的。物体的运动方程即该参考系中的测地线方程。测地线方程与物体自身故有性质无关，只取决于时空局域几何性质。而引力正是时空局域几何性质的表现。物质质量的存在会造成时空的弯曲，在弯曲的时空中，物体仍然顺着最短距离进行运动(即沿着测地线运动——在欧氏空间中即是直线运动)，如地球在太阳造成的弯曲时空中的测地线运动，实际是绕着太阳转，造成引力作用效应。正如在弯曲的地球表面上，如果以直线运动，实际是绕着地球表面的大圆走。
对相对论的批评
主条目：倒相对论
相对论的提出，同样受到很多的指责，有很多人认为它是错误的，并大大阻碍了社会的发展。然而这种观点并不被主流科学界所接受。
参见
- 狭义相对论
- 廣義相對論
- 倒相对论
category:相对论
ja:相対性理論
算术算术是数学的分支，或者说是数学的最初形式，它是关于数的一些运算的基本属性的研究。常用的运算有加法、减法、乘法、除法，有时候，更复杂的运算如指数和平方根，也包括在算术运算的范畴内。算术运算要按照特定规则来进行。
自然数、整数、有理数（以分数的形式）和实数（以十进制指数的形式）的运算主要是在小学和中学的时候学习。用百分比形式进行运算也主要是在这个时候学习。然而，在成人中，很多人使用计算器，计算机或者算盘来进行数学计算。
术语“算术”也常用来指初等数论；算術也是初等代数的重要部分。
參見
- 交換律
- 分配律
- 結合律
- 數線
- 有限體的算術
category:算术
ja:算数
simple:Arithmetic
th:เลขคณิต
变量--，（中国大陆称为--）是需要改變的東西，是一個表示某種可變量的符号，常數的相反。變數很有用，因為它們能一般化描述指令的方式。若果只能使用真實的值，指令只能應用於某些情況下。變數能夠作為某特定種類的值中任何一個的保留器。
數學上
變數用於開放語句，表示尚未清楚的值（即未知數），或一個可代入的值（見函數）。這些變數通常用一個英文字母表示，若用了多於一個英文字母，很易令人混淆成兩個變數相乘。n,m,x,y,z是常見的變數名字，其中n,m較常表示整數。
計算機科學上
變數可視為在電腦記憶體裏存在值的空間。
當某個已宣告變數開始使用，直譯器或編譯器通常會設定一個空間來儲存所給出的值。稍後該變數不再使用時，那些空間可以回收。
有些編程語言中的變數必須帶有型別。
命名
每種編程語言都有規則指定甚麼才可作為變數的名字。
使用C和其相關語言，變數名稱必須是由英文字母、數字和底線組成，且必須由字母起頭。有時還不可以使用某些保留字命名。
使用某些語言，變數的名字同時告訴了這個變數帶有甚麼種類的值。例如FORTRAN的程式裏，變數的首個字母顯示了它是整數還是浮点数。變數名字首個字符是$的話，在BASIC的程式裏表示其值是字串。Perl透過字首如$,@,%和&來分辨哪是純量、陣列、雜湊或副程式。
每個編程組織都有非正式的命名規矩——單打獨鬥的程式員亦是如此。有人喜歡所有變數都用簡單的英文字母取名，認為能增加輸入程式碼的速度，但只要變數一多，就會容易混淆，甚至以後自己看回程式碼也不懂在寫甚麼。
迴圈控制變數通常以i, j ,k命名。
Category:数学
ja:変数
数学基础数学上，数学基础一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明理论，模型理论，和递归理论。但是寻求数学的基础也是数学哲学的中心问题:在什么终极基础上命题可以称为真?
目前占统治地位的数学范式是基于公理化集合论和形式逻辑的。事实上，所有现在的数学定理都可以用集合论的定理表述。数学命题的真实性在这个观点下，不过就是该命题可以从集合论公理使用形式逻辑推导出来。
这个形式化的方法不能解释一些问题：为什么我们选择我们现在所用的而不是其他的公理，为什么我们使用我们所用的逻辑规则而不是其他的，为什么"真"数学命题(例如，算数的皮亚诺公理)在物理世界中似乎是真的。这被Eugene Wigner在1960年叫做数学在自然科学中无理由的有效性(The unreasonable effectiveness of mathematics in the natural sciences)。
上述的形式化真实性也可能完全没有意义：完全可能所有命题，包括自相矛盾的命题，都可以从集合论公理导出。而且，作为歌德尔第二不完备定理的一个结果，我们永远不可能知道事情是不是就是这样。
在数学现实主义(有时也叫柏拉图主义)中，独立于人类的数学对象的世界的存在性被作为一个基本假设;这些对象的真实性由人类发现。在这种观点下，自然定律和数学定律有同样的地位，而"有效性"不再"无理由"。不仅是我们的公理，而且是数学对象的真实世界构成了基础。那么，明显的问题在于，我们如何接触这个世界？
一些数学哲学的现代理论不承认基础在其原始意义上的存在性。有些理论倾向于聚焦于数学实践，把目标设定于描述和分析数学家作为社交群体的真实工作。其他的试图创造一个数学认知科学，聚焦于把人类的认知作为数学应用到"现实世界"时的可靠性的起点。这些理论建议只在人类的思考中找到基础，而不是任何"客观"的外在构造。这个主题一直很有争论性。
参见
- 数学哲学
- 数学准经验主义
来源
- [http://www.dartmouth.edu/~matc/MathDrama/reading/Wigner.html The Unreasonable Effectiveness of Mathematics in the Natural Sciences], Eugene Wigner, 1960;
- What is mathematical truth?, Hilary Putnam, 1975;
- Mathematics as an objective science, Nicholas D. Goodman, 1979;
- Some proposals for reviving the philosophy of mathematics, Reuben Hersh, 1979;
- Challenging foundations, Thomas Tymoczko, 1986, preface to first section of New Directions in the Philosophy of Mathematics, 1986 and (revised) 1998, which includes also Putnam, Goodman, Hersh.
外部链接
- [http://www.math.psu.edu/simpson/hierarchy.html What is Foundations of Mathematics?]
- [http://www.math.psu.edu/simpson/papers/philmath/ Logic and Mathematics]
- [http://www.cs.nyu.edu/mailman/listinfo/fom/ Foundations of Mathematics mailing list]
Category:数学
Category:数理逻辑
数理逻辑数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。
数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。
历史
“数理逻辑”的名称由皮亚诺（Peano）首先给出，他又称其为符号逻辑。数理逻辑在本质上依然是亚里士多德的逻辑学，但从记号学的观点来讲，它是用抽象代数来记述的。
某些哲学倾向浓厚的数学家对用符号或代数方法来处理形式逻辑作过一些尝试，比如说莱布尼兹和兰伯特（Johann Heinrich Lambert）；但他们的工作鲜为人知，后继无人。直到19世纪中叶，乔治·布尔和其后的奥古斯都·德·摩根才提出了一种处理逻辑问题的系统性的数学方法（当然不是定量性的）。
亚里士多德以来的传统逻辑得到改革和完成，由此也得到了研究数学基本概念的合适工具。虽然这并不意味着1900年至1925年间的有关数学基础的争论已有了定论，但这“新”逻辑在很大程度上澄清了有关数学的哲学问题。
传统的逻辑研究（参见逻辑论题列表）较偏重于“论据的形式”，而当代数理逻辑的态度也许可以被总结为对于内容的组合研究。它同时包括“语形”（例如，从一形式语言把一个文字串传送给一编译器程序，从而转写为机器指令）和“语义”（在 | | |
