מילון אונליין

  חיפוש ברשת      מילון      חיפוש בפורום

 

模型论 – מילון עברי-אנגלי

לצערנו, לא נמצאו תוצאות באנגלית עבור "模型论"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
模型论
数学上,模型论是从集合论的论述角度对数学概念表现(representation)的研究,或者说是对于作为数学系统基础的“模型”的研究。粗略地说,该学科假定有一些既存的数学“对象”,然后研究:当这些对象之间的一些运算或者一些关系乃至一组公理被给定时,可以相应证明出什么,以及如何证明。

比如实数理论中一个模型论概念的例子是:我们从一个任意集合开始,作为集合元素的每个个体都是一个实数,其间有一些关系和(或)函数,例如{ ×, +, −, ., 0, 1 }。若我们在该语言中问"∃ y (y × y = 1 + 1)"这样一个问题,显然该陈述对实数而言成立 - 确实存在这样的一个实数y, 即所谓2的平方根;对于有理数,该陈述却并不成立。一个类似的命题,"∃ y (y × y = 0 − 1)",在实数中不成立,却在复数中成立,因为 i × i = 0 − 1。

模型论研究什么是在给定的数学系统中可证的,以及这些系统相互间的关系。它特别注重研究当我们试图通过加入新公理和新语言构造时会发生什么。


访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许

模型论 – מילון עברי-עברי

לצערנו, לא נמצאו תוצאות בעברית עבור "模型论"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
模型论
数学上,模型论是从集合论的论述角度对数学概念表现(representation)的研究,或者说是对于作为数学系统基础的“模型”的研究。粗略地说,该学科假定有一些既存的数学“对象”,然后研究:当这些对象之间的一些运算或者一些关系乃至一组公理被给定时,可以相应证明出什么,以及如何证明。

比如实数理论中一个模型论概念的例子是:我们从一个任意集合开始,作为集合元素的每个个体都是一个实数,其间有一些关系和(或)函数,例如{ ×, +, −, ., 0, 1 }。若我们在该语言中问"∃ y (y × y = 1 + 1)"这样一个问题,显然该陈述对实数而言成立 - 确实存在这样的一个实数y, 即所谓2的平方根;对于有理数,该陈述却并不成立。一个类似的命题,"∃ y (y × y = 0 − 1)",在实数中不成立,却在复数中成立,因为 i × i = 0 − 1。

模型论研究什么是在给定的数学系统中可证的,以及这些系统相互间的关系。它特别注重研究当我们试图通过加入新公理和新语言构造时会发生什么。


访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许




© 2007 מילון G בבילון אונליין - נתמך ע"י מילון בבילון 9