数学中的元、元数学和元认知

一. 数学中的元概念
元(variable (或element))，是数学的基本概念之一，研究问题中某种独立的对象称为“元”。
常见的有以下几种：
I．方程或不等式中待确定的可变对象常称为变元，它是变量、未知函数等的统称．
2．函数中的自变量也称自变元．
3．多项式或其他代数式中用文字字母所表示一种抽象的对象常称为元．如称为整系数一元多项式．
4．集合的元素常简称元．例如称A={a，b，c}为三元集合，称(a∨1 ,a∨2, … ,a∨n)为n元有序组等。

二. 元数学
元数学是一种将数学作为人类意识和文化客体的科学思维或知识。更进一步来说，元数学是一种用来研究数学和数学哲学的数学。“数学的数学”是于19世纪初由通常的数学分离出来的，它最初研究的对象是在所谓的数学危机。将二者混为一谈会导致一些矛盾，典型例子有理查兹悖论。
1.简介：
元数学是一门数理逻辑方面的学科，其主要研究对象是数学本身的矛盾性问题。元数学研究的是数理逻辑方面的问题。作为一门科学来说，数理逻辑从19世纪中叶就开始存在了。在这期间，数学基础研究的两个相继时代，由于集论与分析算术化而达到了一个顶峰。但是到了1900年前后出现了新的危机，这是由罗素与怀特黑、希尔伯特与布劳维等所支配的新时代。
1931年哥德尔的两个不完备性定理的发表，1933年塔斯基的关于形式语言中“真”这一概念的著作的发表，1934年厄勃朗一哥德尔的“一般递归函数”概念的提出，1936年与前者有关的邱吉论题的提出，开始了一个更新的时代。在这个时代中，数学工具被应用到评价先前的对话和过去所无法预见的新方向上去了，具体地说就是要研究过去人们所依赖的数学知识是否是无矛盾的。
数学的矛盾性主要是使用集合产生的。希尔伯特提出了一个“直接方法”：由矛盾性的意义得出，即在数学中不能由公理推出矛盾。比如一个命题A及它的否定命题就不能均是数学定理。这样，直接证明数学理论的无矛盾性，就只需证明关于数学理论本身的一些命题。于是，被证明无矛盾的那个数学理论，又变成另一个数学范畴研究的对象，而后一个数学范畴就称为“元数学”。
2.特征：
许多关于数学基础与数学哲学的论说都涉及元数学的概念，它们往往不能被当作我们通常所说的“问题”来处理。元数学的基本假设是：数学的内容可以由一个形式系统获得，比如一个序理论或一个公理化集合论。元数学与数理逻辑休戚相关，因而这两者的发展也大同小异。元数学的发端大概要追溯到弗雷格的工作：《概念文字》。 [2] 大卫·希尔伯特首先引进了带有正则性的“元数学”（metamathematics with regularity）这一说法（见希尔伯特计划）。这也就是现在所说的证明论。另一个重要的现代分支是模型论。这一领域的其他重要人物有：伯特兰·罗素，斯科尔姆（Thoralf Skolem），普斯特（Emil Post），邱奇，克莱尼，蒯因，贝纳瑟拉夫（Paul Benacerraf），普特南，柴汀（Gregory Chaitin），以及最著名的塔斯基和哥德尔。特别地，哥德尔证明了：给定任意有限多条皮亚诺算术的公理，都存在一些正确的命题，无法用所给公理来证明，即所谓的哥德尔不完备定理。某种意义上来说，这一结果是迄今为止元数学与数学哲学的最高成就。
3.形式体系：
元数学包括了形式体系的描述或定义以及关于形式体系的性质的研究。整个元数学涉及三个层次:①非形式的理论，由它形式化以后便得到一个形式体系；②形式体系或对象理论；③元理论，描述出形式体系，并研究形式体系。
4.元理论：
元数学在形式化系统中研究问题，只要是研究形式化理论的学科都可以在其中汲取到一定的营养。在元数学的范畴中，当需要处理一个特殊的形式体系时，可以把这个形式体系称为对象理论，而关于它的元数学就叫做元理论。元理论是直觉的并且是非形式的一种数学，元理论将用寻常的语言来表示。根据需要也可直接引入适当的符号(称为元符号)。在元理论中，断言必须被理解，推理必须被确信。元理论研究所采用的方法是“有穷性方法”，即必须能给出算法。
三. 元认知（心理学名词）
美国心理学家J.H.弗拉维尔提出的概念，即对认知的认知。例如，学生在学习中，一方面进行着各种认知活动(感知、记忆、思维等)，另一方面又要对自己的各种认知活动进行积极的监控和调节，这种对自己的感知、记忆、思维等认知活动本身的再感知、再记忆、再思维就称为元认知。元认知主要包括元认知知识、元认知体验、元认知监控等成分。
元数学是一门数理逻辑方面的学科，其主要研究对象是数学本身的矛盾性问题。元数学研究的是数理逻辑方面的问题。作为一门科学来说，数理逻辑从19世纪中叶就开始存在了。在这期间，数学基础研究的两个相继时代，由于集论与分析算术化而达到了一个顶峰。但是到了1900年前后出现了新的危机，这是由罗素与怀特黑、希尔伯特与布劳维等所支配的新时代。

