数学起源于人类早期的生产活动，为古中国六艺之一，亦被古希腊学者视为哲学之起点。
一、数学简介
数学，是研究数量、结构以及空间等概念及其变化的一门学科，属于形式科学的一种。数学利用抽象化和逻辑推理，从计数、计算、量度、对物体形状及运动的观察发展而成。数学家们拓展这些概念，以公式化新的猜想，以及从选定的公理及定义出发，严谨地推导出一些定理。
二、数学的来历
数学起源于人类早期的生产活动，为古中国六艺之一，亦被古希腊学者视为哲学之起点。数学最早用于人们计数、天文、度量甚至是贸易的需要。
对空间的研究则是从几何学开始的，首先是欧几里得几何和类似于三维空间的三角学。后来产生了非欧几里得几何，在相对论中扮演着重要角色。
在公元前6世纪后，毕达哥拉斯将数学作为一门实证的学科进行研究，他创造了古希腊语单词μάθημα，意为“（被人们学习的）知识学问”。希腊数学家在相当大的程度上改进了这些数学方法，并扩大了数学的主题。
中国数学做了早期贡献，包括引入了位值制系统。如今大行于世的印度－阿拉伯数字系统和运算方法，很可能是在公元后1000年的印度逐渐演化，并被伊斯兰数学家通过花拉子米的著作将其传到了西方。
数学的部分领域分类：
一、基础与哲学
为了阐明数学基础，数学逻辑和集合论等领域被发展了出来。数学逻辑专注于将数学置在一坚固的公理架构上，并研究此一架构的结果。就数学逻辑本身而言，其为哥德尔第二不完备定理所属的领域，而这或许是逻辑学中最广为流传的成果：总是存在不能被证明的真命题。
二、离散数学
离散数学是指对理论电脑科学最有用处的数学领域之总称，这包含有可计算理论、计算复杂性理论及资讯理论。复杂性理论研究可以由电脑作为较易处理的程度；有些问题即使理论是可以以电脑解出来，但却因为会花费太多的时间或空间而使得其解答仍然不为实际上可行的。