数学,是以形式化、严密化的逻辑推理方式,研究客观世界中数量关系、空间形式及其运动、变化,以及更为一般的关系、结构、系统、模式等逻辑上可能的形态及其变化、扩展。数学的主要研究方法是逻辑推理,包括演绎推理与归纳推理。
由于数量关系、空间形式及其变化是许多学科研究对象的基本性质,数学作为这些基本性质的严密表现形式,成为一种精确的科学语言,成为许多学科的基础。20世纪,一方面,出现了一批新的数学学科分支,创造出新的研究手段,扩大了研究对象,使学科呈现出抽象程度越来越高、分化越来越细的特点;另一方面,尤其是近二三十年来,不同分支学科的数学思想
和方法相互交融渗透,许多高度抽象的概念、结构和理论,不仅成为数学内部联系的纽带,也已越来越多地成为科学技术领域广泛适用的语言。
作为20世纪影响最为深远的科技成就之一,电子计算机的发明本身,也已充分展示了数学成果对于人类文明的卓越贡献。从计算机的发明直到它最新的进展,数学都在起着关键性的作用;同时,在计算机的设计、制造、改进和使用过程中,也向数学提出了大量带有挑战性的问题,推动着数学本身的发展。计算机技术已成为数学研究的新的强大手段,其飞速进步正在改变传统意义下的数学研究模式,并将为数学的发展带来难以预料的深刻变化。数值模拟、理论分析和科学实验鼎足而立,已成为当代科学研究的三大支柱。
数学作为一种文化,是人类文明的重要基础,它的产生和发展在人类文明的进程中起着重要的推动作用。数学作为最为严密的一种理性思维方式,对提高理性思维的能力具有重要的意义和作用。