数学中的元、元数学和元认知相关推荐

python元胞自动机模拟交通_结构专栏 | 解析DEFORM软件中的元胞自动机法
点击上方蓝色字体,关注我们导语金属材料的性能取决于内部的微观组织结构,而好的材料性能和价格是产品最大的优势.随着现代物理冶金.热成形技术.热处理技术和计算机技术的兴起与发展,使预测和控制金属材料热 ...
数学中的一朵“奇葩”——四元数
代数学是数学中最古老的的学科之一,在之后相当长的一段时期内,代数学都曾成为数学的中心.但中世纪过后,传统的代数学开始沉寂,陷入解方程的泥淖中,而自微积分被发明之后,数学迎来分析学的黄金时代,进而代数学 ...
数学学习的心理——关于数学中的挫败的反思及若干启示
抽象数学研究的历史启示数学体系发展至今,根深叶茂,枝盛果繁,其盘根错节之复杂已至于经无法对其给出确切定义的境地.这无疑成为了数学学习沟通.交流.继承的最重大问题,事实表明,自庞加莱谢世以后,这种局面 ...
关于数学中“函数(function)”的含义
目录 1. 问题 2. "function"是如何翻译成"函数"的? 3. "function"是谁引入数学中的,其意义何在? 3.1 &q ...
数学中鲜为人知的定理！
谁说数学是枯燥的?(给我站出来)在数学里,有很多欢乐而又深刻的数学定理.这些充满生活气息的数学定理,不但深受数学家们的喜爱,在数学迷的圈子里也广为流传. 喝醉的小鸟定理:喝醉的酒鬼总能找到回家的路, ...
定理在数学中的简写形式_数学中所谓的定理公式性质法则之间有什么区别...
鍜撮彌鍢氭線 2013.04.30 采纳率:52% 等级:12 已帮助:2608人公理(Axiom):是大家根据常识(Common Sense)形成的论说(Statement), 它是不需要证 ...
二进制在数学中的妙用(转帖）
二进制在数学中的妙用 goal00001111搜集整理十八世纪初,莱布尼茨发明了二进制数,当时的他肯定没有预料到二进制在信息时代会有着如此广泛的应用.二进制数以其工作可靠,运算简单,逻辑严密,容易实 ...
计算机思维在数学中的应用,浅谈数学思维方式在计算机教学中的应用
浅谈数学思维方式在计算机教学中的应用 (5页) 本资源提供全文预览,点击全文预览即可全文预览,如果喜欢文档就下载吧,查找使用更方便哦! 19.90 积分浅谈数学思维方式在计算机教学中的应用高一微机组 ...
Python中的元编程：一个关于修饰器和元类的简单教程
作者 | Saurabh Kukade 译者 | 刘畅出品 | AI科技大本营(ID:rgznai100) 最近,作者遇到一个非常有趣的概念,它就是用 Python 进行元编程.我想在本文中分享我对 ...

数学中的元、元数学和元认知

数学中的元、元数学和元认知相关推荐

最新文章

热门文章