比浏览器更快的访问！
15 关系: 反證法，天鹅，导数，哲学，光滑函数，级数，爱因斯坦-波多尔斯基-罗森佯谬，證明，连续函数，葛梯尔问题，自然科学，逻辑，JTB理论，悖论，数学。
反證法
反证法（又称背理法）是一种论证方式，他首先假设某命题不成立（即在原命题的条件下，结论不成立），然后推理出明显矛盾的结果，从而下结论说原假设不成立，原命题得证。 反证法与归谬法相似，但归谬法不仅包括推理出矛盾结果，也包括推理出不符事实的结果或显然荒谬不可信的结果。.
天鹅
天鹅属（学名：Cygnus）是雁形目鸭科的一个属。这一属的鸟类是游禽中体形最大的种类，被俗称为“天鹅”。.
导数
导数（Derivative）是微积分学中重要的基礎概念。一个函数在某一点的导数描述了这个函数在这一点附近的变化率。导数的本质是通过极限的概念对函数进行局部的线性逼近。当函数f的自变量在一点x_0上产生一个增量h时，函數输出值的增量與自變量增量h的比值在h趋于0时的極限如果存在，即為f在x_0处的导数，记作f'(x_0)、\frac(x_0)或\left.\frac\right|_。例如在运动学中，物体的位移对于时间的导数就是物体的瞬时速度。 导数是函数的局部性质。不是所有的函数都有导数，一个函数也不一定在所有的点上都有导数。若某函数在某一点导数存在，则称其在这一点可导，否则称为不可导。如果函数的自变量和取值都是实数的话，那么函数在某一点的导数就是该函数所代表的曲线在這一点上的切线斜率。 对于可导的函数f，x \mapsto f'(x)也是一个函数，称作f的导函数。寻找已知的函数在某点的导数或其导函数的过程称为求导。反之，已知导函数也可以倒过来求原来的函数，即不定积分。微积分基本定理说明了求原函数与积分是等价的。求导和积分是一对互逆的操作，它们都是微积分学中最为基础的概念。.
哲学
哲學（philosophy）是研究普遍的、根本的问题的学科，包括存在、知识、价值、理智、心灵、语言等领域。哲学与其他学科的不同是其批判的方式、通常是系统化的方法，并以理性论证為基礎。在日常用语中，其也可被引申为个人或团体的最基本信仰、概念或态度。.
光滑函数
光滑函数（smooth function）在数学中特指无穷可导的函数，也就是说，存在所有有限阶导数。若一函数是连续的，则称其为C^0函数；若函数存在导函数，且其導函數連續，則稱為连续可导，記为C^1函数；若一函数n阶可导，并且其n阶导函数连续，则为C^n函数（n\geq 1）。而光滑函数是对所有n都属于C^n函数，特称其为C^\infty函数。 例如，指数函数显然是光滑的，因为指数函数的导数是指数函数本身。.
级数
在数学中，一个有穷或无穷的序列u_0,u_1,u_2 \cdots的元素的形式和S称为级数。序列u_0,u_1,u_2 \cdots中的项称作级数的通项。级数的通项可以是实数、矩阵或向量等常量，也可以是关于其他变量的函数，不一定是一个数。如果级数的通项是常量，则称之为常数项级数，如果级数的通项是函数，则称之为函数项级数。常见的简单有穷数列的级数包括等差数列和等比数列的级数。 有穷数列的级数一般通过初等代数的方法就可以求得。如果序列是无穷序列，其和则称为无穷级数，有时也简称為级数。无穷级数有发散和收敛的区别，称为无穷级数的敛散性。判断无穷级数的敛散性是无穷级数研究中的主要工作。无穷级数在收敛时才會有一个和；发散的无穷级数在一般意义上没有和，但可以用一些别的方式来定义。 无穷级数的研究更多的需要数学分析的方法来解决。无穷级数一般写作\textstyle a_1 + a_2 +a_3+ \cdots、\textstyle \sum a_n或者\textstyle \sum_^\infty a_n，级数收敛时，其和通常被表示为\textstyle \sum_^\infty a_n。.
爱因斯坦-波多尔斯基-罗森佯谬
在量子力學裏，愛因斯坦-波多爾斯基-羅森弔詭（Einstein-Podolsky-Rosen paradox），簡稱「愛波羅弔詭」、「EPR弔詭」（EPR paradoxE、P、R這三個英文字母分別是愛因斯坦、波多爾斯基和羅森英文原文的第一個字母。）等，是阿爾伯特·愛因斯坦、鮑里斯·波多爾斯基和納森·羅森在1935年發表的一篇論文中，以弔詭的形式針對量子力學的哥本哈根詮釋而提出的早期重要批評。 在這篇題為《能認為量子力學對物理實在的描述是完全的嗎？》（，下稱「EPR論文」）的論文中，他們設計出一個思想實驗，稱為「EPR思想實驗」。藉著檢驗兩個量子糾纏粒子所呈現出的關聯性物理行為，EPR思想實驗凸顯出定域實在論與量子力學完備性之間的矛盾，因此，這論述被稱為「EPR弔詭」。 EPR論文並沒有質疑量子力學的正確性，它質疑的是量子力學的不完備性。EPR論文是建立於貌似合理的假設──定域論與實在論，合稱為定域實在論。定域論只允許在某區域發生的事件以不超過光速的傳遞方式影響其它區域。實在論主張，做實驗觀測到的現象是出自於某種物理實在，而這物理實在與觀測的動作無關。換句話說，定域論不允許鬼魅般的超距作用，實在論堅持，即使無人賞月，月亮依舊存在。將定域論與實在論合併在一起，定域實在論闡明，在某區域發生的事件不能立即影響在其它區域的物理實在，傳遞影響的速度必須被納入考量。在學術界裏，這些假設引起強烈的爭論，特別是在兩位諾貝爾物理學獎得主愛因斯坦與尼爾斯·玻爾之間。 EPR論文表明，假若定域實在論成立，則可以推導出量子力學的不完備性。在那時期，很多物理學者都支持定域實在論，但是，定域實在論這假設到底能否站得住腳還是一個待查的問題。1964年，物理學者約翰·貝爾提出貝爾定理表明，定域實在論與量子力學的預測不相符。專門檢驗貝爾定理所獲得的實驗結果，證實與量子力學的預測相符合，因此定域實在論不成立。Bell, John.
新！!: 反例和爱因斯坦-波多尔斯基-罗森佯谬 · 查看更多 »
證明
在數學上，證明是在一個特定的公理系統中，根据一定的规则或标准，由公理和定理推導出某些命題的過程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。 數學證明建立在逻辑之上，但通常會包含若干程度的自然語言，因此可能會產生一些含糊的部分。實際上，用文字形式寫成的數學證明，在大多數情況都可以視為非形式邏輯的應用。在證明論的範疇內，則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的數學实践、和的大部分检验。數學哲學就關注語言和邏輯在數學證明中的角色，和作為語言的數學。.
连续函数
在数学中，连续是函数的一种属性。直观上来说，连续的函数就是当输入值的变化足够小的时候，输出的变化也会随之足够小的函数。如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义，则这个函数被称为是不连续的函数（或者说具有不连续性）。 举例来说，考虑描述一棵树的高度随时间而变化的函数h(t)，那么这个函数是连续的（除非树被砍断）。又例如，假设T(P)表示地球上某一点P的空气温度，则这个函数也是连续的。事实上，古典物理学中有一句格言：“自然界中，一切都是连续的。”相比之下，如果M(t)表述在时间t的时候银行账户上的钱币金额，则这个函数无论在存钱或者取钱的时候都会有跳跃，因此函数M(t)是不连续的。.
葛梯尔问题
葛梯尔问题（Gettier problem），又譯為蓋提爾問題，是现代知识论中的一个关于知识的定义的问题。1963年，美国哲学家爱德蒙德·葛梯尔（Edmund Gettier）在一篇只有三页纸的论文中质疑当时哲学界公认的知识的定义：知识是得到辩护的真信念（也称为知识三要素，或“JTB理论”）。他的论文标题是：“得到辩护的真信念就是知识吗？”。在论文中，葛梯尔提出了两个反例，说明即使是得到辩护的真信念，也未必是知识。这篇论文引发了哲学界对于知识定义的一系列争论，并导致了葛梯尔问题的出现：“应当怎样补充或修改知识三要素，才能完整地定义知识的概念？”.
自然科学
自然科学是研究大自然中有机或无机的事物和现象的科学。自然科学包括天文學、物理学、化学、地球科学、生物学等等。.
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
JTB理论
JTB理论（Justified true belief）是知识论中对知识的一种定义，认为知识是“确证的真信念”。具体来说，是指当且仅当下面三个条件得到满足时，“S知道P”这一命题才得以成立：.
悖论
悖論，亦稱為弔詭或詭局，是指一种导致矛盾的命题。通常从逻辑上无法判断正确或错误称为悖论，似非而是称为佯谬；有时候违背直觉的正确论断也称为悖论。悖论的英文paradox一詞，来自希腊语παράδοξος ，paradoxos，意思是“未预料到的”，“奇怪的”。 如果承认它是真的，经过一系列正确的推理，却又得出它是假的；如果承认它是假的，经过一系列正确的推理，却又得出它是真的。古今中外有不少著名的悖论，它们震撼了逻辑和数学的基础，激发了人们求知和精密的思考，吸引了古往今来许多思想家和爱好者的注意力。解决悖论难题需要创造性的思考，悖论的解决又往往可以给人带来全新的观念。 paradox其實亦有“似非而是”的解釋。即是用普通常識看上去不正確，但其實是正確或是有可能的。例如“站著比走路更累”。一般常識是走路比站著累，但要一個人例如在公園裡站一個小時，他可能寧願走動一個小時。因為“站著比走路更累”。也例如狹義相對論裡面的雙生子佯謬亦是另外一個例子。 佛法中也有釋迦牟尼佛破外道悖論的例子：如《大智度論》卷一中舉出長爪梵志的例子：長爪梵志提倡一種“一切法不受”的主張，其意思是說他不接受世間一切理論。釋迦牟尼佛就問他：「你接不接受你自己所建立的這個“一切法不受”的理論？」長爪梵志像一匹千里馬一樣有智慧，不必等到鞭子打到身上才起跑，只看到鞭影覺悟了。換句話說，當釋迦牟尼佛提出這個問題的時候，長爪梵志就知道自己的理論是有問題的──如果接受，那就是“接受一種理論”這與他自己建立的“一切法不受”的主張違背；如果不接受，那他的主張就不存在。就這樣，一方面顯示長爪梵志的理論是一種悖論，另一方面也突顯釋迦牟尼佛以非常簡短的開示就把長爪梵志折服了。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
